约斯特·恩格尔弗里特 超AFL的层次结构。 （英语） Zbl 0565.68072号 J.计算。系统。科学。 30, 86-115 (1985). 注意力集中在索引语言家族的“AFL结构”上。对于完全半AFL K，B（K）被定义为由所有K扩展的基本宏文法生成的语言家族，而H（K）（substeq B（K。本文的主要结果表明B是层次的：如果（K），那么对于每一个（n），（B（K）），（B^n（K）。完全基本AFL是一个完全AFL K，这样\（B（K）=K\）。本文证明了索引语言族中存在无限多个完整的AFL和三个适当包含的基本AFL。审核人：R.安多尼 引用于1审查引用于6文件 理学硕士： 65年第68季度 形式语言和自动机 关键词：索引语言;宏语法;AFL公司 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}，J.计算。系统。科学。30,86-115（1985；Zbl 0565.68072） 全文： DOI程序 链接 参考文献： [1] Aho，A.V.，《索引语法——上下文无关语法的扩展》，J.Assoc.Compute。机器。，15, 647-671 (1968) ·Zbl 0175.27801号 [2] Aho，A.V.，嵌套堆栈自动机，J.Assoc.Compute。机器。，16, 383-406 (1969) ·Zbl 0184.28603号 [3] Aho，A.V。；Ullman，J.D.，《双向确定性语言类的特征描述》，J.Compute。系统科学。，4, 523-538 (1970) ·Zbl 0222.68034号 [4] Asveld，P.R.J.，《受控迭代文法和完全超AFL》，Inform。和控制，34，248-269（1977）·Zbl 0363.68099号 [5] Asveld，P.R.J.，《与上下文无关的迭代重写——语言家族的代数方法》（博士论文（1978），第二十工业大学）·Zbl 0437.68011号 [6] Asveld，P.R.J.，《空间边界复杂性类和迭代确定性替换》，Inform。和控制，44，282-299（1980）·Zbl 0459.68017号 [7] 阿斯维尔德，P.R.J。；Engelfriet，J.，《扩展线性宏文法、迭代文法和寄存器程序》，《信息学报》。，11, 259-285 (1979) ·Zbl 0382.68061号 [8] 阿斯维尔德，P.R.J。；van Leeuwen，J.，《超AFL的无限链》（TW-Memorandum 99（1975），特温特理工大学） [9] Berstel，J.，《转导辅助无语境语言》（1979），《Teubner Studienbücher Informatik:Teubner Studienb-ücher-Informatik Teubner，斯图加特》·兹比尔0424.68040 [10] Christensen，P.A.，《Hyper-AFL和ETOL系统》（Rozenberg，G.；Salomaa，A.，L systems.L systems，计算机科学讲义，第15卷（1974），Springer-Verlag:Springer-Verlag Berlin），254-257·Zbl 0297.68057号 [11] Downey，P.J.（生物动机自动机理论（IEEE）会议论文集）。生物动机自动机理论会议论文集（IEEE），弗吉尼亚州麦克莱恩（1974），54-58 [12] 埃伦菲赫特，A。；Rozenberg，G.，关于一些非确定性ETOL语言的上下文无关语言，RAIRO Ser。《鲁日》，第11卷，第273-291页（1977年）·Zbl 0378.68040号 [13] 埃伦菲赫特，A。；Rozenberg，G。；斯凯姆，S.，ETOL语言和EDTOL语言之间的关系，定理。计算。科学。，1325-330（1976年）·Zbl 0339.68055号 [14] Engelfriet，J.，《宏语法、Lindenmayer系统和其他复制设备》，（Salomaa，A.；Steinby，M.，第四国际学院自动化语言和编程，第四国内学院自动化语言与编程，计算机科学讲义，第52卷（1977），Springer-Verlag:Springer-Verlag Berlin），221-229·Zbl 0363.68093号 [15] Engelfriet，J.，《传感器的三个层次》，数学。系统论，1595-125（1982）·Zbl 0509.68078号 [16] Engelfriet，J。；Rozenberg，G。；Slutzki，G.，树传感器，（L）系统和双向机器，J.Compute。系统科学。，20, 150-202 (1980) ·Zbl 0426.68075号 [17] Engelfriet，J。；Schmidt，E.Meineche，IO和OI，第一部分，第二部分，J.Compute。系统科学。，16, 67-99 (1978) ·Zbl 0371.68020号 [18] Engelfriet，J。；施密特，E.梅内切；van Leeuwen，J.，堆栈机器和非嵌套宏语言类，J.Assoc.Compute。机器。，27, 96-117 (1980) ·Zbl 0428.68087号 [19] Engelfriet，J。；Skyum，S.，复制定理，Inform。过程。莱特。，4, 157-161 (1976) ·Zbl 0323.68051号 [20] Engelfriet，J。；Slutzki，G.，《宏语法中的有界嵌套》，Inform。和控制，42，157-193（1979）·Zbl 0453.68051号 [21] Engelfriet，J。；Slutzki，G.，J.计算。系统科学，29366-408（1984）·Zbl 0575.68081号 [22] Fischer，M.J.，《类宏生成语法》（哈佛大学博士论文（1968），第九届SWAT，131-142页 [23] Ginsburg，S.，形式语言的代数和自动机理论性质（1975），北荷兰：北荷兰阿姆斯特丹·Zbl 0325.68002号 [24] 南卡罗来纳州金斯堡。；Spanier，E.H.，《论无与伦比的AFL》，J.Comput。系统科学。，988-108年9月（1974年）·Zbl 0289.68038号 [25] Greibach，S.A.，《检查自动机和单向堆栈语言》，J.Compute。系统科学。，3, 196-217 (1969) ·Zbl 0174.02702号 [26] 格雷巴赫，S.A.，《全AFL链》，数学。系统理论，4231-242（1970）·Zbl 0203.30102号 [27] Greibach，S.A.，《完全AFL和嵌套迭代替换》，Inform。和控制，16，7-35（1970）·Zbl 0188.03102号 [28] Greibach，S.A.，《全半AFL上的句法操作符》，J.Compute。系统科学。，6, 30-76 (1972) ·Zbl 0269.68046号 [29] Greibach，S.A.，单向有限访问自动机，Theoret。计算。科学。，6, 175-221 (1978) ·Zbl 0368.68059号 [30] Greibach，S.A.，双向有限状态传感器的层次理论，信息学报。，11, 89-101 (1978) ·Zbl 0398.68038号 [31] 霍普克罗夫特，J.E。；Ullman，J.D.，《自动机理论、语言和计算导论》（1979），Addison-Wesley：Addison-Whesley Reading，马萨诸塞州·Zbl 0196.01701号 [32] Rozenberg，G。；Salomaa，A.，《L系统的数学理论》（1980），学术出版社：纽约学术出版社·兹比尔0365.68072 [33] Salomaa，A.，Marcos，《迭代替换和林登迈耶AFL》（DAIMI PB-18（1973），奥胡斯大学） [34] Skyum，S.，各种语言的分解定理在性质上是并行的，SIAM J.Compute。，5, 284-296 (1976) ·Zbl 0332.68058号 [35] van Leeuwen，J.，（F）-迭代语言，备忘录（1973），加利福尼亚大学：加利福尼亚大学伯克利分校 [36] van Leeuwen，J.，形式语言理论中Parikh定理的推广·Zbl 0297.68062号 [37] van Leeuwen，J.，《超代数家族复杂性的研究》（Lindenmayer，A.；Rozenberg，G.，Automata，Languages，Development（1976），北荷兰：北荷兰阿姆斯特丹），323-333 [38] van Leeuwen，J.，良半序自由幺半群的有效构造，离散数学。，21, 237-252 (1978) ·兹伯利0384.6073 [39] Wood，D.，关于Lindenmayer系统的一个注记，Szilard语言，谱和等价，Int.J.Comput。通知。科学。，4, 53-62 (1975) ·Zbl 0303.68050号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。