艾琳·盖萨里安 下推树自动机。 （英语） Zbl 0524.68047号 数学。系统。理论 16，第4期，237-263（1983）. 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于4评论引用于30文件 理学硕士： 65年第68季度 形式语言和自动机 2005年第68季度 计算模型（图灵机等）（MSC2010） 关键词：自顶向下下推树自动机;确定性树语言;索引语言;无上下文树语言;格雷巴赫树语言 PDF格式BibTeX公司 XML格式引用 \textit{I.Guessarian}，数学。系统。理论16，237--263（1983；Zbl 0524.68047） 全文： 内政部 参考文献： [1] A.V.Aho，《索引语法：上下文无关情况的扩展》，JACM 15，647–671（1968）·Zbl 0175.27801号 ·数字对象标识代码：10.1145/321479.321488 [2] A.V.Aho，嵌套堆栈自动机，JACM 16，383–406（1969）·Zbl 0184.28603号 ·数字对象标识代码：10.1145/321526.321529 [3] A.Arnold，M.Dauchet，《侦察莫纳迪克斯的传记》。对于存在的corégulières，RAIRO Inf.Théor。10, 5–28 (1976). [4] A.Arnold，B.Leguy，《Greibach的信息与控制》，第46卷，第108–134页（1980年）·Zbl 0473.68073号 ·doi:10.1016/S0019-9958（80）90698-1 [5] A.Arnold，M.Nivat，非确定性程序方案的形式计算，MST 13，219–236（1980）·兹比尔0441.68044 ·doi:10.1007/BF01744297 [6] J.Berstel，《转喻和无语境语言》，斯图加特特伯纳出版社（1979年）·Zbl 0424.68040号 [7] G.Boudol，Langages algébriques d'arbres，LITP报告n{\（\deg\）}81–2。 [8] B.Courcelle，论跳跃确定性下推自动机，MST 11，87–109（1977）·Zbl 0365.02021号 ·doi:10.1007/BF01768471 [9] W.Damm，个人沟通。 [10] P.Downey，形式语言和递归方案，哈佛大学博士（1974）。 [11] J.Engelfriet，自下而上和自上而下的树转换。比较，MST 9198-231（1975）·Zbl 0335.68061号 ·doi:10.1007/BF01704020 [12] J.Engelfriet，《关于树转换器和树语言的一些开放问题和最新结果》，《形式语言：视角和开放问题》，学术出版社，伦敦（1980），241-286。 [13] J.Engelfriet、E.M.Schmidt、IO和OI、JCSS 15、328-353（1977）和JCSS 16、67-99（1978）。 [14] J.Engelfriet，G.Slutzki，《扩展宏文法和堆栈控制机器》，Memo n{\（\deg\）}379，T.H.Twente，（1982）·Zbl 0575.68081号 [15] M.J.Fischer，《宏观类作品的语法》，第九届SWAT，131-142（1968）。 [16] J.H.Gallier，《DPDA在“原子范式”中的应用及等价问题》，TCS 14，155–186（1981）·Zbl 0474.68065号 ·doi:10.1016/0304-3975（81）90055-4 [17] S.Gorn，《明确定义和语言多米诺骨牌》，J.Hart，S.Takasu，Eds，Systems and Computer Science（1965）。 [18] I.游击，代数语义学，Lect。公司注释。Sc.n{\（\deg\）}99，柏林斯普林格-弗拉格出版社（1981）·Zbl 0474.68010号 [19] M.Harrison，《形式语言理论导论》，Addison-Wesley，伦敦，（1978）·Zbl 0411.68058号 [20] J.E.Hopcroft，A.J.Korenjak，《简单确定性语言》，第七交响曲。交换与自动机理论，伯克利，36-46（1966）·Zbl 0313.68061号 [21] B.Leguy，Réductions，transformations et classification des grammaires algébriques d'arbres，Thèse 3ème Cycle，里尔大学1（1980）。 [22] M.Nivat，《关于递归多元程序方案的解释》，Symp。材料15，罗马，255-281（1975）·Zbl 0346.68041号 [23] N.Polian、Adhérences et centers de langages d'arbres、Thèse de 3ème cycle、Poitiers（1981）·Zbl 0485.68068号 [24] M.Rabin，无限对象上的自动机和Church问题，CBSM区域数学Conf系列。n{\（\deg\）}13，AMS（1969）。 [25] W.C.Rounds，Mappings and grammars on trees，MST 4257–287（1970）·兹伯利0203.30103 ·doi:10.1007/BF01695769 [26] W.C.Rounds，无上下文和索引语言上一些定理的面向树的证明，第二届计算理论研讨会，109-116（1970）。 [27] A.Saoudi，《为了无限的可探测性》，《第三周期》，巴黎第七大学（1982年）。 [28] K.Schimpf，《上下文无关树语言的解析方法》，宾夕法尼亚大学博士（1982年）。 [29] K.Schimpf，J.Gallier，《使用自下而上树自动机和树下推存储解析树语言》，《扩展抽象》，宾夕法尼亚大学（1981）出版。 [30] J.M.Steyaert，Lemmes d'itération pour les familles d'arbres，Actes du Séminaire d'Inf。塞奥尔。1977年至1978年，《LITP报告》，巴黎（1979年）。 [31] J.W.Thatcher，《树自动机：非正式调查》，收录于《竞争理论的潮流》。，阿霍（编辑），普伦蒂斯·霍尔，伦敦（1973年）。 [32] J.W.Thatcher，J.B.Wright，广义有限自动机理论及其在二阶逻辑决策问题中的应用，MST 2，57–81（1968）·Zbl 0196.01901号 ·doi:10.1007/BF01691346 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。