{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,13]]，“日期时间”：“2023-09-13T21:17:04Z”，“时间戳”：1694639824350}，“出版商位置”：“柏林，海德堡”，“参考计数”：26，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”value“9783642146831”，“type”：“print”}，{“value”：“9783642146848”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2010]]}，”DOI“：”10.1007\/978-3642-14684-8_7“，”type“：”book-capter“，”created“：”{“date-part”：[2010,7,24]]，“date-time”：“2010-07-24T11:”52:18Z“，”时间戳“：1279972338000}，”页面“：”56-68“，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“Minimizing Weighted Tree Grammars Using Simulation”]，“prefix”：“10.1007”，”author“：[{”given“：”Andreas“，”family“：”Maletti“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“reference”：[{“key”：”7_CR1“，”volume-title“：”自然语言处理手册“，”年份：“2000”，“unstructured”：“Dale，R.，Moisl，H.，Somers，H.L.（eds.）：《自然语言处理手册》，CRC出版社，Boca Raton（2000）”}，{“key”：“7_CR2”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：《555》，“doi”：“10.1007\/3-540-45657-0_47”，“volume-title”：《计算机辅助验证》，“作者”：“P.A.Abdulla”，《年份》：“2002”，“非结构化”：“Abdulla，P.A.，Jonsson，B.，Mahata，P.，d\u2019Orso，J.：常规树模型检查。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，第u00a02404卷，第555\u2013568页。Springer，Heidelberg（2002）“}，{“key”：“7_CR3”，“series title”：“计算机科学讲义”，“doi断言者”：“出版商”，“首页”：“1”，“doi”：“10.1007\/978-3-540-30586-6_1”，“卷标题”：“计算语言学和智能文本处理”，“作者”：“K.Knight”，“年份”：“2005”，“非结构化”：“K.奈特、J.格雷尔：自然语言处理概率树变换器概述。收录人：Gelbukh，A.（编辑）CICLing 2005。LNCS，第u00a03406卷，第1\u201324页。Springer，Heidelberg（2005）“}，{“key”：“7_CR4”，“unstructured”：“Klarlund，N.，M\u00f8ller，A.：MONA 1.4版用户手册。BRICS，奥胡斯大学计算机科学系（2001）”}，}，“key“：”7_CR5“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”102“，“doi”：“10.1007\/118128_11”，“volume-title“：“Automata的实现和应用”，“author”：“J.May”，“year”：“2006”，“unstructured”：“May，J.，Knight，K.：Tiburon：加权树自动机工具包。收录：Ibarra，O.H.，Yen，H.-C.（编辑）CIAA 2006。LNCS，第u00a04094卷，第102\u2013113页。Springer，Heidelberg（2006）“}，{“key”：“7_CR6”，“unstructured”：“Cleophas，L.：Forest FIRE and FIRE wood:树自动机和树算法的工具。收录于：Proc.FSMNLP，pp.191\u2013198（2008）”}，“问题”：“2”，“key“：”7_CR7“doi-asserted-by”：“publisher”，“首页”：“115”，“doi”：“10.1016\/0304-975（82）90019-6”，“卷”：“18”，“作者”“：”J.Berstel“，”年份“：”1982年，“非结构化”：“Berstel，J.，Reutenauer，C.：树上可识别的形式幂级数。理论。计算。科学。\u00a018（2），115\u2013148（1982）“，“新闻标题”：“理论。计算。科学。“}，{”问题“：”2“，”键“：”7_CR8“，”首页“：”219“，”卷“：”8“，“作者”：”Z.\u00c9sik“，”年份“：”2003“，”非结构化“：”\u00c 9sik，Z.，Kuich，W.：形式树系列。J.Autom.Lang.Combin.\u00 a08（2），219\u2013285（2003）“，”日志标题“J.Autom.Lang.Combin.”}，”{“键”：“7_C”R9“，“非结构化”：”Borchart，B.：可识别树系列理论。博士论文，德累斯顿理工大学（2005）“}，{”key“：”7_CR10“，”first page“：“189”，”volume-title“：”An n logn algorithm for minimization states in a finited automaton.Theory of Machines and Computations“，”author“：”J.E.Hopcroft“，”year“：”1971“，”unstructured“：”Hopcroft，J.E.：有限自动机中最小化状态的n logn算法。《机器与计算理论》，第189\u2013196页。学术出版社，伦敦（1971）“}，{”key“：”7_CR11“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“109”，“doi”：“10.1007\/978-3-540-76336-9_12”，“volume-title”：“Automata的实现与应用”，“author”：“J.H\u00f6gberg”，”year“：”2007“，”unstructured“：”H\u00f6gberg，J.，Maletti，A.，May，J.：树自动机的向后和向前互模拟最小化。收录：Holub，J.，\u017d\u010f\u00e1rek，J.（编辑）CIAA 2007。LNCS，卷\u00a04783，第109\u2013121页。Springer，Heidelberg（2007）“}，{”issue“：”11“，”key“：”7_CR12“，”doi-asserted-by“：”publisher“，”first page“：“1284”，”doi“：”10.1016\/j.ic.2009.01.004“，”volume“：）“，”日志标题“：”通知。和计算。“}，{”key“：”7_CR13“，”first-page“：”125“，”volume-title“：”Proc.FOCS“，”author“：”A.R.Meyer“，”year“：”1972“，”unstructured“：”Meyer，A.R.，Stockmeyer，L.J.：带平方的正则表达式的等价问题需要指数空间。In:Proc.FOCS125\u2013129页。IEEE Computer Society，Los Alamitos（1972）“}，{”issue“：“6”，”key“：“7_CR14”，”doi-asserted-by“：”publisher“，”first page“：”908“，”doi“：”10.1016\/j.jcss.2006.11.002“，”volume“：a073（6），908\u2013923（2007）”，“期刊标题”：“J.Comput。系统科学。“}，{”key“：”7_CR15“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“205”，”doi“：”10.1007\/978-3-540-73208-221“，”volume-title“：“语言理论的发展”，”author“：”H.Gruber“，”year“：”2007“，”unstructured“：”Gruber，H.，Holzer，M.：假设P\u2009\u2260\u2009NP，不确定性状态和转移复杂性的不近似性。收录：Harju，T.，Karhum\u00e4ki，J.，Lepist\u00f6，A.（编辑）DLT 2007。LNCS，卷\u00a04588，第205\u2013216页。Springer，Heidelberg（2007）“}，{“问题”：“4”，“密钥”：“7_CR16”，“发布者断言的doi”，“第一页”：“699”，“doi”：“10.1142\/S0129054107004929”，“卷”：“18”，“作者”：“P.A.Abdulla”，“年份”：“2007”，“非结构化”：“Abdulla，P.A.，H\u00f6gberg，J.，Kaati，L.：树自动机的双模拟最小化。Int.J.Found.Comput.Sci.\u00a018（4），699\u2013713（2007）“，”期刊标题“：”国际期刊发现。计算。科学。“}，{”key“：”7_CR17“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“93”，“doi”：“10.1007\/978-3-540-78800-3_8”，“volume-title”：“系统构建和分析的工具和算法”，“author”：“P.A.Abdulla”，“year”：“2008”，“unstructured”：“Abdulla，P.A.、Bouajjani，A.、Hol\u00edk，L.、Kaati，L.和Vojnar，T.：树自动机上的计算模拟。收录：Ramakrishnan，C.R.，Rehof，J.（编辑）TACAS 2008。LNCS，第u00a04963卷，第93\u2013108页。Springer，Heidelberg（2008）“}，{”key“：”7_CR18“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：“288”，”doi“：”10.1007\/978-3642-03564-7_19“，”volume-title“：“CAI 2009”，”author“：”A.Maletti“，”year“：”2009“，”unstructured“：”Maletti，A.：加权树自动机的向后和向前模拟。收录于：Bozapalidis，S.，Rahonis，G.（编辑）CAI 2009。LNCS，第00a05725卷，第288页\u2013304。Springer，Heidelberg（2009）“}，{”issue“：”1-2“，”key“：”7_CR19“，”doi-asserted-by“：”publisher“，”first page“：“211”，”doi“：”10.1016\/0304-3975（83）90100-7“，“volume”：“27”，“author”：“S.Bozapalidis”，“year”：“1983”，“unstructured”：“Bozapailidis，S.，Louscou-Bozapalidou，O.：正规树幂级数的秩。理论。计算科学u00a027（1-2），211\u2013215（1983）“，“新闻标题”：“理论。计算。科学。“}，{”issue“：”4“，”key“：”7_CR20“，”doi-asserted-by“：”publisher“，”first-page“：”351“，”doi“：”10.1007\/BF01893886“，”volume“：“28”，“author”：“S.Bozapalidis”，“year”：“1991”，“unstructured”：“Bozapailidis，S.：树上可识别序列的语法代数的有效构造。Acta Inform.\u00a028（4），351\u2013363（1991）”，“journ al标题“：”Acta Inform公司。“}，{”key“：”7_CR21“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“229”，”doi“：”10.1007\/978-3-540-73208-223“，”volume-title“：“语言理论的发展”，”author“：”J.H\u00f6gberg“，“年份”：“2007”，”unstructured“：”H\u00f6gberg，J.，Maletti，A.，May，J.：加权树自动机的互模拟最小化。收录：Harju，T.，Karhum\u00e4ki，J.，Lepist\u00f6，A.（编辑）DLT 2007。LNCS，第u00a04588卷，第229\u2013241页。Springer，Heidelberg（2007）“}，{“key”：“7_CR22”，“doi-asserted-by”：“crossref”，“unstructured”：“Huang，L.，Chiang，D.：Better k-best parsing.In:Proc.IWPT，pp.53\u201364（2005）”，“doi”：“10.3115\/1654494.1654500”}，}“issue”：“1”，“key“：”7_CR23”，“doi-assertd-by”：“publisher”，”，“first page“：“1 0020-0190（87）90190-6“，“卷”：“24”，“作者”：“A。Alexandrakis，“年份”：“1987年”，“非结构化”：“Alexandraskis，A.，Bozapalidis，S.：加权文法和Kleene\u2019s定理。信息处理信件\u00a024（1），1\u20134（1987）“，”journal-title“：”Information Processing Letters“}，{”issue“：”1“，”key“：”7_CR24“，”doi-asserted-by“：”publisher“，”first page“：“1”，“doi”：“10.1007\/s002240000110”，“volume”：“32”，“author”：“S.Bozapalidis”，“year”：“1999”，“unstructured”：“”Bozapalidis，S.：加性代数中的等式元素。理论计算。Systems\u00a032（1），1\u201333（1999）“，“期刊标题”：“理论计算”。Systems“}，{”issue“：”3“，”key“：”7_CR25“，”first page“：“417”，“volume”：“8”，“author”：“B.Borchartt”，“year”：“2003”，“unstructured”：“Borchart，B.，Vogler，H.：有限状态加权树自动机的确定。J.Autom.Lang.Combina.\u00a08（3），417\u2013463“，”doi-asserted-by“：”crossref“，”unstructured“：”Abdulla，P.A.，Hol\u00edk，L.，Kaati，L.和Vojnar，T.：一种基于统一（双）仿真的树自动机简化框架。In：程序。MEMICS，pp.3\u201311（2008）“，”DOI“：”10.1016\/j.entcs.2009.08.026“}]，”container-title“：[”计算机科学讲义“，”Finite-State方法和自然语言处理“]，”original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10007\/978-3642-14684-8_7.pdf”，“content-type”：“unspecified”，“content-version”：“vor”“，”intended-application“：”相似性检查“}]，”存放“：{”日期部分“：[[2021,11,1]]，”日期时间“：”2021-11-01T10:25:58Z“，”时间戳“：1635762358000}，”分数“：1，”资源“：{“primary”：{“URL”：“http://\link.sprimary.com\/10007\/978-3642-14684-8_7”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2010]]}，“ISBN”：[“9783642146831”，“9783642146848“]，”references-count“：26，”URL“：”http://\/dx.doi.org\/10.1007\/978-3642-14684-8_7“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”电子“}]，”subject“：[]，”published“：{”日期部分“：[[2010]]}}}