×
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰

当输入驱动的下推自动机满足可逆性时。 （英语） Zbl 1362.68149号

西奥·雷罗。通知。申请。 50，第4期，313-330（2016）.
摘要：我们研究了上下文无关语言的子家族，它们共享两个重要的属性。这些语言既被输入驱动的下推自动机接受，也被可逆的下推自动机接受。因此，这些语言是输入驱动的，同时也是可逆的。这个交集可以在底层语言族或底层机器类上定义。事实证明，后一类被适当地包含在前一类中。本文研究了以这种方式获得的语言家族与可逆上下文无关语言以及输入驱动语言之间的关系。一般来说，在实时确定的无上下文语言中获得了一个层次包含结构。最后，研究了这些语言族在标准操作下的闭包性质，结果表明所有引入的语言族都是反AFL的。

引用于2文件

MSC公司：

65年第68季度 形式语言和自动机

关键词：

可逆计算;输入驱动下推自动机;形式语言;闭包属性
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}等人，RAIRO，Theor。通知。申请。50，第4号，313--330（2016；Zbl 1362.68149）
全文： 内政部 链接

参考文献：

[1] R.Alur和P.Madhusudan，可视下推语言。在计算机理论研讨会上，STOC ACM（2004）202-211·Zbl 1192.68396号
[2] R.Alur和P.Madhusudan，为单词添加嵌套结构。J.ACM56（2009）16·Zbl 1325.68138号 ·doi:10.1145/1516512.1516518
[3] H.B.Axelsen，可逆多头有限自动机刻画了可逆对数空间。语言与自动机理论与应用（LATA 2012）。Lect.第7183卷。注释计算。科学。斯普林格（2012）95-105·Zbl 1351.68132号
[4] H.B.Axelsen和R.Glück，一种简单高效的通用可逆图灵机。语言与自动机理论与应用（LATA 2011）。Lect.第6638卷。注释计算。科学。斯普林格（2011）117-128·Zbl 1330.68066号
[5] C.H.Bennett，计算的逻辑可逆性。IBM J.Res.Dev.17（1973）525-532·Zbl 0267.68024号 ·doi:10.1147/rd.176.0525
[6] S.Bensch、M.Holzer、M.Kutrib和A.Malcher，输入驱动堆栈自动机。理论计算机科学（TCS 2012）。Lect第7604卷。注释计算。科学。斯普林格（2012）28-42·Zbl 1362.68127号
[7] P.Chervet和I.Walukiewicz，最小化可视下推自动机的变体。计算机科学数学基础（MFCS 2007）。Lect.第4708卷。注释计算。科学。施普林格（2007）135-146·Zbl 1147.68555号
[8] S.Crespi-Reghizzi和D.Mandrioli，运算符优先级和明显的下推属性。J.计算。《系统科学》78（2012）1837-1867·Zbl 1250.68175号 ·doi:10.1016/j.jcss.2011.12.006
[9] Y.S.Han和K.Salomaa，嵌套词自动机的非确定性状态复杂性。理论。计算。科学410（2009）2961-2971·Zbl 1173.68034号 ·doi:10.1016/j.tcs.2009.01.004
[10] M.A.Harrison，《形式语言理论导论》。Addison-Wesley（1978）·Zbl 0411.68058号
[11] J.Kari，可逆细胞自动机。《语言理论发展》（DLT 2005）。Lect.第3572卷。注释计算。科学。斯普林格（2005）57-68·兹比尔1132.68495
[12] M.Kutrib，经典自动机可逆性方面。在使用新资源进行计算方面。Lect.第8808卷。注释计算。科学。斯普林格（2014）83-98·Zbl 1323.68342号
[13] M.Kutrib和A.Malcher。当Church-Rosser脱离上下文时。发现的国际期刊。计算。科学.18（2007）1293-1302·Zbl 1183.68344号 ·doi:10.1142/S0129054107005339
[14] M.Kutrib和A.Malcher，使用细胞自动机的快速可逆语言识别。通知。计算206（2008）1142-1151·Zbl 1154.68082号 ·doi:10.1016/j.ic.2008.03.015
[15] M.Kutrib和A.Malcher，实时可逆迭代阵列。理论。计算。科学411（2010）812-822·Zbl 1183.68345号 ·doi:10.1016/j.tcs.2009.10.017
[16] M.Kutrib和A.Malcher，可逆下推自动机。J.计算。《系统科学》78（2012）1814-1827·Zbl 1250.68166号 ·doi:10.1016/j.jcss.2011.12.004
[17] M.Kutrib和A.Malcher，单向可逆多头有限自动机。可逆计算（RC 2012）。Lect第7581卷。注释计算。科学。斯普林格（2013）14-28·Zbl 1451.68152号
[18] M.Kutrib和A.Malcher，实时可逆单向细胞自动机。《元胞自动机和离散复杂系统》（Automata 2014）。Lect.第8996卷。注释计算。科学。斯普林格（2015）56-69·Zbl 1432.68282号
[19] M.Kutrib、A.Malcher、C.Mereghetti、B.Palano和M.Wendlandt，《输入驱动队列自动机：有限圈、可判定性和闭包属性》。理论。计算。科学578（2015）58-71·Zbl 1312.68122号 ·doi:10.1016/j.tcs.2015.01.012
[20] M.Kutrib、A.Malcher和M.Wendlandt，可逆队列自动机。在自动机的非经典模型及其应用中（NCMA 2014）。第304卷，共页books@ocg.at。奥地利计算机学会（2014）163-178。
[21] M.Kutrib、A.Malcher和M.Wendlandt，Tinput驱动下推自动机。《机器、计算和普遍性》（MCU 2015）。Lect.第9288卷。注释计算。科学。施普林格（2015）94-112·Zbl 1415.68135号
[22] S.La Torre、P.Madhusudan和G.Parlato，一类强大的上下文敏感语言。计算机科学中的逻辑（LICS 2007）。IEEE计算机学会（2007）161-170。
[23] R.Landauer，计算过程中的不可逆性和发热。IBM J.Res.Dev.5（1961）183-191·Zbl 1160.68305号 ·doi:10.1147/rd.53.0183
[24] K.-J.Lange、P.McKenzie和A.Tapp，可逆空间等于确定性空间。J.计算。《系统科学》60（2000）354-367·Zbl 0956.68057号 ·doi:10.1006/jcss.1999.1672
[25] P.Madhusudan和G.Parlato，辅助仓库的树宽。《编程语言原理》（POPL 2011）。ACM（2011）283-294·Zbl 1284.68358号
[26] K.Mehlhorn，《鹅卵石山脉及其DCFL再认识的应用》。在自动化、语言和编程国际学术讨论会（ICALP 1980）上。Lect.第85卷。注释计算。科学。斯普林格（1980）422-435。
[27] 森田，一维不可逆细胞自动机的可逆模拟。理论。计算。Sci.148（1995）157-163·Zbl 0873.68141号 ·doi:10.1016/0304-3975（95）00038-X
[28] 森田，可逆计算和细胞自动机——一项调查。理论。计算。科学395（2008）101-131·Zbl 1145.68036号 ·doi:10.1016/j.tcs.2008.01.041
[29] 森田，双向可逆多头有限自动机。基金。通知110（2011）241-254·Zbl 1234.68230号
[30] A.Okhotin和K.Salomaa，输入驱动下推自动机上操作的状态复杂性。计算机科学数学基础（MFCS 2011）。Lect.第6907卷。注释计算。科学。斯普林格（2011）485-496·Zbl 1343.68147号
[31] X.Piao和K.Salomaa，嵌套词自动机的操作状态复杂性。理论。计算。科学410（2009）3290-3302·兹比尔1176.68108 ·doi:10.1016/j.tcs.2009.05.002
[32] B.von Braunmühl和R.Verbeek，输入驱动语言在log n空间中被识别。计算理论专题。数学研究第102卷。North-Holland（1985）1-19·Zbl 0555.68046号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。