Helle Hvid Hansen先生;克莱门斯·库普克;简·拉特;温特,乔斯特 (k)-正则序列的最后一个余代数。 (英语) Zbl 1407.68318号 van Breugel,Franck(编辑)等人,《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8464, 363-383 (2014). 摘要:我们从余代数的角度研究了(k)-正则序列。基于半环(S)上的流集可以转化为最终余代数的观察,我们利用有限加权自动机、有限行为微分方程组和可识别幂级数获得了(k)-正则序列的特征。后一个特征是通过基于k元记数系统的最终余代数的同构获得的。关于整个系列,请参见[Zbl 1287.68011号]. 引用于1文件 MSC公司: 70年第68季度 语言代数理论与自动机 11B85号 自动机序列 18B20型 机器、自动机的类别 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Hansen}等人,Lect。注释计算。科学。8464,363--383(2014;Zbl 1407.68318) 全文: 内政部 参考文献: [1] Allouche,J.-P.,Shallit,J.O.:k-正则序列的环。理论计算机科学98163–197(1992)·Zbl 0774.68072号 ·doi:10.1016/0304-3975(92)90001-V [2] Allouche,J.-P.,Shallit,J.O.:自动序列——理论,应用,推广。剑桥大学出版社(2003)·Zbl 1086.11015号 ·doi:10.1017/CBO9780511546563 [3] Allouche,J.-P.,Shallit,J.O.:k-正则序列的环,II。理论计算机科学307,3–29(2003)·Zbl 1058.68066号 ·doi:10.1016/S0304-3975(03)00090-2 [4] Bartels,F.:关于广义归纳和概率规范格式。阿姆斯特丹Vrije大学博士论文(2004) [5] Bell,J.P.:关于k正则序列获得的值。应用数学进展34,634–643(2005)·Zbl 1088.68084号 ·doi:10.1016/j.aam.2004.11.004 [6] Berstel,J.,Reutenauer,C.:具有应用程序的非交换Rational系列。剑桥大学出版社(2011)·Zbl 1250.68007号 [7] Bonsangue,M.M.,Rutten,J.,Winter,J.:联合定义无上下文幂级数。收录:Pattinson,D.,Schröder,L.(编辑)CMCS 2012。LNCS,第7399卷,第20-39页。斯普林格,海德堡(2012)·Zbl 1328.68132号 ·doi:10.1007/978-3642-32784-12 [8] 埃西克,Z。,马莱蒂,A。:加权树自动机的模拟类别。国际计算机科学基础杂志(IJFCS)22(8),1845-1859(2011)·Zbl 1244.68046号 ·doi:10.1142/S0129054111009070 [9] Grabmayer,C.、Endrullis,J.、Hendriks,D.、Klop,J.W.、Moss,L.S.:自动序列和zip-specifications。摘自:《计算机科学中的逻辑学报》(LICS 2012),第335-344页。IEEE计算机学会出版社(2012)·Zbl 1361.68155号 ·doi:10.1109/LICS.2012.44 [10] Graham,R.L.,Knuth,D.E.,Patashnik,O.:《具体数学:计算机科学基础》,第二版。Addison-Wesley Longman出版公司(1994)·Zbl 0836.00001号 [11] Hinze,R.:混凝土流演算——一项扩展研究。《功能编程杂志》20(5-6),463–535(2011)·Zbl 1221.68072号 ·doi:10.1017/S0956796810000213 [12] Kupke,C.,Rutten,J.J.M.M.:关于自动序列的最终余代数。在:康斯特布尔,R.L.,席尔瓦,A.(编辑)Kozen Festschrift。LNCS,第7230卷,第149-164页。斯普林格,海德堡(2012)·Zbl 1354.68183号 ·doi:10.1007/978-3-642-29485-3_10 [13] 道格拉斯·麦克罗伊:溪流的音乐。《信息处理快报》77(2-4),189-195(2001)·Zbl 1003.68025号 ·doi:10.1016/S0020-0190(00)00201-5 [14] Mendler,N.P.,Panangaden,P.,Constable,R.L.:类型理论中的无限对象。摘自:《计算机科学中的逻辑学报》(LICS 1986),第249-255页。IEEE计算机学会出版社(1986) [15] Moshe,Y.:关于k-正则和k-上下文无关序列的一些问题。理论计算机科学400,62-69(2008)·Zbl 1143.68038号 ·doi:10.1016/j.tcs.2008.02018 [16] Rajopadhye,S.V.,Panangaden,P.:脉动阵列的验证:流函数方法。摘自:并行处理国际会议(ICPP 1986),第773-775页。IEEE计算机学会出版社(1986) [17] Rutten,J.:宇宙余代数:系统理论。理论计算机科学249(1),3-80(2000)·Zbl 0951.68038号 ·doi:10.1016/S0304-3975(00)00056-6 [18] Rutten,J.:行为微分方程:流、自动机和幂级数的共导演算。理论计算机科学308(1-3),1-53(2003)·Zbl 1071.68050号 ·doi:10.1016/S0304-3975(02)00895-2 [19] Silva,A.,Bonchi,F.,Bonsangue,M.,Rutten,J.:将确定从自动机推广到余代数。计算机科学中的逻辑方法9(1)(2013)·Zbl 1262.18002号 ·doi:10.2168/LMCS-9(1:9)2013年 [20] Stephan,R.:分治生成函数。第一部分基本序列。ArXiv数学电子版(2003年7月) [21] Winter,J.:QStream:一组溪流。收录:Heckel,R.,Milius,S.(编辑)CALCO 2013。LNCS,第8089卷,第353–358页。斯普林格,海德堡(2013)·文件编号:10.1007/978-3-642-40206-7_30 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。