关于上下文无关文法和解析表达式文法之间的关系
摘要：上下文无关文法 (CFGs) 和解析表达文法 (PEGs) 在语法和语义方面有几个相似之处和一些差异，但通常通过阻碍适当比较的形式主义来介绍。在本文中，我们介绍了一种突出它们之间的相似性和差异的新形式主义用于CFGs。这种新型的形式主义借鉴了 PEGs 中的解析表达式和基于识别的语义。我们展示了如何通过消除这种形式主义的非确定性来获得具有 PEGs 语义的形式主义。我们还基于这些新形式主义证明了，在将 LL(1) 文法解释为 CFGs 或 PEGs 时可以定义相同的语言，并且还展示了强 LL(k)、右线性和 LL-regular 文法从 CFGs 到 PEGs 的简单语言保持翻译方式。
作者：Fabio Mascarenhas and S''ergio Medeiros and Roberto Ierusalimschy
论文ID：1304.3177
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-02-17