具有双向上下文的语法
摘要：在最近的一篇论文（M. Barash，A. Okhotin，“在无上下文文法中定义上下文”，LATA 2012）中，作者引入了一种扩展的无上下文文法，该文法具有一个用于引用正在定义的子字符串的左上下文的操作符。本文提出了一个更一般的模型，在这个模型中，上下文规范可以是双向的，也就是说，左右两个上下文都可以由对应的操作符来指定。本文给出了这种文法的定义，并建立了基本理论，导出了一种正则形式和一个时间复杂度为O(n^4)的解析算法，其中n是输入字符串的长度。
作者：Mikhail Barash, Alexander Okhotin
论文ID：1405.5598
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-05-23