×
克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；圣彼得罗，皮耶路易吉

Deque自动机、语言和平面图表示。 （英语） Zbl 1440.68153号

西奥。计算。科学。 834, 43-59 (2020).
摘要：deque自动机是一种配备deque存储磁带的有限状态机。这种内存比一个队列或两个堆栈更通用，因此我们将考虑限制在准实时deque机器上，我们为其提供了有用的范式。deque语言的闭包属性使它们成为抽象的语言家族，但不是完整的语言家族。新定义的特征deque语言CDL结合了Dyck和AntiDyck（或FIFO）语言，并以同态特征描述了deque语。图绘制理论中的deque图的概念很好地表示了deque计算，它是通过在圆柱表面上绘制平面图来实现的，其边缘显示了deques符号是如何插入和删除的。在圆柱体上绘制德克计算图使人想起了理论（生物）化学中使用的3D模型。我们证明了CDL可以用不同的方式定义：通过一个简单的deque自动机，通过标记deque图，通过取消规则，以及通过简单语言的洗牌和交集。标记的deque图表示单词的语法结构。

MSC公司：

65年第68季度 形式语言和自动机
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

双端队列；队列自动机；准实时的；圆柱平面图；戴克图；闭包属性；AFL公司；戴克；反戴克
PDF格式BibTeX公司 XML格式引用
\textit{S.Crespi Reghizzi}和\textit{P.San Pietro}，Theor。计算。科学。834、43-59（2020年；Zbl 1440.68153）
全文： 内政部

参考文献：

[1] Crespi Reghizzi，S。；San Pietro，P.，Deque语言、自动机和平面图，（语言理论的发展-第22届国际会议论文集。语言理论的发展-第22届国际会议论文集，DLT 2018，日本东京，2018年9月10日至14日（2018）），243-255·Zbl 1517.68181号
[2] Knuth，D.E.，《计算机编程的艺术》，第一卷：基本算法（1968），Addison-Wesley·Zbl 0191.17903号
[3] Leong，B.L。；Seiferas，J.I.，《多磁头磁带单元的新实时模拟》，J.ACM，28，1，166-180（1981）·Zbl 0454.68033号
[4] Petersen，H.，Stacks vs.deques，（Wang，J.，《计算与组合数学》，COCOON 2001（2001），Springer），218-227·Zbl 0991.68514号
[5] Pratt，V.R.，《具有双端队列、并行堆栈和并行队列的计算排列》，（第五届年度ACM计算理论研讨会论文集。第五届ACM计算原理研讨会论文集，1973年4月30日至5月2日，美国德克萨斯州奥斯汀（1973）），268-277·Zbl 0314.94030号
[6] Ayers，K.，Deque自动机和包含所有半线性有界语言的上下文敏感语言的子家族Theor。计算。科学。，40, 163-174 (1985) ·兹比尔0603.68081
[7] Brandenburg，F.，关于“Deque自动机和包含所有半线性有界语言的上下文敏感语言的子家族”的注释，Theor。计算。科学。，52, 341-342 (1987) ·Zbl 0635.68089号
[8] Cherubini，A。；Citrini，C。；Crespi Reghizzi，S。；Mandrioli，D.，《呼吸和深度语法与deque automata》，Int.J.Found。计算。科学。，1, 3, 219-232 (1990) ·Zbl 0732.68066号
[9] Cherubini，A。；Citrini，C。；Crespi Reghizzi，S。；Mandrioli，D.，QRT FIFO自动机，呼吸优先语法及其关系，Theor。计算。科学。，85, 1, 171-203 (1991) ·Zbl 0745.68069号
[10] Vollmar，R.，《Pufferspeicherung计算机自动化》，第5、1、57-70页（1970年）·Zbl 0188.03301号
[11] Vauquelin，B。；Franchi-Zannettacci，P.，自动化文件，Theor。计算。科学。，11, 221-225 (1980) ·Zbl 0434.68062号
[12] 库特里布，M。；Malcher，A。；Wendlandt，M.，《队列自动机：基础和发展》，（Adamatzky，A.，《可逆性和普遍性：在森田贤一70岁生日（2018年）时向森田贤治提交的论文》，施普林格出版社），385-431·Zbl 1434.68274号
[13] Auer，C.，圆柱表面上的平面图及其对偶（2014），帕索大学，博士论文
[14] 奥尔，C。；巴赫迈尔，C。；Brandenburg，F.J。；布伦纳，W。；《数据结构及其平面图形布局》，《图形算法应用》。，22, 2, 207-237 (2018) ·Zbl 1386.68037号
[15] Barthel，S。；Buck，D.，抽象平面图的环面嵌入被打结或链接，J.Math。化学。，53, 8, 1772-1790 (2015) ·Zbl 1327.05070号
[16] 西尔斯，D.B.，《基因的语言》，《自然》，420、6912、211-217（2002）
[17] Salomaa，A.，《形式语言》（1973），学术出版社：纽约学术出版社·Zbl 0262.68025号
[18] 霍普克罗夫特，J。；Ullman，J.，《自动机理论、语言和计算导论》（1979），Addison-Wesley：Addison-Whesley Wokingham·Zbl 0426.68001号
[19] 南卡罗来纳州金斯堡。；Spanier，E.H.，具有半线性特性的AFL，J.Compute。系统。科学。，5, 4, 365-396 (1971) ·Zbl 0235.68029号
[20] 卡里，L。；Kulkarni，M.S.，伪序词集的析取性和其他性质，信息学报。，54, 4, 379-398 (2017) ·Zbl 1371.68222号
[21] Ginsburg，S.，《上下文无关语言的数学理论》（1966），麦格劳-希尔：麦格劳–希尔纽约·Zbl 0184.28401号
[22] Berstel，J.，《转喻和无语境语言》（1979），图布纳：图布纳-斯图加特·兹比尔0424.68040
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。