拉什洛·赫格杜斯;贝内德克·纳吉;厄梅·埃西奥·卢 无状态多计数器Watson-Crick自动机：确定性情况。 （英语） Zbl 1251.68111号 自然计算。 11，第3期，361-368（2012）. 摘要：我们考虑混合了单头计数器和特殊双头Watson-Crick自动机（WK-automata）特性的无状态计数器。这些生物驱动的机器具有从两个极端开始读取输入的头部。当头部相遇时，阅读过程结束。机器是实时的还是非实时的，取决于每次移动时是否需要头部前进。如果每个计数器在任何计算中最多在递增模式和递减模式之间进行（k）次交替，则计数器为（k）-反转；如果计数器为某些（k）的反转，则反转有界。在本文中，我们主要研究计数器是可逆有界的确定性无状态实时WK-自动机的性质。我们给出了示例，并建立了计数器和反转的层次结构。 引用于1审查引用于6文件 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 第68季度第45季度 形式语言和自动机 关键词：Watson-Crick自动机;计数器;DNA运算;膜计算;反向有界机;无状态机器;普遍性 PDF格式BibTeX公司 XML格式引用 \textit{L.Hegedüs}等人，《自然计算》。11，第3号，361--368（2012；Zbl 1251.68111） 全文： 内政部 参考文献： [1] 俄亥俄州伊巴拉·埃西奥·卢奥（2009）《关于无状态多计数器机器》。收录于：CiE 2009，LNCS，第5635卷。海德堡施普林格，第178-187页·Zbl 1268.68082号 [2] 艾西奥·卢奥，海格德·吕斯，纳吉·B（2010）无状态多计数器5'3'沃森-克里克自动机。收录：IEEE BIC-TA第5版，第1599–1606页 [3] Freund R，Păun G，Rozenberg G，Salomaa A（1994）Watson–Crick有限自动机。摘自：第三届DNA计算机DIMACS年会论文集，第535-546页·Zbl 0941.68074号 [4] Hopcroft JE，Ullman JD（1979）《自动机理论、语言和计算导论》。Addison-Wesley，阅读·Zbl 0426.68001号 [5] Ibarra OH，Eeciolu（2009）无状态多计数器机器的层次结构和特征。收录：COCOON 2009，LNCS 5609。海德堡施普林格，第408–417页·Zbl 1248.68302号 [6] Ibarra OH，Karhumäki J，Okhotin A（2008）《无状态多头自动机：层次结构和空性问题》。收录：拉丁文'08，LNCS 4957。海德堡施普林格，第94-105页·Zbl 1136.68397号 [7] Korenjak AJ，Hopcroft JE（1966）简单确定性语言。收录：FOCS，IEEE计算机学会，加利福尼亚州洛斯阿拉米托斯，第36-46页 [8] Kutrib M，Messerschmidt H，Otto F（2008）关于无状态双推自动机和重启自动机。收录：AFL第八届会议，第257-268页·Zbl 1207.68193号 [9] Leupold P，Nagy B（2009）5'3'Watson–Crick automata，多次跑步。收录：NCMA，第167-180页·Zbl 1215.68121号 [10] Leupold P，Nagy B（2010）5'3'Watson–Crick automata，多次跑步。基础信息学104:71–91·Zbl 1215.68121号 [11] Minsky ML（1967）计算：有限和无限机器。Prentice Hall公司，新泽西州上鞍河·Zbl 0195.02402号 [12] Nagy B（2008）关于5'3'感知Watson–Crick有限自动机。DNA 13，LNCS 4848。斯普林格·弗拉格，柏林，海德堡，第256-262页·Zbl 1137.68401号 [13] Nagy B（2009）关于5'3'感知WK有限自动机语言的层次结构。In:CiE 2009，第266–275页 [14] Nagy B，Hegedüs L，Eeciolu（2011）无状态多计数器5'3'Watson–Crick自动机的层次结构结果。收录于：IWANN 2011，LNCS 6691。海德堡施普林格，第465-472页 [15] Péun G（1998）《膜计算》。技术报告，TUCS [16] Păun G（2002）膜计算：导论。斯普林格·弗拉格，海德堡 [17] Péun G，Rozenberg G，Salomaa A（1998）DNA计算：新计算范式。斯普林格·弗拉格，海德堡·Zbl 0940.68053号 [18] Yang L，Dang Z，Ibarra OH（2007）关于无状态自动机和P系统。摘自：细胞和分子计算自动机研讨会，第144-157页 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。