×

括号语法和Lindenmayer语法。 (英语) Zbl 0616.68068号

L,dedic的书。A.林登梅尔·奥卡斯。60岁生日,403-411(1986)。
[关于整个系列,请参见Zbl 0575.00023号.]
括号文法被理解为上下文无关文法的扩展,由特殊的非终结符符号(带索引的括号)构成,允许取消其中的一对。这些语法使我们能够对不同类型的协调、选择性协调以及同时应用的多种协调进行建模。
作者展示了[Inf.Control 27,37-60(1975;Zbl 0357.68093号)]双括号消除文法生成任何r.e.语言。本文讨论了与ET0L文法的关系。作者指出,每一种E0L语言都是一种单括号消除语言。此外,还描述了基于括号类型数量的c-括号语法的严格层次结构。
审核人:P.Jirků

MSC公司:

65年第68季度 形式语言与自动机
2012年第68季度 语法和重写系统