基于转义的抽象语法

我们研究了一个抽象的语法模型，在这个模型中，由所谓的转导决定的产物的效果（或应用）起主要作用，而不是产物本身的概念。在对潜在转义家族T进行适当选择的假设下，我们建立了由T文法生成的相应语言家族L（T）的初等性、可判定性和复杂性属性。这些结果是所谓Γ-控制T文法更一般性质的特殊实例，因为正则控制不会增加T文法的生成能力。在Γ-控制的T-语法中，我们将T-转导的迭代严格限制为属于给定控制语言的转导序列，这些转导序列取自控制语言族Γ。