{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,9,13]]，“日期-时间”：“2023-09-13T20:25:46Z”，“时间戳”：1694636746948}，“引用-计数”：19，“发布者”：“爱思唯尔BV”，“问题”：“9”，“许可证”：[{“开始”：{:“日期-零件”：[2010,9,1]]，《日期-时间》：“2010-09-01T00:00:00Z“，“时间戳”：1283299200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2014,9,1]]，“date-time”：“2014-09-01T00:00:00Z”，“timestamp”：1409529600000}，“content-version”：“vor”，“delay-in-days”：1461，“URL”：“http://\/www.elsevier”。com/open-access\/userlicense\/1.0\/“}]，“出资人”：[{“DOI”：“10.13039\/50101100001823”，“name”：“Ministerstvo\u0160kolstv\u00ed，Ml\u00e1de\u017ee a T\u011blov\u00fdchovy”，“doi断言者”：“publisher”，“award”：[“201\/09\/1313”]，“id”：[｛“id”：“10.13039\/50101100001823”，“id type”：“doi”，“断言者”：“publisher”｝]｝，｛“doi”：“10.13039\/50101100001824”，“name”：“Grantov\u00e1代理\u010cesk\u00e9共和国”，“doi-asserted-by”：“publisher”，“id”：[{“id”:“10.13039\/501000001824”，“id-type”：“doi”，“asserted-by”：”publisher“}]}，{“doi“：”10.13039\/501000002341“，”name“：”Academy of Finland“，”doi-assert-by“：”publider“，”award“：[”118540“，“206039”“，”208414“，”MSM0021622409“]，”id“：[{”id“10.13039 \/501000002341“，”id-type“：”doi“，”asserted-by“：”publisher“}]}]，“内容域”：{“域”：[]，“交叉标记-限制”：false}，“短容器-时间”：[“信息和计算”]，“发布-时间”:{“日期-部件”：[[2010,9]]}，”DOI“：”10.1016\/j.ic.2009.07.001“，”type“：”journal-article“，”created“：{”date-parts“：[[2009,7,29]]，”date-time“：”2009-07-29T13:33:02Z“，”timestamp“：1248874382000}，“页面”：“1060-1089”，“源”：“Crossref”，“is-referenced-by-count”：1，“title”：[“通信受限的两个堆栈的计算能力”]，“prefix”：“10.1016”，“volume”：“208”，”author“：[{”given“：”Juhani“，”family“：”Karhum\u00e4ki“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Michal“，”“family”：“Kunc”，“sequence”：“additional”，“afliation”：[]{，“givent”：“Alexander”，“家庭”：“Okhotin”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/j.ic.2009.07.001_bib1”，“doi-asserted-by”：“crossref”，“first page”：《315》，“doi”：“101016\/S0022-0000（74）80027-9”，《article-title》：“Reversal-bounded multipushdown machines”，“volume”：”8“author”：“Baker”，“year”：“1974”，“journal-title”：“j.计算系统科学”}，{“key”：“10.1016\/j.ic.2009.07.001_bib2”，“首页”：“1188”，“article-title”：“自由集团政党”，“卷”：“269”，“作者”：“Benois”，“年份”：“1969”，《新闻标题》：“巴黎科学院A”}，{”key“：”10.1016\/j.ic.2009.07.001 _bib3“，”doi-asserted-by“：”crossref“，”首页“：”91“，”doi“：”10.1007\/BF01969548“，”文章标题“：“正则规范系统”，“卷”：“6”，“作者”：“B\u00fcchi”，“年份”：“1964”，“日志标题”：“Arch.Math.Logic Grundlagenforsch”}，{“key”：“10.1016\/j.ic.2009.07.001_bib4”，”series-title“：“正则代数和有限机器”，“author”：“Conway”，”year“1971”}，{”key“：”10.1016\/j.ic.2009.07.001 _bib5“，”doi-asserted-by“：“crossref”，“unstructured”：“j。Engelfriet，G.Rozenberg，《定点语言、等式语言和递归可枚举语言的表示》，J.ACM 27（3）（1980）499\u2013518。可从以下位置获得：.“，”DOI“：”10.1145\/322203.322211“}，{“key”：“10.1016\/j.ic.2009.07.001_bib6”，“DOI-asserted-by”：“crossref”，“unstructured”：“P.C.Fischer，A.R.Meyer，A.L.Rosenberg，计数器与计数器语言，数学系统理论2（3）（1968）265\u2013283。可从以下位置获得：.“，”DOI“：”10.1007\/BF01694011“}，{“key”：“10.1016\/j.ic.2009.07.001_bib7”，“DOI-asserted-by”：“crossref”，“unstructured”：“D.Hofbauer，j.Waldmann，删除字符串重写系统保留规则性，Theor.Comput.Sci.327（3）（2004）301\u2013317。可从以下位置获得：.“，”DOI“：”10.1016\/j.tcs.2004.04.009“}，{“key”：“10.1016\/j.ic.2009.07.001_bib8”，“series-title”：“自动机理论、语言和计算导论”，“author”：“Hopcroft”，“year”：“1979”}，“key“：”101016\/j.ic.2009.07.001_ bib9“，”DOI-asserted-by“：”crossref“，”unstructured“：”O.H。Ibarra，《反向有界多计数器机器及其决策问题》，J.ACM 25（1978）116\u2013133。可从以下位置获得：.“，”DOI“：”10.1145\/322047.322058“}，{“key”：“10.1016\/j.ic.2009.07.001_bib10”，“DOI-asserted-by”：“crossref”，“unstructured”：“j.Karhum\u00e4ki，M.Kunc，A.Okhotin，《通勤计算》，Theor.Comput.Sci.356（1\u20132）（2006）200\u2013211。可从以下位置获得：.“，”DOI“：”10.1016\/j.tcs.2006.01.051“}，{“key”：“10.1016\/j.ic.2009.07.001_bib11”，“首页”：“1544”，“文章标题”：“关于某类后计算”，“卷”：“6”，“作者”：“Kratko”，“年份”：“1965”，“日志标题”：”苏维埃数学.Dokl.“}asserted-by“：”crossref“，”unstructured“：”M。Kunc，用有限组单词进行交换的力量，理论计算。系统。40（4）（2007）521\u2013551。可从以下位置获得：.”，“DOI”：“10.1007\/s00224-06-1321-z”}，｛“issue”：“4”，“key”：“10.1016\/j.ic.2009.07.001_bib13”，“首页”：“333”，“文章标题”：“语言的循环移位操作”，“卷”：“9”，“作者”：“Maslov”，“年份”：“1973”，“期刊标题”：“Probel.Inform.Transm”｝，｛“key”：“10.1016\/j.ic.2009.07.001_bib14”，“DOI断言者”：“cross”ref”，“非结构化”：“M.L。Minsky，Post\u2019标签问题的递归不可解性和图灵机器理论中的其他主题，Ann.Math。74（3）（1961）437\u2013455。可从以下位置获得：.“，”DOI“：”10.2307\/1970290“}，{“issue”：“4”，“key”：“10.1016\/j.ic.2009.07.001_bib15”，“first-page”：“119”，“article-title”：“循环移位操作下上下文无关语言家族的闭包属性”，“volume”：”55D“，”author“：”Oshiba“，”year“：”1972“，”journal-title“：”Trans.IECE“}”，{”key“：”10.1016\/j.ic.2009.07.001 _bib16“，”DOI-asserted-by“：”crossref”，“非结构化”：“J.-E.Pin，J.Sakarovitch，Une application de la repr \u00e9 sentation matriciele des transfductions，Theor。计算。科学。35（1985）271\u2013293。可从以下位置获得：.“，”DOI“：”10.1016\/0304-3975（85）90019-2“}，{”issue“：”2“，”key“：”101016\/j.ic.2009.07.001_bib17“，”DOI-asserted-by“：”crossref“，”first page“：“197”，“DOI”：“10.2307\/2371809”，“article-title”：“一般组合决策问题的形式约简”，“volume”：“65”，“author”：“Post”，“year”：“1943”，“journal-title“：“Am.j.数学”}，{“key”：“10.1016\/j.ic.2009.07.001_bib18“，”unstructured“：”j.Sakarovitch，Elements de th\u00e9orie des automates，Vuibert，2003.“}，{”key“：”10.1016\/j.ic.2009.07.001 _bib19“，”series-title“：”Formal Languages“，”author“：”Salomaa“，”year“1973”}]“container-title”：[“信息与计算”]，”original-title“：[]，”language“：”en“，”link“：[”{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0890540109001527？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0890540109001527？httpAccept1=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-epplication”：“text-mining”}]，”存放“：{“date-parts”：[2022,7,2]，“date-time“：”2022-07-02T21:59:16Z“，”timestamp“：1656799156000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0890540109001527”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部分”：[[2010,9]]}，《参考计数》：19，“日志发布”：}“发布”：“9”，“published-print”：{“date-parts”：[[2010,9]]}}，“alternative-id“：[”S0890540109001527“]，“URL”：“http://\/dx.doi.org\/10.1016\/j.ic.2009.07.001”，“关系”：{}，“ISSN”：[“0890-5401”]，“ISSN-type”：[{“值”：“0890-5 401”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[2010,9]]}}}}