×
菲利波·米格诺西;塞勒博尔德，帕特丽斯

如果D0L语言是无功耗的，那么它是循环的。 （英语） Zbl 1422.68157号

Lingas，Andrzej（编辑）等人，《自动化，语言和编程》。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。700, 507-518 (1993).
总结：我们证明了如果D0L语言是无幂的，那么它是循环的。通过使用这个结果，我们可以给出一个算法，该算法可以确定D0L语言在固定一个整数（k\geq1）时是否无（k\）幂；我们还能够对Ehrenfeucht和Rozenberg以前获得的一个结果给出一个新的更简单的证明，即D0L语言对某个整数（kgeq 1）是否无幂是可判定的。
关于整个系列，请参见[Zbl 0814.00020号].

引用于1审查
引用于20文件

MSC公司：

65年第68季度 形式语言和自动机

关键词：

分数幂;自由幺半群;鸽子洞原理;秩为零;形式语言理论
PDF格式BibTeX公司 XML格式引用
\textit{F.Mignosi}和\textit{P.Séébold}，Lect。注释计算。科学。700、507--518（1993年；Zbl 1422.68157）
全文： DOI程序

参考文献：

[1] J.Berstel，“Sur les mots sans carrédéfinis par un morphisme”，摘自《Springer计算机科学讲义》第71卷（1979年），第16-25页·Zbl 0425.20046
[2] J.Berstel，“关于无平方词的一些最新结果”（STACS 84）技术代表。L.I.T.P.第84-6页。
[3] J.Berstel，“主题和故事”，摘自《国会法案》《蒙托瓦兹之旅》，1990年9月至15日。
[4] J.Berstel和D.Perrin，《代码理论》，1985年，学术出版社·Zbl 0587.68066号
[5] F.J.Brandenburg，“均匀增长的第k个无幂同态”，T.C.S.23（1983），69-82·兹比尔0508.68051
[6] A.Carpi，“关于三字母字母表上无平方态射的大小”，Inf.Proc。莱特。16 (1983), 231-235. ·Zbl 0508.68052号
[7] A.Cerny，“关于一类有界重复的无限单词”，《RAIRO Inf.Th.19》（1985年），第337-349页·Zbl 0578.68058号
[8] C.Choffrut，“迭代替换和局部关联系统：二进制情况下的可判定结果”，见Proc。ICALP 90，《计算机课堂讲稿》。《科学》，斯普林格（1990），490-500·兹比尔0765.68069
[9] M.Crochemore，“无平方态射的尖锐特征”，T.C.S.18（1982）221-226·Zbl 0482.68085号
[10] A.Ehrenfeucht和G.Rozenberg，“关于无平方DOL语言的子字复杂性”，T.C.S.16（1981），25-32·Zbl 0481.68073号
[11] A.Ehrenfeucht和G.Rozenberg，“同态和语言中的重复”，第九届ICALP研讨会，Comp课堂讲稿。《科学》，斯普林格（1982），192-196·Zbl 0502.68020号
[12] A.Ehrenfeucht和G.Rozenberg，“DOL语言中子词的重复”，《信息与控制》59（1983），13-35·Zbl 0549.68076号
[13] M.Harrison，“形式语言理论导论”，Addison-Wesley，Readings，马萨诸塞州，1978年·Zbl 0411.68058号
[14] Harju和M.Linna，“关于自由幺半群上态射的周期性”，RAIRO Inf.Th.vol.20（1986），nℴ1，47-54·Zbl 0608.68065号
[15] B.主持人，“Valeurs propres des systèmes dynamicques définis par des substitutions de longueur variable”，Erg.Th.和Dyn。系统。6 (1986), 529-540. ·Zbl 0625.28011号
[16] J.Karhumáki，“关于由二元态射生成的无立方体w-words”，见Proc。FCT’81，Comp.课程讲稿。《科学117》，施普林格（1981），182-189·Zbl 0462.68055号
[17] J.Karhumáki，“关于二元态射生成的无立方体w-words”，Disc。申请。数学。5 (1983), 279-297. ·Zbl 0505.03022号
[18] V.Keranen，“关于自由拟群上态射的k-自由性”，STACS 87，Comp。《科学》247180-187·Zbl 2005年4月6日
[19] R.Kfoury，“确定二进制字是否包含重叠的线性时间算法”，《RAIRO Inf.Th.22》（1988），135-145·Zbl 0645.68087号
[20] M.Leconte，“无限词自动机”中的“第k个无功耗代码”，M.Nivat和D.Perrin编辑，《计算机课堂讲稿》。《科学192》，施普林格出版社，1984172-187·Zbl 0571.68054号
[21] M.Leconte，“无能量态射的表征”，T.C.S.38（1）（1985），117-122·Zbl 0572.68066号
[22] A.Lentin和M.P.Schutzenberger，“自由幺半群理论中的组合问题”，摘自Proc。北卡罗来纳大学，（1967年），博斯编辑，北卡罗莱纳出版社，查贝尔山，128-144·Zbl 0221.20076
[23] Lothaire，“单词的组合数学”，艾迪森·卫斯理，阅读弥撒，1982年·Zbl 1001.68093号
[24] J.C.Martin，“非恒定长度替换产生的最小流量”，数学。系统。Th.7（1973），第73-82页·兹比尔0256.54026
[25] F.Mignosis，“具有线性子词复杂性的无限词”，T.C.S.65（1989），221-242·Zbl 0682.68083号
[26] F.Mignosi，G.Pirillo，“斐波那契无限单词中的重复”，《RAIRO Inf.Th.》第26卷，nℴ3（1992），199-204·Zbl 0761.68078号
[27] B.Mossé，“Pulssance de mots et researchasabilityédes points fixed d“une substitution”T.C.S.（1992）·Zbl 0763.68049号
[28] M.Queffeleq，“替代动力系统-谱分析”数学课堂讲稿。1294（1987），斯普林格·弗拉格·Zbl 0642.28013号
[29] A.Restivo和S.Salemi，“在两个符号上重叠自由词”，摘自“无限词上的自动机”，M.Nivat和D.Perrin编辑，《计算机课程讲稿》。《科学192》，斯普林格·弗拉格出版社，1984198-206年·Zbl 0572.20038号
[30] P.Séébold，“无限迭代态射生成的序列”，Disc。申请。数学。11 (1985), 255-264. ·Zbl 0583.20047号
[31] P.Séébold，“二进制情况下DOL周期性问题的有效解决方案”，EATCS bull。36 (1988), 137-151. ·Zbl 0678.68072号
[32] G.Rozenberg和A.Salomaa，“L系统的数学理论”，学术出版社，1980年·Zbl 0508.68031号
[33] G.Rozenberg和A.Salomaa编辑，《L的书》，施普林格-弗拉格出版社，1986年。
[34] A.Salomaa，“形式语言理论的宝石”，计算机科学出版社，华盛顿特区，1981年·Zbl 0487.68064号
[35] Thue A.，“über unendliche Zeichenreihen”，挪威。塞尔斯克。Skr.I.Mat.-Nat.Kl，克里斯蒂安娜1906年，编号7，1-22。
[36] 星期四A。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。