{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T12:49:47Z”，“时间戳”：1648990187875}，“发布者位置”：“查姆”，“引用计数”：17，“出版商”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319986531”，“类型”：”打印“}，{“值”：“9783319986548”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2018,1,1]]，“date-time”：“2018-01-01T00:00:00Z”，“timestamp”：1514764800000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}，{“start”：{“date-parts”：[2018,1,1]，“日期-时间”：“2018年1月1日T00:00:00Z“，”timestamp“：1514764800000}，”content-version“：“未指定”，“延迟天数”：0，“URL”：“http:\/\/wspringer.com\/tdm”}]，“内容域”：｛“域”：[“link.springer.com”]，“交叉标记限制”：false｝，“短容器标题”：[]，“已发布的印刷品”：｛“日期部分”：[[2018]]｝，“DOI”：“10.1007\/978-3-319-98654-8_40”，“类型”：“书籍章节”，“创建”：｛“日期部分”：[[2018,8,4]]，“日期时间”：“2018-08-04T23:43:57Z”，“时间戳”：1533426237000}，“页面”：“491-502”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：3，”title“：[”解析表达式语法的计算能力“]，”prefix“：”10.1007“，”author“：[{”given“：”Bruno“，”family“：”Loff“，”sequence：“first”，“affiliation”：[]}，{“given”：“Nelma”，“family”：“Moreira”，“sequence”：“additional”，“affiliation”：[]neneneep，{”given“：”Rog\u00e9rio“，”family“：”Reis“，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2018,8,5]]}；“reference”：[{“key”：”40_CR1“，”volume-title“：”解析、翻译和编译理论”，“作者”：“AV Aho”，“年份”：“1972年”，“非结构化”：“Aho，A.V.，Ullman，J.D.：解析、翻译和编译理论，第1卷。Prentice-Hall，Upper Saddle River（1972）“}，{“key”：“40_CR2”，“unstructured”：“Amarilli，A.，Jeanmougin，M.：通过下推自动机证明无上下文语言的泵入引理\n arXiv:1207.2819\n\n（2012）”}，}，“key“：”40_CR3“，”unstructure“：”Bar-Hillel，Y.，Perles，M.，Shamir，E.：关于简单短语结构语法的形式属性。收录：Bar-Hillel，Y.（编辑）《语言与信息：理论与应用论文选集》。逻辑系列，第116页\u2013150。Addison-Wesley（1964）“}，{“key”：“40_CR4”，“unstructured”：“Birman，A.：TMG识别模式。普林斯顿大学博士论文（1970）”}，“{”key“：”40_CR5“，”doi-asserted-by“：”crossref“，”unstructure“：“Birman，A.，Ullman，J.D.：带回溯的解析算法。摘自：第11届交换与自动机理论年度研讨会，第153\u2013174页。IEEE（1970）“，”DOI“：”10.1109\/SWAT.1970.18“}，{“key”：“40_CR6”，“unstructured”：“Ford，B.：packrat解析和解析表达式语法页。\n http://\/bford.info\/packrat\/”}，“{”key“：”40_CR7“，”DOI-asserted-by“：”crossref“，”unstructure“：”Ford，B.：Packrat解析：一种带回溯的实用线性时间算法。麻省理工学院（2002）“，”DOI“：”10.1145\/581478.581483“}，{“key”：“40_CR8”，“DOI-asserted-by”：“crossref”，“unstructured”：“Ford，B.：Packrat解析：简单、强大、惰性、线性时间、功能性珍珠。In:Wand，M.，Jones，S.L.P.（eds.）（ICFP 2002），pp.36\u201347。ACM（2002）“，”DOI“：”10.1145\/581478.581483“}，{“key”：“40_CR9”，“DOI-asserted-by”：“crossref”，“unstructured”：“Ford，B.：解析表达式语法：一个基于识别的语法基础。In:ACM SIGPLAN Notices，vol.39，pp.111\u2013122。ACM（2004）“，”DOI“：”10.1145\/964001.964011“}，{“key”：“40_CR10”，“unstructured”：“Garnock-Jones，T.，Eslamimehr，M.，Warth，A.：使用解析表达式语法的派生词识别和生成术语。CoRR abs \/1801.10490（2018）“}卷“：”2“，”author“：”SA Greibach“，”year“：”1973“，”unstructured“：”格雷巴赫，S.A.：最难的无上下文语言。SIAM J.计算。2（4），304\u2013310（1973）“，“新闻标题”：“SIAM J.Compute。“}，{”key“：”40_CR12“，”doi-asserted-by“：”publisher“，”first page“：“285”，”doi“：”10.1090\/S0002-9947-1965-0170805-7“，”volume“：‘117’，”author“：”J Hartmanis“，”year“：”1965“，”unstructured“：”Hartmanies，J.，Stearns，R.E.：关于算法的计算复杂性。Trans.Am.Math.Soc.117，285\u2013306（1965）“，”journal-title“：”Trans.Am。数学社会“}，{”key“：”40_CR13“，”doi asserted by“：”publisher“，”first page“：”61“，”doi“：”10.2977\/prims\/1195192738“，”volume“：”9“，”author“：”T Hayashi“，”year“：”1973“，”unstructured“：”Hayashi，T.：关于索引语法的派生树：uvwxy定理的扩展。出版物。研究机构数学。科学。京都大学9，61\u201392（1973）“，“新闻标题”：“Publ。研究机构数学。科学。京都大学“}，{”问题“：”1“，”关键“：”40_CR14“，”doi-asserted-by“：”出版商“，”首页“：”60“，”doi“：”10.1145\/568438.568455“，”卷“：”32“，”作者“：”JE Hopcroft“，”年份“：”2001“，”非结构化“：”霍普克罗夫特，J.E.，Motwani，R.，Ullman，J.D.：自动机理论、语言和计算导论。ACM SIGACT新闻32（1），60\u201365（2001））“，”journal-title“：”ACM SIGACT News“}，{”issue“：”2“，”key“：”40_CR15“，”doi-asserted-by“：”publisher“，”first page“：“398”，”doi“：”10.1137\/S00975397932485X“，”volume“：‘24’，”author“：”M Li“，‘year’：”1995“，”unstructured“：”Li，M.，Vit\u00e1nyi，P.：Kolmogorov复杂性对形式语言理论的一种新方法。SIAM J.Compute.24（2），398\u2013410（1995）“，”journal-title“：”SIAM J.计算机。“}，{”key“：”40_CR16“，”volume-title“：”计算理论导论“，”author“：”M Sipser“，”year“：”2012“，”unstructured“：”Sipser，M.：计算理论导言，第三版。Cengage Learning，Boston（2012）“，”edition“：”3“}“，{“issue”：“1”，“key”：“40_CR17”，“doi-asserted-by”：”publisher“，”first page“：“47”，“doi”：“10.1016\/0020-011”90（89）90108-7“，“volume”：“31”，“author”：“S Yu”，“year”：“1989”，“unstructured”：“Yu，S.：确定性上下文无关语言的泵引理。信息处理。莱特。31（1），47\u201351（1989）“，“日记标题”：“信息处理。莱特。“}]，”container-title“：[“语言理论的发展”，”计算机科学课堂讲稿“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3319-98654-8_40“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“deposed”：{”date-parts“：[2018,9,2]]，“”date-time“：”2018-09-02T23:20:06Z“，”timestamp“：1535930406000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3319-98654-8_40”}}，“副标题”：[]，“短标题”：[]，“已发布”:{“date-parts”：[2018年]}，‘ISBN’：[”9783319986531“，”97833986548“]，”references-count“：17，”URL“：”http://\/dx.doi.org\/10.1007\/978-3319-98654-8_40“，”关系“：{}，”ISSN“：[“0302-9743”，“1611-3349”]，”ISSN-type“：[{”value“：”0302-974“，”type“:”print“}，{”value“：”1611-3399“，”类型“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2018]}}}