具有存储功能的无上下文文法
摘要：任意（存储）类型S引入了无上下文S文法，作为基于递归的文法、自动机和转换器的统一框架，被视为程序。对于上下文无关S文法的每个非终结符的出现，都与S类型的对象相关联，可以通过测试和操作来处理，如文法规则中所示。采用特定的存储类型可以得到特定的形式化，例如索引文法、自顶向下树转换器、属性文法等。上下文无关S文法等价于推下S自动机。上下文无关S语言可以通过引入本文中的语言上的delta运算从确定的一方式S自动机语言获得。
作者：Joost Engelfriet
论文ID：1408.0683
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-08-05