×
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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。