布鲁诺·库塞尔 两个等效DPDA的两种配置的同时可访问性。 (英语) Zbl 0459.68019号 信息处理。莱特。 12, 111-114 (1981)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于2文件 MSC公司: 2005年第68季度 计算模型(图灵机等)(MSC2010) 65年第68季度 形式语言和自动机 关键词:理性转导;等价问题;确定性下推自动机;同时可访问性;交替叠加法 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},Inf.过程。莱特。12111--114(1981;Zbl 0459.68019) 全文: 内政部 参考文献: [1] Berstel,J.,《转义和无语境语言》(1979),《Teubner-Verlag:Teubner-Verlag Stuttgart》·兹比尔0424.68040 [2] Courcelle,B.,语言对树的表示I,定理。计算。科学。,6, 255-279 (1978) ·Zbl 0377.68040号 [3] Nivat,M.(乔姆斯基语言转导(1968),《傅里叶研究所年鉴:傅里叶格勒诺布尔年鉴》),339-455·兹伯利0313.68065 [4] 小山口,M。;Honda,N.,确定性无状态下推自动机等价性的判定,信息与控制,38,367-376(1978)·Zbl 0393.68078号 [5] 小山口,M。;Inagaki,Y。;Honda,N.,实时严格确定性语言的等价问题,信息与控制,45,90-115(1980)·Zbl 0444.68038号 [6] Taniguchi,K。;Kasami,T.,DPDA等价问题的结果,J.Compute。系统科学。,13, 38-50 (1976) ·Zbl 0337.68032号 [7] Valiant,L.,《DPDA家庭的决策程序》(华威大学博士论文(1973)) [8] Valiant,L.,有限回转DPDA的等价问题,信息与控制,25123-133(1974)·Zbl 0285.68025号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。