｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2023,9,4]]，“date-time”：“2023-09-04T22:35:05Z”，“timestamp”：1693866905460｝，“reference count”：18，“publisher”：“Association for Computing Machinery（ACM）”，“issue”：“12”，“content domain”：｛“domain”：[“dl.ACM.org”]，“crosmark restriction”：true｝，“short-container-title”：[“Commun.ACM”]，“published-print”：{“date-parts”：[[1975,12]]}，“abstract”：“属性文法是Knuth设计的无上下文文法的扩展，它是一种将无上下文语言的语义与语言的语法结合在一起的机制。语法的循环性问题是要确定实际上所有可能的句子（程序）的语义是否都会得到很好的定义。事实证明，这个问题通常在计算上很难解决。具体地说，它表明，任何解决这个问题的确定性算法在无限多的情况下都必须使用指数量的时间。给出了Knuth圆度测试算法的改进版本，实际解决了指数时间内的问题<\/jats:p>“，”DOI“：”10.1145\/361227.361231“，”type“：”journal-article“，”created“：{”date-parts“：[2002,7,27]]，”date-time“：”2002-07-27T11:34:59Z“，”timestamp“：10277699000}，”page“：“：79，”标题“：[”属性文法“]”、“前缀”：“10.1145”、“卷”：“18”、“作者”：[{“given”：“Mehdi”、“family”：“Jazayeri”、“sequence”：“first”、“affiliation”：[}“name”：“Univ.of North Carolina，Chapel Hill”}]}，{“fixed”：“William F.”，“families”：“Ogden”，“sequences”：“additional”，“affidiation”：“[{”name“：”Case Western Reserve Univ.，Cleveland，OH“}]}，{“given”：“William C.”，“family”：“Rounds”，“sequence”：“additional”，“affiliation”：[{“name”：“Univ.of Michigan，Ann Arbor”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[1975,12]}，“reference”：[}“key”：”e_1_1_2_1_2“volume-title”：“The Design and Analysis of Computer Algorithms”，”author“Aho A.V.“，”年份”：“1974年”，“非结构化”：“Aho，A.V.，Hopcroft，J.和Ullman，J.D。计算机算法的设计与分析。Addison-Wesley，马萨诸塞州雷丁。，1974 . Aho，A.V.、Hopcroft，J.和Ullman，J.D.《计算机算法的设计与分析》。Addison Wesley，Reading，Mass.，1974.“}，{“key”：“e_1_2_1_2_2”，“volume title”：“Iiol.1”，“author”：“Aho A.V.”，“year”：“1972”，“nonstructured”：“Aho，A.V.和U Uman，J.D.解析、翻译和编译理论，Iiol.1.普伦蒂斯·霍尔，新泽西州恩格尔伍德悬崖，1972年。Aho，A.V.和UUman，J.D。解析、翻译和编译理论。1.Prentice-Hall，Englewood Cliffs，N.J.，1972。“}，{”key“：”e_1_1_3_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0019-9958（71）90706-6“}”，{“key”：“e_1_i_1_4_2”，“doi-assert-by”：“publisher”，“doi”：“10.1145\/3599997.359999”}，”{“密钥”：“e1_2_1_5_2”，”doi-asserted-by“”：”publicher“，”doi“：”10.1145\/321623.321625“}，{”key“：”e_1_2_1_6_2“，”volume-title“：”PL360的声明性语义定义。UCLA-ENG-7289“，“author”：“Dreisbach T.W.”，“year”：“1972年”，“unstructured”：“dreisbache，T.W.PL360的声明性语义定义。UCLA-ENG-7289，计算机语言组，计算机科学。加州大学洛杉矶分校，1972年。Dreisbach，T.W.PL360的声明性语义定义。UCLA-ENG-7289，计算机语言组，计算机科学。Dep.，UCLA，1972。“}，{”key“：”e_1_2_1_7_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/512976.512983“}”，{“key”：“e_1_i_1_8_2”，“volume-title”：“形式语言及其与自动机的关系”，“author”：“Hopcroft J.”，“year”：“1969”，“unstructured”：“霍普克罗夫特，J.和乌尔曼，J.D。形式语言及其与自动机的关系。Addison-Wesley，马萨诸塞州雷丁。1969 . Hopcroft，J.和Ullman，J.D.形式语言及其与自动机的关系。Addison-Wesley，Reading，Mass.1969。“}，{“key”：“e_1_2_1_9_2”，“volume-title”：“Case Western Reserve U.”，“author”：“Jazayeri M.”，“year”：“1974”，“unstructured”：“Jazayeri，M.关于编程语言的属性语法和语义规范。Th.博士，Case Westrn Reservate U.，1974。（Jennings计算中心代表1159）。Jazayeri，M。关于属性语法和编程语言的语义规范。凯斯西储大学博士，1974年。（詹宁斯计算中心代表1159）。“}，{”key“：”e_1_1_10_2“，”series-title“：”数学课堂讲稿“，”volume-title“：“算法语言语义研讨会”，”author“：”Knuth D.e.“，”year“：”1971“，”unstructured“：”Knuth，D.e。形式语义的示例。算法语言语义研讨会，数学课堂讲稿，第188卷，施普林格-弗拉格，纽约，1971年。Knuth，D.E.形式语义学示例。算法语言语义研讨会，数学讲义，第188卷，Springer Verlag，纽约，1971年10.1016\/S0022-0000（69）80017-6“}，{“key”：“e_1_2_1_14_2”，“volume-title”：“MIT”，“author”：“Meyer A.R.”，“year”：“1972”，“unstructured”：“Mayer，A.R.弱一元二阶后继理论不是初等递归的。Project MAC Rep.，MIT，1972。Meyer，A.R。后继弱一元二阶理论不是初等递归的。项目MAC代表，麻省理工学院，1972年。“}，{”key“：”e_1_2_1_15_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/800182.810373“}”，{“key”：“e_1_i_16_2”，“volume-title”：“REQUEST系统中的语义解释。IBM Res.Rep.RC”，“author”：“Petrick S.R.”，“year”：“1973”，“unstructured”：“彼得里克，S.R.在请求系统中的语义学解释。IBM Res.Rep。RC 44571973年7月。Petrick，S.R.REQUEST系统中的语义解释。IBM Res.Rep.RC 44571973年7月。“}，{”key“：”e_1_2_1_17_2“，”volume-title“：”Computer Sci.Dep.“，”author“：”Wilner W.T.“，”year“：”1971“，“unstructured”：“Wilner，W.T..Declarative semantic definition。Rep.STAN-CS-233-71，Computer Sci.Dep.，Stanford U.，1971。STAN-CS-233-71，计算机科学。Dep.，Stanford U.，1971.“}，{”key“：”e_1_2_1_18_2“，”volume-title“：”Courant Computer Science Symposium 2，R.Rustin（Ed.），Prentice-Hall，Englewood Cliffs，N.J.“，”author“：”Wilner W.T.“，“year”：“1972”，“unstructured”：“Wilner，W.T..”。使用合成和继承属性的形式化语义定义。《编程语言的形式语义》，Courant Computer Science Symposium 2，R.Rustin（Ed.），Prentice-Hall，Englewood Cliffs，N.J.，1972年。Wilner，W.T.。使用合成和继承属性的形式语义定义。《编程语言的形式语义》，Courant Computer Science Symposium 2，R.Rustin（Ed.），Prentice-Hall，Englewood Cliffs，N.J.，1972年。“}]，“container-title”：[“ACM的通信”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/361227.361231”，“content-type”：“unspecified”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,1,2]]，”date-time“：”2023-01-02T08:15:00Z“，”timestamp“：1672647300000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\\/dl.acm.org\/doi\/10.1145\/361227.361231”}}，“subtitle”：[]，“shorttitle”：[]，“发布“：{“date-parts”：[[1975,12]]}，”references-count“：18，”journal-issue“：{”issue“：“12”，“published-print”：{“date-parts”：[[1975,12]]}}，“alternative-id”：[“10.1145\/361227.361231”]，“URL”：“http://\/dx.doi.org\/10.1145\/36122.361231“，”relation“：{}，”ISSN“：[”0001-0782“，”1557-7317“]，”ISSN-type“：[{”value“0001-0782]”，“type”：“打印”}，{“值”：“1557-7317”，“类型”：“电子”}]，“主题”：[]，“已发布”：｛“日期部分”：[[1975,12]]｝，“断言”：[｛“值”：“1975-12-01”，“顺序”：2，“名称”：“已发布”，“标签”：“已发布”，“组”：｛“名称”：“publication_history”，“标签”：“出版历史”｝｝]｝