{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,8,9]]，“日期-时间”：“2023-08-09T08:27:21Z”，“时间戳”：1691569641078}，“出版商位置”：“柏林，海德堡”，“参考-计数”：15，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540958901”，“类型”：“打印”}，{“值”：“9783540958918”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2009,1,1]]，“date-time”：“2009-01T00:00:00Z”，“timestamp”：1230768000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，{“tart”：“2009-01-01T00:00:00Z”，“时间戳”：123076800000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[2009]]}，”DOI“：”10.1007\/978-3-540-95891-8_57“，”type“：”book-chapter“，”created“：{”date-ports“：[2009,1,22]]，”日期时间“：“2009-01-22T06:19:21Z”，“时间戳”：1232605161000}，“页面”：“645-655”，“源”：“Crossref”，“is-referenced-by-count”：3，“标题”：[“与位置自动机计算相适应的正则算子新族”]，“前缀”：“10.1007”，”作者“：[{“given”：“Pascal”、“Family”：“Caron”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Champarnaud”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Ludovic”，“family”：“Mignot”，“序列”：“附加”，“从属”：[]}]，“member”：“297”，“reference”：[{“key”：”57_CR1“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：”publisher“，”首页“876”，“doi”：“10.1007\/978-3-540-28629-5_69“，”卷时间“：“2004年计算机科学的数学基础”，“作者”：“B.Bouchou”，“年份”：“2004”，“非结构化”：“Bouchou，B.，Duarte，D.，Halfeld Ferrari，M.，Laurent，D.，Musicante，M.-A.：xml的模式进化：一种保持一致性的方法。In:Fiala，J.，Koubek，V.，Kratochv\u00edl，J.（eds.）MFCS 2004。LNCS，第u00a03153卷，第876\u2013888页。Springer，Heidelberg（2004）“}，{”issue“：”1\u20132“，”key“：”57_CR2“，”doi-asserted-by“：”publisher“，”first page“：“75”，“doi”：“10.1016\/S0304-3975（97）00296-X”，“volume”：“233”，“author”：“P.Caron”，“year”：“2000”，“unstructured”：“Caron，P.，Ziadi，D.：Glushkov自动机的表征。理论。计算科学。\u00a020 33（1\u20132），75\u201390（2000）“，”新闻标题“：”理论。计算。科学。“}，{”issue“：”6“，”key“：”57_CR3“，”doi-asserted-by“：”publisher“，”first-page“：”707“，”doi“：”10.1142\/S0218196701000772“，”volume“：“11”，”author“：”J.-M.Champarnaud“，“year”：“2001”，“unstructured”：“Champarnoud，J.-M.，Ziadi，D.：从c-continuations到自动机合成的新二次算法。国际代数计算。\u00a011（6），707\u2013735（2001）”，“期刊标题”：“国际。J.代数计算。“}，{”key“：”57_CR4“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“312”，“doi”：“10.1007\/978-3-540-30500-2_31”，“volume-title”：“Automata的实现和应用”，“author”：“M.Delgado”，“year”：“2005”，“unstructured”：“”Delgado，M.，Morais，J.：给定正则语言的最小正则表达式的近似。收录：Domaratzki，M.，Okhotin，A.，Salomaa，K.，Yu，S.（编辑）CIAA 2004。LNCS，第u00a03317卷，第312\u2013314页。Springer，Heidelberg（2005）“}，{“问题”：“4”，“关键”：“57_CR5”，“首页”：“407”，“卷”：“10”，“作者”：“K.Ellul”，“年份”：“2005”，“非结构化”：“Ellul，K.，Krawetz，B.，Shallit，J.，Wang，M.：正则表达式：新结果和开放问题。自动化杂志，语言和组合数学\u00a010（4），407\u2013437（2005）”，“新闻标题”：“自动化杂志，语言与组合数学“}，{“issue”：“2”，“key”：“57_CR6”，“doi-asserted-by”：“publisher”，“first page”：”147“，“doi”：“10.1007\/BF02531491”，“volume”：《12》，“author”：“V.M.Glushkov”，“year”：“1960”，“unstructured”：“Glushkav，V.M.：关于抽象自动机的合成算法。Ukr.Matem.Zhurnal\u00a012（2），147\u2013 156（1960）（俄语）“，”新闻标题“：”Ukr。马特姆。Zhurnal“}，{”issue“：“4”，”key“：”57_CR7“，”first page“：“257”，“volume”：“34”，“author”：“C.Hagenah”，“year”：“2000”，“unstructured”：“Hagenah，C.，Muscholl，A.：在o（n log）时间内从正则表达式计算epsilon-free nfa。ITA\u00a034（4），257\u2013278（2000）“，“新闻标题”：“ITA”}，{“key”：“57_CR8”，“volume-title”：“自动机理论、语言和计算导论”，“author”：“J.E.Hopcroft”，“year”：“1979”，“unstructured”：“Hopcroff，J.E.，Ullman，J.D.：自动机理论，语言和计算简介。Addison-Wesley，Reading（1979）”}57_CR9“，”doi asserted by“：”publisher“，”first page“：”565“，”doi“：”10.1006\/jcss.2001.19748“，”volume“：”62“，”author“：”J.Hromkovic“，”year“：”2001“，”unstructured“：”Hromkovic，J.，Seibert，S.，Wilke，T.：将正则表达式转换为小型\u03b5自由非确定性有限自动机。J.计算。系统。科学。\u00a062（4），565\u2013588（2001）“，“新闻标题”：“计算杂志”。系统。科学。“}，{”issue“：”1“，”key“：”57_CR10“，”doi-asserted-by“：”publisher“，”first page“：“140”，”doi“：”10.1016\/S0890-5401（03）00090-7“，“volume”：“186”，“author”：“L.Ilie”，”year“：”2003“，”unstructured“：”Ilie，L.，Yu，S.：Follow automata.Inf.Comput.\u00a0186（1），140\u2013162（2003）“，”journal-title“：”Inf.Cumput.“}，{”键“：”57_CR11“，”首页“：”3“，”卷“：”34“，”作者“：”S.Kleene“，”year“：”1956“，”unstructured“：”Kleenes，S.：事件在神经网络和有限自动机中的表示。Automata Studies\u00a034，3\u201341（1956）“，”journal-title“：”Automata Studies“}，{”key“：”57_CR12“，”doi-asserted-by“：”publisher“，”first page“：“39”，”doi“：”10.1109“/TEC.1960.5221603”，“volume”：“9”，“author”：“R.F.McNaughton”，“year”：“1960”，“unstructured”：“McNaughton，R.F.，Yamada，H.：自动机的正则表达式和状态图。IEEE电子计算机学报\u00a09，39\u201357（1960）”，“期刊标题”：“IEEE电子计算学报”}，{“key”：“57_CR13”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”15“，“doi”：“10.1007\/11605157_2”，“volume-title”：”自动化的实现与应用“，“author”：“J。Sakarovitch，“年份”：“2006年”，“非结构化”：“Sakarovitch，J.：语言、表达式和（小）自动机。收录：Farr\u00e9，J.，Litovsky，I.，Schmitz，S.（编辑）CIAA 2005。LNCS，第u00a03845卷，第15\u201330页。Springer，Heidelberg（2006）“}，{”key“：”57_CR14“，”doi-asserted-by“：”publisher“，”first-page“：”41“，”doi“：”10.1007\/978-3642-59136-5_2“，”volume-title“：”形式语言、单词、语言、语法手册“，”author“：”S.Yu“，”year“：”1997“，”unstructured“：”Yu，S.：常规语言。In:Rozenberg，G.，Salomaa，A.（eds.）《形式语言手册》，《单词、语言、语法》，第u00a0I卷，第41\u2013110页。Springer，Berlin（1997）“}，{”issue“：”1&2“，”key“：”57_CR15“，”doi-asserted-by“：”publisher“，”first page“：“309”，“doi”：“10.1016\/0304-3975（96）00028-X”，“volume”：“163”，“author”：“D.Ziadi”，“year”：“1996”，“unstructured”：“Ziadi，D.：无空词语言的正则表达式。Theor.Comput.Sci\u00a0163（1&2），309 \u2013315（1996）“，”新闻标题“：”西奥。计算。Sci“}]，“container-title”：[“计算机科学讲义”，“SOFSEM 2009:计算机科学理论与实践”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-95891-8_57”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{date-parts“：[[2019,3,5]]，“date-time”：“2019-03-05T02:00:58Z”，“timestamp”：1551751258000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-95891-8_57”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2009]]}”，“ISBN”：[“9783540958901”，“9783540958918”]，“references-count”：15，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-540-95891-8_57“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2009】】}}}}