关于不安全高阶文法的词语言与边界语言
形式语言与自动机理论
2016-05-23 v3
摘要
高阶文法是正则文法和上下文无关文法的扩展，其中非终结符可以带参数。它们在 1980 年代被广泛研究，最近在模型检测和程序验证背景下被重新研究。我们展示了 unsafe order-(n+1) 词语言类与 unsafe order-n 树语言的边界语言类一致。我们使用交集类型将 order-(n+1) 词文法转换为相应的 order-n 树文法。该结果在 1982 年由 Damm 对安全语言证明，但据我们所知，对于不安全语言一直悬而未决。关于高阶文法的各种已知结果可以作为我们结果的几乎直接推论获得。
引用
@article{arxiv.1604.01595,
title = {On Word and Frontier Languages of Unsafe Higher-Order Grammars},
author = {Kazuyuki Asada and Naoki Kobayashi},
journal= {arXiv preprint arXiv:1604.01595},
year = {2016}
}