×

树邻接语言的自动机表。 (英语) Zbl 0973.68126号

摘要:我们提出了一种用于树邻接语言的表解析算法的模块化设计。模块化是通过将解析策略与制表机制分离而实现的。解析策略是根据语法构造不确定性自动机来表达的;将讨论三种不同类型的自动机。制表机制导致在多项式时间内模拟这些不确定自动机,与解析策略无关。这项工作的建议应用是为树邻接文法和相关形式设计高效的解析算法。

MSC公司:

65年第68季度 形式语言和自动机
2012年第68季度 语法和重写系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部