×
巴兰，M.萨基;卡马拉·克里蒂瓦桑

绑定阻塞自动机。 （英语） Zbl 1355.68146号

国际期刊计算。数学。 901809-1831（2013）第9期.
摘要：我们提出了一种称为绑定阻塞自动机（BBA）的自动机模型。它是一个有限状态自动机，具有阻止某些符号并将其推迟供头部稍后读取的功能。阻止一些符号被头部读取并在系统需要读取时解除锁定的想法是由肽计算驱动的，其中，通过附加具有更高亲和力的抗体来阻止肽序列的某些部分，并通过移除适当的抗体在稍后点解除锁定。我们研究此类系统的变体，分析每个变体的威力，并显示涉及它们的各种层次结果。我们还定义了其中一个变量的绑定阻塞自动机的正规形式，并证明了该变量的接受能力严格小于多头有限自动机的接受能力。

MSC公司：

第68季度第45季度 形式语言和自动机
2005年第68季度 计算模型（图灵机等）（MSC2010）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）

关键词：

肽计算;分子计算;多头自动机
PDF格式BibTeX公司 XML格式引用
\textit{M.S.Balan}和\textit{K.Krithivasan}，国际计算机杂志。数学。90，第9号，1809--1831（2013；Zbl 1355.68146）
全文： 内政部

参考文献：

[1] Balan，M.S.、Krithivasan，K.和Sivasubramayam，Y.肽计算：普遍性和复杂性。第七届DNA计算机国际会议论文集（DNA7）。编辑：Jonoska，N.和Seeman，N.C.，第290-299页。柏林，海德堡：斯普林格·弗拉格出版社。计算机科学课堂讲稿，第2340卷·Zbl 1065.68539号
[2] Balan，M.S.，2007年。肽计算启发的自动机模型，1-15。加拿大金斯敦：生物计算中的语言理论研讨会，非传统计算。
[3] Balan，M.S.、Jürgensen，H.和Krithivasan，K.肽计算：一项调查。自然计算的形式语言方面，自然计算研究级讨论会论文集。编辑：Krithivasan，K.和Rama，R.，第63-76页。钦奈：Ramanujan数学协会。课堂笔记系列，第3号·兹比尔1133.68346
[4] Balan M.S.和J.Autom。语言梳。第13页105–（2008）
[5] 内政部：10.1007/s11047-007-9045-9·Zbl 1146.68370号 ·doi:10.1007/s11047-007-9045-9
[6] Balan，M.S.，《绑定块自动机的特性：一项研究》。第六届生物灵感计算国际会议论文集：理论与应用。第211-215页。加利福尼亚州洛斯·阿尔米托斯：IEEE计算机协会。
[7] 内政部：10.1016/0304-3975（86）90093-9·Zbl 0638.68097号 ·doi:10.1016/0304-3975（86）90093-9
[8] Csuhaj-Varjü，E.和Vaszil，G.P自动机或纯粹的通信接受P系统。WMC-CdeA。编辑：Póun，G.，Rozenberg，G，Salomaa，A.和Zandron，C.，第219-233页。柏林：施普林格。计算机科学课堂讲稿，第2597卷·Zbl 1023.68039号
[9] 内政部：10.1007/978-3-540-39886-8_13·doi:10.1007/978-3-540-39886-8_13
[10] 内政部：10.1007/978-3-642-74932-2·数字对象标识代码：10.1007/978-3-642-74932-2
[11] Freund，R.，Péun，G.，Rozenberg，G和Salomaa，A.Watson–Crick有限自动机。第三届DNA计算机DIMACS年会论文集。宾夕法尼亚州费城，第305-317页·Zbl 0941.68074号
[12] DOI:10.1093/bioinformatics/17.4.364·doi:10.1093/bioinformatics/17.4.364
[13] DOI:10.1016/S0022-0000（73）80048-0·Zbl 0256.68028号 ·doi:10.1016/S0022-0000（73）80048-0
[14] 内政部：10.1007/BF00288748·Zbl 0291.94029号 ·doi:10.1007/BF00288748
[15] Jancar，P.、Mráz，F.和Plátek，M.通过擦除自动机描述无上下文语言。1992年计算机科学数学基础，第17届国际研讨会，MFCS’92，布拉格，捷克斯洛伐克，1992年8月24日至28日，会议记录。编辑：Havel，I.M.和Koubek，V.，第307-314页。柏林：施普林格。计算机科学讲座笔记，第629卷
[16] Jancar P.，《语言理论的发展》第102页–（1995）
[17] DOI:10.1016/0304-3975（91）90051-3·Zbl 0746.68051号 ·doi:10.1016/0304-3975（91）90051-3
[18] Leupold P.，《信息学基础》104（1）第71页–
[19] Monien B.，通知。西奥。申请。第14页67–（1980）
[20] Nagy，B.关于5'3'Sensing Watson–Crick Finite Automata。DNA13'07：第13届DNA计算国际会议论文集。美国田纳西州孟菲斯，第256-262页。柏林：Springer-Verlag·Zbl 1137.68401号
[21] Nagy，B.和Otto，F.CD-无状态决定论R（1）-自动机系统接受所有理性跟踪语言。语言与自动机理论与应用，第四届国际会议，2010年5月24日至28日，德国特里尔，LATA 2010。诉讼程序。编辑：Dediu，A.H.，Fernau，H.和Martín-Vide，C.，第463-474页。柏林：施普林格。计算机科学讲座笔记，第6031卷·Zbl 1284.68363号
[22] 重新启动自动机及其与乔姆斯基层次结构的关系。语言理论的发展，第七届国际会议，DLT 2003，塞格德，匈牙利，2003年7月7日至11日，会议记录。编辑：埃西克，Z和Fülöp，Z，第55-74页。柏林：施普林格。计算机科学课堂讲稿，第2710卷·Zbl 1037.68088号
[23] Otto F.，形式语言和应用的最新进展，第269页–（2006）
[24] 内政部：10.1007/978-3-662-03563-4·doi:10.1007/978-3-662-03563-4
[25] 内政部：10.1145/322063.322076·Zbl 0372.68017号 ·doi:10.1145/322063.322076
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。