{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期部分”:[2022,4,2],“日期时间”:“2022-04-02T09:01:37Z”,“时间戳”:1648890097669},“出版商位置”:“柏林,海德堡”,“参考计数”:19,“出版者”:“施普林格-柏林-海德堡“,”isbn-type“:[{”value“9783540679011”,“类型”:“打印”},{“值”:“9783540446125”,“type”:“electronic”}],“content-domain”:{“domain”:[],“crossmark-restriction”:false},“short-container-title”:[],”published-print“:{”date-parts“:[[2000]]},”DOI“:”10.1007\/3-540-44612-5_20“,”type“:”book-capter“,”created“:”{“date-part”:[2007,5]],“date-time”:“2007-05-05T09:28:20”Z“,”时间戳“:1178357300000},”页面“:”243-252“,”源“:“Crossref”,“is-referenced-by-count”:7,“title”:[“带小时间界限的迭代数组”],“prefix”:“10.1007”,”author“:[{“给定”:“Thomas”,“family”:“Buchholz”,“sequence”:“first”,“affiliation”:[]},{“given”:“Andreas”,“家族”:“Klein”,“序列”:“additional”,“从属”:[]}附加“,”从属关系“:[]}],“member”:“297”,“published-online”:{“date-parts”:[[2001,6,1]]},“reference”:[{“key”:“20_CR1”,“volume-title”:“Technical Report TR-66”,“author”:“W.T.Beyer”,”year“:”1969“,”unstructured“:”Beyer,W.T..T.通过迭代数组识别拓扑不变量。技术报告TR-66,麻省理工学院,剑桥,Proj.MAC,1969。“},{”key“:”20_CR2“unstructure”:“Buchholz,Th.和Kutrib,M.论单向有界蜂窝时间计算机的威力。语言理论的发展,1997年,第365\u2013375页。”},{“键”:“20_CR3”,“doi-asserted-by”:“出版商”,“首页”:“1643”,”doi“:”10.1016\/S0167-8191(97)00075-6“,”卷“:“23”,“作者”:“Th.Buchhol z”,“年份”:“1997”,“非结构化”:“Buch hol z,Th和Ku特里布,M。大规模并行阵列之间的一些关系。并行计算。23(1997),1643\u20131662。“,“journal-title”:“并行计算。“},{”key“:”20_CR4“,”doi-asserted-by“:”publisher“,”first page“:“329”,”doi“:”10.1007\/s002360050123“,”volume“:‘35’,”author“:”Th.Buchholz“,”year“:”1998“,”unstructured“:”Buchhol z,Th.and Kutrib,M.单向细胞自动机中函数的实时可计算性。Acta Inf.35(1998),329\u2013352.“,”journal-title“:”Acta Inf.“,{“键”:“20_CR5”,“非结构化“:”Buchholz,Th.,Klein,A.和Kutrib,M.实时和线性时间范围内的确定性图灵机。出现。“},{”key“:”20_CR6“,”doi asserted by“:”publisher“,”first page“:”64“,”doi“:”10.1109\/TC.1987.5009449“,”volume“:”C-36“,”author“:”J.H.Chang“,”year“:”1987“,”nonstructured“:”Chang,J.H.,Ibarra,O.H.,and Palis,M.A.有限状态机单向数组上的并行解析。IEEE Trans.Comput.C-36(1987),64\u201375.“,”期刊标题“:”IEEE传输。计算。“},{”key“:”20_CR7“,”doi-asserted-by“:”publisher“,”first-page“:”349“,”doi“:”10.1109\/T-C.1969.222663“,”volume“:“C-18”,”author“:”S.N.Cole“,”year“:”1969“,“unstructured”:“Cole,S.N.有限状态机的N维迭代数组的实时计算。IEEE Trans.Comput.C-18(1969),349\u2013365.”,“日志标题”:“IEEE Trans.Compute.”},{“key”:“20_CR8”,“doi-asserted-by”:“publisher”,“first page”:”227“,“doi”:“10.1016\/0304-3975(84)90043-4”,“volume”::“32”,“author”:“K.\u010culk II”,“year”:“1984”,“unstructured”:“\u010kulk II,K.and Yu,S.迭代树自动机.Theoret.Compute.Sci.32(1984),227\u2013247.”,“journal-title”:“Theoret.Compute”科学“},{”键“:”20_CR9“,“doi-asserted-by”:“crossref”,“first page”:“388”,“doi”:“10.1145\/32281.321290”,“volume”:”12“,“author”:“P.C.Fischer”,“year”:“1965”,“unstructured”:“Fischer,P.C.通过一维实时迭代数组生成素数。J.Assoc.Comput.Mach.12,“doi asserted by”:“publisher”,“first page”:“1135”,“doi”:“10.1137\\0216072”,“volume”:“16”,“author”:“O.H.Ibarra”,“year”:“1987”,“nonstructured”:“Ibarra,O.H.and Jiang,T.On one-way cellular arrays.SIAM J.Comput.16(1987),1135\u20131154.”,“journal title”:“SIAM J.Comput.”},{“key”:“20_CR11”,“doi asserted by”:“publisher”,“first page”:“182”,“内政部”:“10.1016\/0743-7315(85)90034-6”,“volume”:“2”,“author”:“O.H.Ibarra”,“year”:“1985”,“unstructured”:“Ibarra,O.H.and Palis,M.A.关于线性迭代(收缩)数组的一些结果。J.Parallel and Distributed Compute.2(1985),182\u2013218.”,“journal-title”:“J.Par平行与分布式计算。”},{“key”:”20_CR12“,”doi-asserted-by“:“publisher”,“first-page”:“47”,“DOI”:“10.1016\/0304-3975(88)90163-6”,“volume”:“57”,“author”:“O.H.Ibarra”,“year”:“1988”,“unstructured”:“Ibarra,O.H.and Palis,M.A.二维迭代数组:表征与应用。Theoret.Compute.Sci.57(1988),47\u201386.”,“journal-title”:“Theoret.Compute.Sic.”},{“key”:”20_CR13“,“series-title”:“Lect Notes Compute Sci”,“doi-asserted-by”:“publisher”,“first page”:“317”,“doi”:“10.1007\/3-540-48321-7_26”,“volume-title”:《1999年计算理论基础》,“author”:“C.Iwamoto”,“year”:“1999”,“unstructured”:“Iwamoton,C.,Hatsuyama,T.,Morita,K.,and Imai,K。一维细胞自动机中的时间构造函数。《计算理论基础》1999,LNCS 16841999,第317\u2013326页。“},{”key“:”20_CR14“,”doi-asserted-by“:”publisher“,”first page“:“53”,”doi“:”10.1016\/S0304-3975(98)00150-9“,“volume”:“217”,“author”:“J.Mazoyer”,“year”:“1999”,“unstructured”:“Mazoyer,J.and Terrier,V。一维细胞自动机中的信号。理论。计算。科学。217(1999),53\u201380。”,“新闻标题”:“理论。计算。科学。“},{”key“:”20_CR15“,”doi asserted by“:”publisher“,”首页“:”177“,”doi“:”10.1007\/BF00289248“,”卷“:”8“,”作者“:”J.I.Seiferas“,”年份“:”1977“,”非结构化“:”Seiferas,J.I.直接中央控制迭代数组。Acta Inf.8(1977),177\u2013192.“,”期刊标题“:”Acta Inf.“},{”key“:”20_CR16“,”doi asserted by“:”publisher“,“第一页“:”487“,”DOI“:”10.1137\/0206035“,”卷“:”6“,”作者“:”J.I.Seiferas“,”年份“:”1977“,”非结构化“:”Seifera,J.I.非确定性多维迭代数组的线性时间计算。SIAM J.计算。6(1977),487\u2013504.”,“期刊标题”:“SIAM J.Comput。“},{”key“:”20_CR17“,”doi-asserted-by“:”crossref“,”first-page“:”233“,”doi“:”10.1016\/S0022-0000(72)80004-7“,“volume”:“6”,“author”:“A.R.Smith III”,“year”:“1972”,“unstructured”:“SmithⅢ,A.R.一维细胞自动机的实时语言识别。J.Computer.System Sci.6(1972),233\u2013253.”,“journal-title”:“J。计算。系统科学。“},{”key“:”20_CR18“,”doi-asserted-by“:”publisher“,”首页“:”331“,”doi“:”10.1016\/0304-3975(94)00212-2“,”volume“:“141”,”author“:”V.Terrier“,”year“:”1995“,”unstructured“:”Terrier,V.实时单向蜂窝阵列。Theoret.Compute.Sci.141(1995),331\u2013335.“,”journal-title“:”Theoret.Compute.Sic.“}”,{“key”:“20_CR19”,“volume-title”:“计算复杂性”,“作者”:“K.Wagner”,“年份”:“1986年”,“非结构化”:“Wagner,K.和Wechsung,G.计算复杂性”。Reidel Publishing,Dordrecht,1986.“}],“container-title”:[“计算机科学课堂讲稿”,“计算机科学数学基础2000”],“original-title“:[],“link”:[{“URL”:“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-44612-5_20”,“content-type”:“unspecified”,“content-version”:“vor”,“intended-application”:“similarity-checking”}],“deposed”:{“date-parts”:[[2019,2,16]],“date-time”:“2019-02-16T09:45:06Z”,“timestamp”:1550310306000},“score”:1,“resource”:{“primary”:}“URL”:“http://\/link.springer.com\/10.1007\/3-540-44612-5_20”}},”subtitle“:[],”shorttitle“:[],”issued“83540679011“,”9783540446125“],”references-count“:19,”URL“:“http://\/dx.doi.org\/10.1007\/3-540-44612-5_20”,“关系”:{},“ISSN”:[“0302-9743”],“ISSN-type”:[{“值”:“0302-7743”,“类型”:“打印”}],“主题”:[],“发布”:{“日期部分”:[2000]]}}}