k计数自动机“]，”前缀“：”10.1051“，”卷“：”46“，”作者“：[{”给定“：”Jo\u00ebl“，”家族“：”Allred“，”sequence“：”first“，”affiliation“：[]}，{”given“：”Ulrich“，”family“：”Ultes-Nitsche“，]}，“reference”：[{“key”：“R1”，“doi-asserted-by”：“crossref”，“非结构化”：“Alpern B.和Schneider F.B.，定义活力。信息处理。Lett.21（1985）181\u2013185.“，“DOI”：“10.1016\/0020-0190（85）90056-0”}，{“key”：“R2”，“unstructured”：“M.Bojanczyk，Beyond\u03c9-regular languages，inProc.STACS，LIPIcs，编辑J.-Y.Marion和T.Schwentick。Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik5（2010）11\u201316.”}.，{，“key“：”R3“，“unsructured“博扬奇克和T。科尔科姆贝特，无限语言中的有界性。未发表的手稿。M.Bojanczyk和T.Colcombet的扩展版本，在\u03c9-Regularity中的界限，inLICS（2006）285\u2013296.“}，{“key”：“R4”，“doi-asserted-by”：“crossref”，“unstructured”：“Boja\u0144czyk M.，David C.，Muschcholl A.，Schwentick T.和Segoufin L.，数据字上的双变量逻辑。ACM Trans.Compute.Logic12（2011）27:1\u201327:26.”，“doi”：“10.1145\/1903981970403“｝，｛“key”：“R5”，“非结构化”：“J.R.B\u00fcchi，关于限制二阶算术中的决策方法，1960年国际科学逻辑、方法论和哲学大会论文集，由E.Nagelet等人编辑。斯坦福大学出版社（1962）1\u201311。”｝，｛“key”：“R6”，“非结构化”：“Fernau H.和Stiebe R.，关于\u03c9单词的盲计数器自动机。芬丹。Inform.83（2008）51\u201364.“}，{“key”：“R7”，“doi-asserted-by”：“crossref”，“unstructured”：“Fischer P.C.，内存访问受限的图灵机。Inf.Control9（1966）364\u2013379.”，“doi”：“10.1016\/S0019-9958（66）80003-7”}，}“key”：“R8”，“非结构化”：“Hashiguchi K.，确定相对星高和星高的算法。Inf.Compute.78（1988）124\u2013169.“}，{”key“：”R9“，”unstructured“：”J.E.Hopcroft、R.Motwani和J.D.Ullman，《自动化理论、语言和计算导论》，Addison-Wesley，Pearson Education（2006）。“}”，{“key”：“R10”，“doi-asserted-by”：“crossref”，“unstructure”：“Karp R.M.和Miller R.E.，并行程序schemata。J.Compute.Syst.Sci.3（1969）147\u2013195.”，“DOI“：”10.1016\/S0022-0000（69）80011-5“}，{“key”：“R11”，“DOI-asserted-by”：“crossref”，“unstructured”：“R.P.Kurshan，Computer-Aided Verification of Coordination Processes，第1版。普林斯顿大学出版社，新泽西州普林斯顿（1994）。”，“DOI”：“10.1515\/9781400864041”}，“key“：”R12“DOI-sserted-by。Mayr，一般petri网可达性问题的算法，第13届ACM计算理论研讨会论文集，STOC\u201981。美国纽约，ACM（1981）238\u2013246.“，”DOI“：”10.1145\/800076.802477“}，{”key“：”R13“，”DOI-asserted-by“：”crossref“，”unstructured“：”McNaughton R.，《用有限自动机测试和生成无限序列》Inf.Control9（1966）521\u2013530.“，“DOI”：”10.1016\/S0019-9958（66）80013-X“}”，{“key”：“R14”，“unstructure”：“”Minsky M.L.，图灵机理论中的后u2019问题的递归不可解性等课题。Ann.Math.74（1961）437\u2013455.“}，{“key”：“R15”，“doi-asserted-by”：“crossref”，“unstructured”：“D.E.Muller，无限序列和无限机器，inAIEE Proc.of the 4th Annual Symposium on Switching Theory and Logical Design（1963）3\u201316.”，，“doi”：“10.1109\/SWCT.1963.8”}，}“keys”：“R16”，“非结构化”：“C.A。Petri，Kommunikation mit Automaten。波恩大学Mathematik仪器公司Rheinsch Westf\u00e4lisches Institut f\u00fcr instrumentelle Mathematik的博士论文（1962年）。“}，{”key“：”R17“，”unstructured“：”Rice H.G.，递归可枚举集的类及其决策问题。Trans.Amer.Math.Soc.74（1953）358\u2013366.“}”，{“key”：“R18”，“doi-asserted-by”：“crossref”，“unstructure”：“W。托马斯，无限对象上的自动机，在形式模型和语义中，由J.van Leeuwen编辑。理论手册。计算。科学。B（1990）133\u2013191.“，”DOI“：”10.1016\/B978-0-444-88074-1.50009-3“}，{“key”：“R19”，“unstructured”：“Ultes-Nitsche U.，用于将B\u00fcchi自动机简化为非确定性二阶的幂集构造。信息处理。Lett.101（2007）107\u2013111.”}，}“key:”R20“，”DOI-asserted-by“：”crossref“，”unstructure“：”Ultes-Nitsche U.和James S.St.，《改进公平性内线性时间属性的验证》，2013年，通过迹线减少计算出的弱连续闭行为抽象。软件测试、验证和可靠性13（2003）241\u2013255.“，“DOI”：“10.1002”，{“key”：“R21”，“unstructured”：“M.Y.Vardi和P.Wolper，自动程序验证的自动机理论方法，剑桥（1986）第一届计算机科学逻辑研讨会论文集。”}，{《key》：“R22”，“非结构化”：“Vardi M.Y.和Wolper P.，关于无限计算的推理。通知。计算115（1994）1\u201337.“}]，”container-title“：[”RAIRO-理论信息学和应用“]，”original-title”：[]，”link“：[{”URL“：”http:\/\/www.RAIRO-ita.org\/10.1051\/ita\/2012021\/pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，“deposed”：{“date-parts”：[2019,7,4]]，“日期时间”：“2019-07-04T11:10:11Z“，”timestamp“：1562238611000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/www.rairo-ita.org\/10.1051\/ita\/2012021”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-parts”：[2012,10]]}，‘references-count’：22，‘日志发布’：{‘发布’：“4”}，’alternative-id“：[”ita110033“]，”URL“：“http://\/dx.doi.org\/10.1051\/ita\/2012021”，“关系“：{}，”ISSN“：[”0988-3754“，”1290-385X“]，”ISSN-type“：[{”value“：”09883-3754“，”type“:”print“}，{”value“：”1290-38.5X“，”类型“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[2012,10]]}}}}