{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T16:07:06Z”，“时间戳”：1725466026645}，“出版商位置”：“柏林，海德堡”，“参考计数”：24，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 637462“}，{”类型“：“electronic”，“value”：“9783540696407”}]，“license”：[{“start”：{“date-parts”：[[1997,1,1]]，“date-time”：“1997-01-01T00:00:00Z”，“timestamp”：852076800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\//www.springernature.com/gp\researters\/text-and-data-mining”}，{“start”：[1997,1,1]]，“日期时间”：“1997-01-01T00:00:00Z”，“timestamp”：852076800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springernature.com//gp\/researters\/text-and-data-mining”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[1997]]}”，“DOI”：“10.1007\/bfb0052082“，”type“：”book-chapter“，“created”：{“date-parts”：[[2006,6,7]]，“date-time”：“2006-06-07T01:02:10Z”，“timestamp”：1149642130000}，“page”：“135-142”，“update-policy”：”http:\\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：1，“title”：[“On twist-closed trios:A new formic characterization of r.e.sets”]，“prefix”：“创建”10.1007“，”作者“：[{“given”：“Matthias”，“family”：“Jantzen”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2006,5,16]]}，“reference”：[{“key”：“：”B.S.Baker“，“年份”：“1974年”，“非结构化”：“B.S.贝克和R.V。书。反向有界多点按下机器，J.Compute。系统。科学。，8（1974）315\u2013332.”，“期刊标题”：“计算机学报”。系统。科学。“}，{”volume-title“：”转义和无上下文语言“，”year“：”1980“，”author“：”J.Berstel“，”key“：”11_CR2“，”unstructured“：”J·Berstel，Transductions and Context-free Languages，Teubner Stuttgart（1980）“，{“key”：“11_CR3”，“doi-asserted-by”：“publisher”，“first page”：”97“，”doi“：”10.1007\/BF01705890“，”volume“：“19”，“author”“：”R.V.Book“，”年份“：”1970年”，“非结构化”：“R.V.Book和S.Greibach。准实时语言，数学。系统。理论19（1970）97\u2013111.”，“新闻标题”：“数学。系统。理论“}，{”key“：”11_CR4“，”doi-asserted-by“：”crossref“，”first page“：“369”，“doi”：“10.1051\/ita\/1978120403691”，“volume”：“19”，“author”：“R.V.Book”，“year”：“1978”，“unstructured”：“R.Book and S.Greibach.SemiAFL上某些操作的独立性，RAIRO Informatique Th\u00e9orique，19（1978）369\u2013385.”，“journal-title”：“”RAIRO Informatique Th\u00e9orique“}，{“key”：“11_CR5”，“doi-asserted-by”：“publisher”，“first page”：”256“，“doi”：“10.1016\/0022-0000（79）90004-7”，“volume”：：“19”，“author”：“R.V.Book”，“year”：“1979”，“unstructured”：“R·V Book，S.Greibach，C.Wrathall.Reset machines，J.Computer.Syst.Sci.，19（1979）256\u2013276.”，“日志标题：“J.计算系统科学”}，{key“：”11_CR6“，”doi-asserted-by“：”publisher“，”first-page“：”283“，”doi“：”10.1137\/0203023“，“volume”：“3”，“author”：“R.V.Book”，“year”：“1974”，“unstructured”：“R·V·Book，M.Nivat，and M.Paterson。线性语言的可逆接受器和交集，《暹罗计算机杂志》，3（1974）283\u2013295.“，”期刊标题“：”暹罗计算机期刊“}，{“key”：“11_CR7”，“doi-asserted-by”：“publisher”，“first page”：”183“，”doi“：”10.1016\/0304-3975（87）90103-4“，”卷“：”55“，”作者“F.J.Brandenburg”，年：“1987”，“非结构化”：“F.J.Brandenburg”。同态等式运算和广义等式集对语言族的表示，《理论计算机科学》，55（1987）183\u2013263。Brandenburg”，“年份”：“1988年”，“非结构化”：“F.J.Brandenburg.关于堆栈和队列的交叉，理论计算机科学，58（1988）69\u201380。”，“期刊标题”：“理论计算机科学”}，{“键”：“11_CR9”，“doi-asserted-by”：“出版商”，“首页”：“345”，“doi”：“10.1145\/322123.322136”，《卷》：“26”，“作者”：“K.Culik”，“年”：“1979年”非结构化“：”K.Culik。递归可枚举集的一个纯同态刻画，J.ACM 26（1979）345\u2013350.“，”journal-title“：”J.ACM“}，{“key”：“11_CR10”，“doi-asserted-by”：“publisher”，“first-page”：“20”，“doi”：“10.1016\/S0019-9958（79）90082-2”，“volume”：”43“author”：“J.Engelfriet”，“year”：“1979”，“unstructured”：“J Engelfiet and G.Rozenberg。平等语言和定点语言，《信息与控制》，43（1979）20\u201349.“，”期刊标题“：”信息与控制“}，｛”键“：”11_CR11“，”首页“：”144“，”卷“：”60“，”作者“：”J.Engelfriet“，”年份“：”1996“，”非结构化“：”J.Engelfriet.反向双洗牌，EATCS公告，第60卷（1996）144.“，”期刊标题“：”EATCS公告“}，{“volume-title”：“形式语言的代数和自动机理论属性”，“year”：“1975”，“author”：“S.Ginsburg”，“key”：“11_CR12”，“unstructured”：“S.Gins堡，形式语言的代数学和自动机定理属性，荷兰北部出版社阿姆斯特丹（1975）。”}，}“key“：”11_CR13“doi-asserted-by”：“publisher”第一页“：”201“，”DOI“：”10.1016\/S0019-9958（73）90274-X“，”卷“：”22“，”作者“：”S.Ginsburg“，”年份“：”1973“，”非结构化“：”S.Gins堡和J.Goldstein。交集闭全AFL和递归可枚举语言，《信息与控制》，22（1973）201\u2013231.“，”journal-title“：”Information and Control“}，{”key“：”11_CR14“，”doi-asserted-by“：”crossref“，”first page“：“308”，“doi”：“10.1016\/S0022-0000（70）80016-2”，“volume”：“4”，“author”：“S.Ginsburg”，“year”：“1970”，“unstructured”：“S。Ginsburg和S.Greibach，AFL负责人，J.Compute。系统。科学。，4（1970）308\u2013338.”，“新闻标题”：“J.Compute。系统。科学。“｝，｛”key“：”11_CR15“，”doi asserted by“：”publisher“，”first page“：”311“，”doi“：”10.1016\/00304-3975（78）90020-8“，”volume“：”7“，”author“：”S.Greibach“，”year“：”1978“，”非结构化“：”S.Greibach。关于盲和部分盲单向多计数器的注释，理论计算机科学，7（1978）311\u2013236。“，”期刊标题“：”理论计算机科学“}，{“key”：“11_CR16”，“unstructured”：“J.E.Hopcroft和J.D.Ullman，《自动机理论、语言和计算导论》，Addison-Wesley Publ.Comp.（1997）。”}，“{”key“：”11_CR17“，“doi-asserted-by”：“crossref”，“first-page”：“19”，“doi”：“10.1051\/ita\/1979130100191”，“volume”:“13”，“author”：“M.Jantzen”，“year”：“1979”“，”非结构化“：”M.Jantzen。在Petri网语言的层次结构上，R.A.I.R.O.，Informatique Th\u00e9orique，13（1979）19\u201330.“，”journal-title“：”Informationque Th\ u00e9 orique“}，{“key”：“11_CR18”，“doi-asserted-by”：“crossref”，“first-page”：“245”，“doi”：“10.1007\/978-3642-72-8_17”，“volume-title”：“Concurrency and Nets”，“author”：“M.Jantzen”，“year”：“1987年”，“非结构化”：“M。Jantzen和H.Petersen。Petri网语言与无上下文集的单边约简，见：（K Voss，H.Genrich，and G.Rozenberg，eds.）Concurrency and Nets，Springer，Berlin，Heidelberg，New York（1987）245\u2013252.“}，{”key“：”11_CR19“，”unstructured“：”M.Jantzen and H。彼得森。扭曲Petri网语言，以及如何通过减少线性无上下文集来获得它们，in：Proc。第12届国际米兰。Conf.on Petri Nets，Gjern（1991）228\u2013236.“｝，｛”key“：”11_CR20“，”doi断言“：”publisher“，”首页“：”149“，”doi“：”10.1016\/00304-3975（94）90104-X“，”volume“：”127“，”author“：”M.Jantzen“，”year“：”1994“，”nonstructured“：”M.Jantzen and H。彼得森。无语境语言中的取消：通过减少来丰富。理论计算机科学，127（1994）149\u2013170.“，”杂志标题“：”理论计算机科学“}，{“key”：“11_CR21”，“doi-asserted-by”：“crossref”，“unstructured”：“S.R.Kosaraju.向量加法系统可达性的判定，第14届美国计算机学会计算机理论研讨会，旧金山，（1982）267\u2013281.”，“doi”：“10.1145\/800070.802201“}，{“key”：“11_CR22”，“doi-asserted-by”：“publisher”，“first page”：”441“，“doi”：“10.1137\/0213029”，“volume”：：“13”，“author”：“E.W.Mayr”，“year”：“1984”，“unstructured”：“E.W.Mayer.一般Petri网可达性问题的算法，SIAM计算杂志，13（1984）441\u2013459.”，“journal title”：“SIAM计算期刊”}，}“密钥”：“11_CR23“，”首页“：”127“，”卷“：”4“，”作者“：”A.Salomaa“，“年份”：“1978”，“非结构化”：“A.Salomama”。同态和自由幺半群的等式集，《控制论学报》4（1978）127\u2013139container-title“：[“计算机科学课堂讲稿”，“计算机科学基础”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/BFb0052082”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,2,17]]，“date-time“：”2023-02-17T18:18:14Z“，”timestamp“：1676657894000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/link.springer.com\/10.1007\/BFb0052082”}}，“副标题”：[]，“短标题”：[]，“已发布”:{“date-parts”：[[1997]]}、“ISBN”：[“9783540637462”，“97835407”]，“references-count”：24，“URL”：“http://\/dx.doi.org\/10.1007\/BFb0052082”，“关系”：{}，“ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”电子“，”值“：”1611-349“}]，”主题“：[]，”发布“：{”日期部分“：[[1997]]}，”断言“：[[{“value”：“2006年5月16日”，“订单”：1，“名称”：“first_online”，“标签”：“first online”，”组“：”{“name”：“章节历史记录”，“标签”：“章节历史”}}]}}