卡尔帕纳·马哈林根；普里斯温内尔·保罗 关于InsDel系统的Szilard语言。 （英语） Zbl 1504.68108号 J.汽车。语言梳。 25，第4号，321-348（2020）. 摘要：我们研究了InsDel（insertion-deletion）系统的Szilard语言。我们将这些系统获得的Szilard语言与Chomsky层次结构中的语言家族进行了比较。我们表明，尽管InsDel系统可以描述递归可枚举语言，但仍存在一些正则语言，这些语言是任何InsDel系统都无法作为Szilard语言获得的。此外，大小为\（（1,1,1；1,1,1）\）的InsDel系统（即具有插入/删除规则，其中在具有一个符号的上下文中插入/删除一个符号）可以获得与Szilard语言不同的上下文敏感语言。任何规则且无上下文的语言都可以作为大小为\（（1,1,1；1,1,0）\）的InsDel系统的Szilard语言的同态图像获得（即，具有插入规则，其中一个符号插入到具有一个符号的上下文中，而删除规则，其中在左侧上下文中，一个符号被删除）和\（3,1,1；1,1,1）\)（即，具有插入规则，其中三个符号插入到具有一个符号的上下文中，以及删除规则，其中一个符号在具有一个字符的上下文中被删除）。此外，任何递归可枚举语言都可以作为大小为\（（3,0,0；3,1,0）\）、\（3,0，0；2,1,0）\、\（（2,0,0）；3,1.0）\）和\（（3，0,0，3,0.0）\的InsDel系统的Szilard语言的同态图像获得。 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：InsDel系统；斯齐拉德语；标记的InsDel系统；乔姆斯基层次 PDF格式BibTeX公司 XML格式引用 \textit{K.Mahalingam}和\textit{P.Paul}，J.Autom。Lang.梳。25，第4号，321--348（2020；Zbl 1504.68108） 全文： 链接 参考文献： [1] A.Alhazov，A.Krassovitskiy，Y.Rogozhin，S.Verlan，最小插入和删除的P系统。理论计算机科学412（2011），136-144·Zbl 1207.68180号 [2] R.Benne（编辑），《RNA编辑：RNA蛋白质编码序列的改变》，分子生物学。Ellis Horwood，奇切斯特，1993年。 [3] F.Biegler，M.J.Burrell，M.Daley，《调节RNA重写：用引导插入模拟RNA编辑》。理论计算机科学387（2007）2103-112·Zbl 1143.68025号 [4] L.Cojocaru，E.Mäkinen，关于一些派生机制及其Szilard语言的复杂性。《理论计算机科学》537（2014），87-96·Zbl 1359.68151号 [5] H.Fernau，L.Kuppusamy，矩阵内嵌系统的Parikh图像。收录于：T.Gopal，G.Jäger，S.Steila（编辑），TAMC 2017，计算模型的理论与应用。计算机科学课堂讲稿10185，施普林格，2017年，201-215年·兹比尔1485.68128 [6] H.Fernau，L.Kuppusamy，I.Raman，《小尺寸矩阵插入-删除系统功率的研究》。自然计算17（2018）2，249-269。 [7] H.Fernau，L.Kuppusamy，I.Raman，小和型矩阵内嵌系统。In：B.Catania，R.Královič，J.Nawrocki，G.Pighizzini（编辑），SOFSEM 2019，计算机科学理论与实践。计算机科学讲义11376，施普林格，2019年，192-205年·Zbl 1444.68094号 [8] H.Fernau，L.Kuppusamy，I.Raman，《路径控制插入-删除系统》。《信息学报》56（2019）1，35-59·Zbl 1410.68188号 [9] H.Fernau，L.Kuppusamy，S.Verlan，小尺寸通用矩阵插入文法。收录于：M.Patitz，M.Stannett（编辑），UCNC 2017，非传统计算和自然计算。《计算机科学讲稿》10240，施普林格出版社，2017年，182-193年·Zbl 1486.68086号 [10] L.Kari，G.Pöun，G.Thierrin，S.Yu，《DNA计算和形式语言的十字路口：使用插入-删除系统表征R》。摘自：第三届基于DNA的计算机DIMACS研讨会论文集。离散数学和理论计算机科学中心，1997年，318-333。 [11] L.Kari，P.Sosík，关于通用插入文法的权重。理论计算机科学396（2008），264-270·Zbl 1145.68028号 [12] L.Kari，G.Thierrin，上下文插入/删除和可计算性。信息与计算131（1996）1，47-61·Zbl 0872.68038号 [13] A.Krassovitskiy，《关于小尺寸插入P系统的功率》。《国际计算机、通信与控制杂志》6（2011）2266-277。 [14] A.Krassovitskiy，Y.Rogozhin，S.Verlan，关于单边上下文插入-删除系统的进一步结果。收录于：C.Martín-Vide，F.Otto，H.Fernau（编辑），LATA 2008，语言和自动化理论与应用。计算机科学讲稿5196，Springer，2008，347-358·Zbl 1156.68458号 [15] K.Mahalingam，P.Paul，E.Mäkinen，关于一类剪接系统的派生语言。《控制学报》23（2018）4981-993·Zbl 1413.68066号 [16] K.Mahalingam，P.Paul，B.Song，L.Pan，K.G.Subramanian，拼接P系统的派生语言。作者：C.He，H.Mo，L.Pan，Y.Zhao（编辑），BIC-TA 2017，生物灵感计算：理论与应用。《计算机与信息科学通信》，7912017，487-501。 [17] M.Margenstern、G.Pun、Y.Rogozhin、S.Verlan，《无上下文插入删除系统》。理论计算机科学330（2005）2339-348·Zbl 1078.68064号 [18] C.Martín-Vide，G.Pöun，A.Salomaa，用插入文法描述递归可枚举语言的特征。《理论计算机科学》205（1998），195-205·Zbl 0913.68126号 [19] A.Matveevici，Y.Rogozhin，S.Verlan，具有单侧上下文的插入-删除系统。摘自：J.Durand-Lose，M.Margenstern（编辑），《机器、计算和普遍性》。2007年9月10日至13日，第五届国际会议，MCU 2007，法国奥尔良。诉讼程序。计算机科学讲座笔记4664，Springer，2007，205-217·兹比尔1155.68419 [20] P.Paul，《关于标记插入语法的Szilard语言》。《基础信息》172（2020）1，53-72·Zbl 1464.68182号 [21] G.Páaun，关于Szilard语言的一些家族。《卢马尼社会科学数学公报》27（75）（1983）3259-265·Zbl 0528.68054号 [22] G.Páaun，M.J.Pérez-Jiménez，T.Yokomori，通过插入-删除系统在乔姆斯基层次结构中对语言的表示和表征。在：V.Geffert，G.Pighizini（编辑），形式系统的描述复杂性。第九届国际研讨会，2007年DCFS，斯洛伐克High Tatras。科希策技术大学，2007年，129-140。 [23] G.Pöun、G.Rozenberg、A.Salomaa，《DNA计算：新计算范式》。Springer-Verlag，1998年·Zbl 0940.68053号 [24] I.Petre，S.Verlan，矩阵插入-删除系统。理论计算机科学456（2012），80-88·Zbl 1279.68087号 [25] G.Rozenberg，A.Salomaa，《形式语言手册》。施普林格，柏林，1997年·Zbl 0866.68057号 [26] A.Takahara，T.Yokomori，《插入/删除系统的计算能力》。自然计算2（2003），321-336·Zbl 1074.68021号 [27] S.Verlan，《最小无上下文插入删除系统》。《自动化杂志，语言与组合学》12（2007）1-2317-328·Zbl 1148.68032号 [28] S.Verlan，插入-删除系统的最新发展。摩尔多瓦计算机科学杂志18（2010）2，210-245·Zbl 1232.68088号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。