{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,7]]，“日期-时间”：“2024-04-07T02:52:56Z”，“时间戳”：1712458376564}，“参考-计数”：17，“出版商”：“Springer Science and Business Media LLC”，“问题”：“3”，“许可证”：[{“开始”：“日期-零件”：[[1970,9,1]]，”日期-时间“：”1970-09-01T00:00:00Z“，“timestamp”：20995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Systems Theory“]，”published-print“：{”date-parts“：[[1970,9]}”，“DOI”：“10.1007\/bf01695769”，“type”：“journal-article”，“created”：{“date-parts”：[2005,5,15]]，“日期-时间”：“2005-05-15T06:08:48Z”，“时间戳”：1116137328000}，“页面”：“257-287”，“源”：“交叉引用”，“is-referenced-by-count”：233，“标题”：[“树上的映射和语法”]，“前缀”：“10.1007”，“卷”：“4”，“作者”：[{“给定”：“William C.”，“家族”：“圆”，“序列”：“第一”，“从属关系”：[]}]，“成员“：”297“，”引用“：[{”键“：“BF01695769_CR1”，“doi-asserted-by”：“crossref”，《第一页》：“647”，“doi”：“10.1145\/321479.321488”，“volume”：“15”，“author”：“A.V.Aho”，”year“：”1968“，”unstructured“：”A.V.Asho，Indexed grammars\u2014无上下文语法的扩展，J.Assoc.Comput.Mach.15（1968），647\u2013671.“，”journal-title“：”J.Assoc.Compul.Mach。“}，{”键“：“BF01695769_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“A.V.Aho and J.D.Ullman，《语法导向翻译图式的自动机类比》，第九届IEEE Ann.Symp.on Switching and Automata Theory，1968年10月。”，“doi”：“10.1109\/SWAT.1968.5”}，{“key”：“BF0695769_CR3”，“doi-asserted-by”:“crossrref”，”，“非结构化”：“A.V.Aho and J.D。乌尔曼，《无语境语法的翻译》，Proc。关联计算。机器。交响乐团。关于计算理论，1969年5月。“，”DOI“：”10.1145\/800169.805425“}，{”key“：”BF01695769_CR4“，”DOI-asserted-by“：”crossref“，”first page“：“331”，“DOI”：“10.1016\/S0019-9958（68）90374-4”，“volume”：“12”，“author”：“M.A.Arbib”，“year”：“1968”，“unstructured”：“M.A。Arbib和Y。Give'on，代数自动机I:并行编程作为范畴方法的序言，《信息与控制》12（1968），331\u2013345.“，“日志标题”：“信息与控制”}，{“键”：“BF01695769_CR5”，“doi-asserted-by”：“crossref”，“首页”：“484”，“doi”：“10.1016\/S0019-9958（68）90917-0”，“卷”：“13”，“作者”：“W.S.Brainerd”，“年份”：“1968年”，“非结构化”：“W.S.Brainerd，树自动机的最小化，信息与控制13（1968），484\u2013491.”，“日志标题”：“信息与控制”}，{“键”：“BF01695769_CR6”，“doi-asserted-by”：“crossref”，“首页”：“217”，“doi”：“10.1016\/S0019-9958（69）90065-5”，“卷”：“14”，“作者”：“W.S.Brainerd”，“年份”：“1969”，“无结构化”：“W。S.Brainerd，Tree generating regular systems，Information and Control 14（1969），217\u2013231.“，“journal-title”：“Information and Control.”}，{“key”：“BF01695769_CR7”，“volume-title“：“Aspects of the Theory of Syntax”，“author”：“N.Chomsky”，“year”：“1965”，“unstructured”：“N.Chom斯基，Aspectes of the Theore of Synt，M.I.T.Press，Cambridge，Mass.，1965.”}key“：”BF01695769_CR8“，”unstructured“：”J.E.Doner，Tree acceptors and some of their applications，System Development Corp.，Scientific Report No.8（1967）。“}，{”key“：”BF01695769_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”M.J.Fischer，类似宏生成的语法，第九届IEEE交换与自动机理论研讨会，1968年10月。卷“：”4“，”author“：”E.T.Irons“，”year“：”1961“，”unstructured“：”E.T.Irons，ALGOL 60的一个语法定向编译器，Comm.ACM 4（1961），51\u201355.“，”journal-title“：”Comm.ACM“}，{“key”：“BF01695769_CR11”，”doi-asserted-by“：”crossref“，”first page“：”465“，”doi“：”10.1145\/321466.321477“，”volume“：“15”，“author”：“P.M.Lewis”，“年份”：“1968年”，“非结构化”：“下午。刘易斯和R。E.Stearns，句法定向转导，J.Assoc.Compute。机器。15（1968），465\u2013488.“，“新闻标题”：“J.Assoc.Compute。机器。“}，{”key“：”BF01695769_CR12“，”doi-asserted-by“：”crossref“，”first page“：“3”，”doi“：”10.1016\/S0019-9958（67）90353-1“，“volume”：“11”，“author”：“J.Mezei”，“year”：“1967”，“unstructured”：“J·Mezei and J.B.Wright，代数自动机和无上下文集，信息与控制11（1967），3\u201329.”，“journal-title”：“信息与控制”}，{“密钥”：“BF01695769_CR13“，”doi asserted by“：”crossref“，”非结构化“：”M.O.Rabin，自动机数学理论，计算机科学的数学方面，Proc。专题讨论会应用。数学。，十九、 173\u2013175，美国数学学会，普罗维登斯，R.I.，1967年。“，”DOI“：”10.1090\/psapm\/019\/0239886“}，{”key“：”BF01695769_CR14“，”unstructured“：”W.C.Rounds，Trees，transformers，and transformations，Dissertation，Stanford University，August，196810.1016\/S0022-0000（67）80022-9“，“volume”：“1”，“author”：“J.W.Thatcher”，“year”：“1967”，“unstructured”：“J W.Thitcher，通过有限自动机理论的推广刻画上下文无关文法的派生树，J.Compute。系统科学。1（1967），317\u2013322.”，“期刊标题”：“J.Comput。系统科学。“}，{”key“：”BF01695769_CR16“，”doi-asserted-by“：”crossref“，”unstructured“：”J.W.Thatcher，从广义有限自动机理论角度的变换和翻译，Proc.Assoc.Compute.Mach.Conference on theory of Computing，May，1969。“，”doi“：”10.1145\/800169.805427“}”，{第一页“：”57“，”DOI“：”10.1007“，”volume“：”2“，”author“：”J.W.Thatcher“，”year“：”1968“，”unstructured“：”J W.Thitcher and J。B.Wright，广义有限自动机理论及其在二阶逻辑决策问题中的应用，数学。系统理论2（1968），57\u201381。”，“新闻标题”：“数学。系统理论“}]，“容器-时间”：[“数学系统理论”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/BF01695769.pdf”，“内容类型”：“application\/pdf”、“content-version”：“vor”、“intended-application”：“text-mining”}，{“网址”：“http:\/\/link.springer.com/article\/10.1007\/BF01695769\/fulltext.html“，”content-type“：”text\/html“，”内容-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：”http://\/link.springer.com\/content\/pdf\/10007\/BF001695769“，”content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“date-parts“：[[2020,4,7]]，“date-time”：“2020-04-07T10:09:03Z”，“timestamp”：1586254143000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\link.springer.com\/10.1007\/BF01695769”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[[1970,9]]}，“：”3“，”published-print“：{”date-parts“：[[1970,9]]}}，”alternative-id“：[”BF01695769“]，”URL“：”http://\/dx.doi.org\/10.1007\/bf01695759“，”relationship“：{}，”ISSN“：[“0025-5661”，“1433-0490”]，”ISSN-type“：[{”value“：”0025-5661'，”type“:”print“}，{”value“：”1433-0409“，”类型“：”electronic“}”，“subject”：[]，“published”：{“date-parts”：[[197]0,9]]}}