×
戴维·斯普伦格

自动排列和编织规格的线性化。 （英语） 兹比尔1334.11016

Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记298349-365（2013）。
总结：C.抓斗等【“自动序列和zip规范”，摘自：第27届IEEE/ACM计算机科学逻辑研讨会论文集，LICS 2012。洛斯·阿拉米托斯：IEEE计算机学会。335–344（2012）]开发了一种根据“zip规范”定义自动序列的方法，并证明了序列是自动的[J.-P.阿洛切和J.沙利特，自动序列。剑桥：剑桥大学出版社（2003；Zbl 1086.11015号)]如果它有一个zip规范，其中所有zip术语具有相同的arity。本文首先研究了自动序列的高维对应物自动数组的类似定义方案。在建立这种机器所需的结果的过程中，我们发现了一种同构——与z阶曲线密切相关[G.M.莫顿，面向计算机的大地测量数据库和文件排序新技术。渥太华：国际商业机器公司（1966）]–介于数组的最终余代数和序列的标准最终余代数之间。这种同构保留了自动性属性：数组是（k，l）-automatic，前提是其对应的序列是（kl）-automatic。前一个自动性概念（\（k，l \）-自动，注意逗号）是在[Allouche和Shallit，loc.cit.]中为数组定义的，后一个概念是序列自动性的标准概念。它还提供了一种在流zip规范和数组zip规范之间进行转换的便捷方法。
关于整个系列，请参见[Zbl 1310.68014号].

MSC公司：

11B85号 自动机序列
65年第68季度 形式语言和自动机

关键词：

自动排序;自动阵列;联合布拉格;末级余代数;z阶曲线;拉链规格

引文：

Zbl 1086.11015号
PDF格式BibTeX公司 XML格式引用
\textit{D.Sprunger}，电子。注释Theor。计算。科学。298349-365（2013年；Zbl 1334.11016）
全文： 内政部

参考文献：

[1] Allouche，J.-P。；Shallit，J.，无处不在的Prouhet-Thue-Morse序列，（Helleseth，T.；Ding，C.；Niederreiter，H.，序列及其应用，《SETA学报》98（1999），Springer Verlag），1-16·兹比尔1005.11005
[2] Allouche，J.-P。；Shallit，J.，《自动序列》（2003），剑桥大学出版社·Zbl 1086.11015号
[3] Christol，G.，合奏presque periodiques k-reconsables，Theoret。计算。科学。，9, 1, 141-145 (1979) ·Zbl 0402.68044号
[4] 阿兰·科巴姆（Alan Cobham），统一标签序列，计算系统理论，6，1，164-192（1972）·Zbl 0253.02029号
[5] Endrullis，J。；抓斗，C。；Hendriks，D.，《混合自动序列》（Language and Automata Theory and Applications（LATA 2013）（2013），Springer），262-274·Zbl 1377.68108号
[6] 抓斗，C。；恩德鲁利斯，J。；亨德里克斯，D。；Klop，J.W。；Moss，L.S.，《自动序列和zip-specifications》，（2012年IEEE/ACM第27届年度计算机科学逻辑研讨会论文集（2012年），IEEE计算机学会），335-344·Zbl 1361.68155号
[7] 库普克，C。；Rutten，J.J.M.M.，《关于自动序列的最终组合》（Logic and Program Semantics（2012），Springer），149-164·Zbl 1354.68183号
[8] Morton，G.M.，《面向计算机的大地测量数据库和文件排序新技术》，国际商业机器公司（1966年）
[9] Rutten，J.J.M.M.，《自动机和共聚（联合文法中的一个练习）》，（CONCUR’98：并发理论（尼斯）。CONCUR’98：并发理论（Nice），计算机课堂讲稿。科学。，第1466卷（1998），《施普林格：柏林施普林格》，194-218·Zbl 0940.68085号
[10] Rutten，J.J.M.M.，《宇宙余代数：系统理论》，《理论》。计算。科学。，249，1，3-80（2000），现代代数及其应用（田纳西州纳什维尔，1996）·Zbl 0951.68038号
[11] Rutten，J.J.M.M。；Turi，D.，《最终语义的基础：非标准集、度量空间、偏序》（semantics:foundations and applications）（Beekbergen，1992）。语义学：基础与应用（Beekbergen，1992），《计算机课堂讲稿》。科学。，第666卷（1993），《施普林格：柏林施普林格》，477-530
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。