{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期部分”:[[2023,1,1]],“日期时间”:“2023-01-01T12:08:50Z”,“时间戳”:1672574930485},“引用-计数”:16,“发布者”:“计算机协会(ACM)”,“问题”:“3”,“内容域”:{:“域”:[“dl.ACM.org”],“交叉标记-限制”:true}、,“short-container-title”:[“J.ACM”],“published-print”:{“date-parts”:[[1968,7]]},“abstract”:“\n提出了一种将其存储器组织为线性列表的设备,这种存储器相当于有两个下推存储器。然后,注意力集中在非确定性自动机上(称为lsa<\/jats:italic>\n),当输入为单向读取且设备实时运行时会产生此结果。单词集(称为语言<\/jats:italic>\n)已被lsa广泛研究。特别地,给出了语言的几个特征和闭包性质。\n<\/jats:p>“,”DOI“:”10.1145\/321466.321475“,”type“:”journal-article“,”created“:{”date-parts“:[[2002,7,27]],”date-time“:”2002-07-27T11:26:10Z“,”timestamp“:1027769170000},”page“:nced-by-count“:15,”标题“:[”单向非确定性实时列表存储语言“],”前缀“:”10.1145“,”卷“:”15“,”作者“:[{”给定“:”西摩“,”家族“:”金斯堡“,”序列“:”第一“,”从属“:[}”名称“:”加州圣莫尼卡系统开发公司“}]},{”给出“:”迈克尔A.“,”家庭“:”哈里森“,”顺序“:”附加“,”隶属“:[[{“名称”:“加利福尼亚大学伯克利分校“}]}],“成员”:“320”,“在线发布”:{“日期部分”:[[1968,7]]},“引用”:[{“键”:“e_1_2_1_2”,“首页”:“37”,“文章标题”:“关于语法的某些形式属性”,“卷”:“2”,”年份:“1959”,“非结构化”:“Chomsky N.关于语法的一些形式属性。Inform.Contr.2(1959), 37 - 167 . Chomsky N.关于文法的某些形式属性。通知。合同。2(1959),37-167。“,“新闻标题”:“通知。合同。“},{”key“:”e_1_1_2_2“,”volume-title“:”McGraw-Hill“,”author“:”DAVIS M“,”year“:”1958“,”unstructured“:”DAVIS,M.可计算性和不可解性。McGraw-Hill,纽约,1958。“DAVIS,M可计算性与不可解决性。”McGraw-Hill,New York,1958.“}”,{“key”:“e_2_1_3_2”,“doi-asserted-by”:“publisher”,“doi”:“10.1145\/365153.3 65156“},{”键“:”e_1_2_1_4_2“,“volume-title”:“上下文无关语言的数学理论”,“author”:“GINSBURG S.”,“year”:“1966”,“unstructured”:“GINSBURG,S.上下文无关语言数学理论。McGraw-Hill,纽约,1966年。金斯伯格,S.上下文无关语言的数学理论。McGraw-Hill,纽约,1966年。“},{“key”:“e_1_2_1_5_2”,“unstructured”:“GINSBURG S.抽象语系。SDC文件TM-738\/031\/00.——和希腊S.抽象语系。SDC文档TM-738\/031\/00.“},{“key”:“e_1_1_6_2”,“doi-asserted-by”:“publisher”,“doi”:“10.1145\/321371.321385”},“key“:”e_1_i_1_7_2“,”doi-assert-by“:”publisher“,”doi“:”10.1145\/321386.321403“}”,{”key“:”e_2_1_8_2“,321250.321254“},{”key“:”e_1_2_1_10_2“,”doi-asserted-by“:”crossref“,”first-page“:”285“,“DOI”:“10.1090\/S0002-9947-1965-0170805-7”,“article-title”:“关于算法的计算复杂性”,“volume”:“117”,“author”:“HARTMANIS J”,“year”:“1965”,“unstructured”:“HARTMANIS,J.,AND STEARNS,R。E、。关于算法的计算复杂性。事务处理。阿默尔。数学。《社会学杂志》第117卷(1965年),第285-306页。HARTMANIS,J.和STEARNS,R。E、。关于算法的计算复杂性。事务处理。阿默尔。数学。Soc.117(1965),285-306.”,“期刊标题”:“Trans。阿默尔。数学。Soc.“},{”key“:”e_1_1_11_2“,”first page“:“202”,“article-title”:“语言类和线性有界自动机”,“volume”:“7”,“author”:“KURO A,S”,“year”:“1964”,“unstructured”:“Kurro n A,S.Y。语言类和直线有界自变量。Inform.Contr.7(1964),202-223。KUROnA,S.Y。语言类和线性有界自动机。通知。合同。7(1964),202-223。“,“新闻标题”:“通知。合同。“},{”key“:”e_1_1_12_2“,”volume-title“:”Mass.“,”author“:”CARTHY J.“,“year”:“1965”,“unstructured”:“Mc CARTHY,J.,ABRAHAMS,P.W.,EDWARDS,D.,J.、HART,T.P.和LEVIN,M.I.LISP 1。5程序员手册。麻省理工学院出版社,马萨诸塞州剑桥市,1965年。McCARTHY,J.、ABRAHAMS,P.W.、EDWARDS,D.,J.,HART,T.P.和LEVIN,M.I.LISP 1.5程序员手册。麻省理工学院出版社,剑桥,马萨诸塞州,1965年。“},{“key”:“e_1_2_1_13_2”,“首页”:“104”,“volume-title”:“应用数学学报”,“卷”:“12”,“作者”:“OETTINGER A.G.”,“年份”:“1961”,“非结构化”:“ODTINGER,A.G.”。自动语法分析和下推存储。在语言结构及其数学方面,Proc。应用数学专题讨论会,第12卷,美国。数学。Soc.,Providence,R.I.,1961年,第104-129页。自动句法分析和下推存储。在语言结构及其数学方面,Proc。应用数学专题讨论会,第12卷,美国。数学。Soc.,Providence,R.I.,1961年,第104-129页POST、E.L。一般组合决策问题的形式化约简。阿默尔。数学杂志。6 ( 1943 ), 197 - 215 . POST,E.L.一般组合决策问题的形式化约简。阿默尔。数学杂志。6(1943),197-215.“,“新闻标题”:“Amer。数学杂志。“},{”key“:”e_1_1_15_2“,”doi-asserted-by“:”crossref“,”first page“:“203”,”doi“:”10.1007\/BF02759719“,”article-title“:”Real-time computation“,“volume”:“1”,“author”:“RABIN M.O”,“year”:“1963”,“unstructured”:”RABIN,M.O.Real-teme computation.Israel J.Math.1(1963),203-211。1963年),203-211.“,“新闻标题”:“以色列J.数学。“},{”key“:”e_1_1_16_2“,”doi-asserted-by“:”crossref“,”first page“:“114”,”doi“:”10.1147\/rd.32.0114“,“article-title”:“有限自动机及其决策问题”,“volume”:“3”,“author”:“RABIN M.O”,“year”:“1959”,“unstructured”:“RABIN,M.O。有限自动机及它们的决策问题。IBM J.Res.Develop.3(1959),114-125。----and SCOTT,D。有限自动机及其决策问题。IBM研究开发杂志。3(1959),114-125。“,“新闻标题”:“IBM J.Res.Develop。“},{”key“:”e_1_1_17_2“,”doi-asserted-by“:”publisher“,”doi“:”10.1145\/321420.321423“}],”container-title“:[”Journal of the ACM“],”original title“:[],”language“:”en“,”link“:[{”URL“:”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/321466.321475“,”content-type“:”unspecified“,”content-version“:”vor“,”intended-application“:”相似性检查“}],”存放“:{“date-parts”:[[2022,12,31]],“date-time”:“2022-12-31T22:02:52Z”,“timestamp”:1672524172000},“score”:1,“resource”:{(主要):{”URL“:”https:\/\/dl.acm.org\/doi\/10.1145\/321466.321475:16,“新闻发布”:{“发布”:“3”,“发布发布”:date-parts“:[[1968,7]]}},”alternative-id“:[”10.1145\/321466.321475“],”URL“:”http://\/dx.doi.org\/10.1145\/32166.321475“,”relation“:{},“ISSN”:[”0004-5411“,”1557-735X“],“ISSN-type”:[{“value”:“0004-5414”,“type”:“print”},{“value”:“1557-735 X”,“类型”:“电子“}]”,“主题”:[],“发布”:{“日期部分”:[[1968,7]]},“断言”:[{“值”:“1968-07-01”,“顺序“:2,”名称“:”发布“,”标签“:”已发布“,“组”:{“名称”:“publication_history”,“标签”:“publication history”}}]}