×

两个等效DPDA的两种配置的同时可访问性。 (英语) Zbl 0459.68019号


MSC公司:

2005年第68季度 计算模型(图灵机等)(MSC2010)
65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。