×
杜、陈飞；哈蒙·穆萨维；埃里克·罗兰；卢克·谢弗；杰弗里·沙利特

斐波那契自动词的决策算法。二： 相关序列和可避免性。 （英语） Zbl 1366.68223号

西奥。计算。科学。 657，B部分，146-162（2017）.
小结：我们使用“斐波那契-自动”单词的决策程序来解决有关许多不同序列的问题。特别地，我们证明了存在一个非周期无限二进制字，它避开了模式\（xxx^R\）。这是关于纯机械证明的非均匀态射的第一个可避免性结果。
关于第一部分和第三部分，参见[RAIRO，Theor.Inform.Appl.50，No.1，39-66（2016；Zbl 1366.68226号); 发现的国际期刊。计算。科学。27，第8期，943–963（2016年；Zbl 1366.68224号)].

引用于2评论
引用于7文件

MSC公司：

68兰特 单词组合学
11比85 自动机序列
65年第68季度 形式语言和自动机
11A67号 其他数字表示

关键词：

自动排序；决策程序；语言的可避免性；有限自动机；斐波那契表示；回文

引文：

Zbl 1366.68226号；Zbl 1366.68224号

软件：

核桃
PDF格式BibTeX公司 XML格式引用
\文本{C.F.Du}等人，Theor。计算。科学。657，B部分，146-162（2017年；兹bl 1366.68223）
全文： 内政部

参考文献：

[1] 比肖夫，B。；柯里，J.D。；Nowotka，D.，《内卷的Unary图案》，国际。J.发现。计算。科学。，23, 1641-1652 (2012) ·Zbl 1269.68074号
[2] 比肖夫，B。；Nowotka，D.，《渐开线模式可避免性》（WORDS 2011（2011）），65-70，网址：·Zbl 1331.68163号
[3] 布隆丁·马塞，A。；Brlek，S。；加隆，A。；拉贝（Labbé），S.，《两个无限家族的多面体以两种不同的方式平铺平面》，理论。计算。科学。，412, 4778-4786 (2011) ·Zbl 1223.68092号
[4] 布隆丁·马萨诸塞州。；Brlek，S。；拉贝，S。；Mendès France，M.，斐波那契雪花，Ann.Sci。数学。魁北克，35，141-152（2011）·Zbl 1334.68168号
[5] 布隆丁·马萨诸塞州。；Brlek，S。；拉贝，S。；Mendès France，M.，斐波那契雪花的复杂性，分形，20257-260（2012）·Zbl 1270.28009号
[6] 布朗，T.C。；弗里德曼，A.R.，《缺集中的算术级数》，《落基山数学杂志》。，17, 587-596 (1987) ·Zbl 0632.10052号
[7] Carlitz，L.，斐波那契表示法，斐波纳契夸脱。，6, 193-220 (1968) ·Zbl 0167.03901号
[8] Cassaigne，J。；柯里，J。；谢弗，L。；Shallit，J.，《避免三个大小相同、金额相同的连续区块》，J.ACM，61，2（2014），论文10·Zbl 1295.68173号
[9] Currie，J.D.，《渐开线模式避免》（2011），在线阅读：
[10] 柯里，J.D。；Rampersad，N.，避免使用二进制字的增长率\（x x x ^R），Theoret。计算。科学。，609, 456-468 (2016) ·Zbl 1334.68170号
[11] 杜，C.F。；穆萨维，H。；谢弗，L。；Shallit，J.，斐波那契自动词的决策算法，III：枚举和阿贝尔性质，国际。J.发现。计算。科学。（2015），出版中，初步版本可在以下网址获得：
[12] 菲奇，G。；Zamboni，L.Q.，关于无限单词中包含的最少回文数，Theoret。计算。科学。，481, 1-8 (2013) ·Zbl 1291.68307号
[13] Fraenkel，A.S.，《记数系统》，美国。数学。月刊，92，105-114（1985）·Zbl 0568.10005号
[14] 弗里德曼，A.R。；Brown，T.C.，四个数字集合上的序列，整数，16，文章A33 pp.（2016），（电子版）·Zbl 1404.11027号
[15] Guay-Paquet，M。；Shallit，J.，《避免自然数的平方和重叠》，《离散数学》。，309, 6245-6254 (2009) ·Zbl 1215.68193号
[16] Halbeisen，L。；Hungerbühler，N.，范德瓦尔登定理在加法数论中的应用，整数，A7（0 2000）·Zbl 0962.11017号
[17] 霍尔顿，C。；Zamboni，L.Q.，有向图和替换，理论计算。系统。，34, 545-564 (2001) ·Zbl 0993.68075号
[18] Lekkerkerker，C.G.，Voorstelling van natuurlijke getallen door een som van getallen van Fibonacci，Simon Stevin，29，190-195（1952）·Zbl 0049.03101号
[19] Mercaš，R.，关于具有变量和反转的二进制模式的可避免性的注释（2015年），预印本可在以下网址获得：
[20] Monnerot-Dumaine，A.，The Fibonacci word fractal（2009），电子版：
[21] Mousavi，H.，《胡桃中的自动定理证明》（2016），预印本可从以下网址获得：
[22] 穆萨维，H。；谢弗，L。；Shallit，J.，斐波那契自动词的决策算法，I：基本结果，RAIRO Inform。塞奥尔。申请。，50, 39-66 (2016) ·Zbl 1366.68226号
[23] 奥斯特罗斯基，A.，《丢番图逼近的Bemerkungen-zur理论》，阿布数学。塞明。汉堡大学（Univ.Hambg.Abh.Math）。塞明。汉堡大学，收藏。数学。爸爸。，357-80（1922），250-251，重印于
[24] Pirillo，G。；Varricchio，S.，关于一致重复半群，半群论坛，49125-129（1994）·Zbl 0805.20052号
[25] Rampersad，N.，《无限序列和模式避免》（2004），滑铁卢大学，网址：
[26] Rampersad，N。；Shallit，J.，《避免颠倒子词的单词》，J.Combin，《数学》。组合计算。，54, 157-164 (2005) ·Zbl 1081.68076号
[27] Rao，M.，关于阿贝尔幂可避免性的一些推广，Theoret。计算。科学。，601, 39-46 (2015) ·Zbl 1330.68242号
[28] Rote，G.，具有子词复杂性的序列\（2n\），数论杂志，46196-213（1994）·Zbl 0804.1023号
[29] Shallit，J.O.，《自动序列的推广》，Theoret。计算。科学。，61, 1-16 (1988) ·兹比尔0662.68052
[30] Zeckendorf，E.，《自然命名代表》，公牛。Soc.罗伊。科学。李耶，41，179-182（1972）·兹比尔0252.1011
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。