×
阿尤什·拉贾塞卡兰;杰弗里·沙利特;史密斯，蒂姆

通过自动机理论的加法数理论。 （英语） Zbl 1475.11040号

理论计算。系统。 64，第3期，542-567（2020年）.
在本文中，作者利用自动机理论研究了加法数理论中的几个问题。特别是，他们使用的结果是V.布鲁埃等。[公牛贝尔格数学学会-西蒙·斯特文1，第2号，191-238（1994；Zbl 0804.11024号)]并在穆萨维的软件“胡桃木”中实现。
利用这些基于自动机理论的技术，作者研究了整数的分解，即在二元展开中包含偶数/奇数的两个或三个数字的和或差（定理3和4）。他们还考虑了基于斐波那契数的展开式的类似结果（定理6）。
他们还证明了关于碱基（3）和（4）中palinormes的几个结果。特别地，他们证明了（定理13和14），每个自然数最多是三个分别为base-\（3）的回文的和。
审核人：沃尔克·齐格勒（萨尔茨堡）

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

MSC公司：

11B85号 自动机序列
11A63型 基数表示；数字问题
65年第68季度 形式语言和自动机

关键词：

加法数理论;形式语言理论;自动机理论;可视下推自动机;回文;决策程序;自动校对

引文：

Zbl 1441.11016号;兹比尔0804.11024

软件：

核桃;组织环境信息系统
PDF格式BibTeX公司 XML格式引用
\textit{A.Rajasekaran}等人，理论计算。系统。64，第3号，542--567（2020；Zbl 1475.11040）
全文： 内政部

整数序列在线百科全书：

奇数：二进制展开中奇数为1的数字。
二进制回文：二进制展开为回文的数字。

参考文献：

[1] Allouche，J-P；Rampersad，北卡罗来纳州。；Shallit，J.，《自动序列的周期性、重复性和轨道》，Theoret。计算。科学。，410, 2795-2803 (2009) ·Zbl 1173.68044号 ·doi:10.1016/j.tcs.2009.02.006
[2] 阿洛伊，K。；Mauduit，C。；Mkaouar，M.，Somme des chiffres et répartition dans les classes de confurence pour les palindromes ellipséphiques，数学学报。挂。，151, 409-455 (2017) ·Zbl 1399.11024号 ·doi:10.1007/s10474-017-0688-4
[3] Alur，R.，Madhusudan，P.：明显的压制语言。In：程序。年第三十六届ACM交响乐。西奥。计算。（STOC），第202-211页，ACM（2004）·Zbl 1192.68396号
[4] Alur，R.，Madhusudan，P.：为单词添加嵌套结构。J.协会计算。机器。第56条（2009年），第16条·Zbl 1325.68138号
[5] 阿佩尔，K。；Haken，W.，每个平面图都是四色的，I.排放伊利诺伊州J.数学。，21, 429-490 (1977) ·Zbl 0387.0509号 ·数字对象标识代码：10.1215/ijm/1256049011
[6] 阿佩尔，K。；Haken，W。；Koch，J.，每个平面图都是四色的，II。可还原性伊利诺伊州数学杂志。，21, 491-567 (1977) ·Zbl 0387.05010号 ·doi:10.1215/ijm/1256049012
[7] Ashbacher，C.，《关于回文方块的更多信息》，J.Recreat。数学。，22, 133-135 (1990) ·Zbl 0703.11006号
[8] 班克斯：每个自然数都是49个回文的总和。INTEGERS-电子组合J。数论16（2016），#A3（电子版）·Zbl 1387.11008号
[9] 银行，西部数据；哈特，DN；坂田，M.，几乎所有的回文都是复合的，数学。Res.Lett.公司。，11, 853-868 (2004) ·Zbl 1101.11039号 ·doi:10.4310/MRL.2004.v11.n6.a10
[10] 银行，西部数据；Shparlinski，IE，回文的素数，句号。数学挂。，51, 1-10 (2005) ·Zbl 1119.11010号 ·doi:10.1007/s10998-005-0016-6
[11] 银行，西部数据；Shparlinski，IE，二元回文上Euler函数的平均值，Bull。波兰。阿卡德。科学数学。，54, 95-101 (2006) ·Zbl 1106.11004号 ·doi:10.4064/ba54-2-1
[12] 巴奈特，JKR，以2和10为基数的方形回文表，J.Recreat。数学。，23, 1, 13-18 (1991) ·Zbl 0732.11003号
[13] Basić，B.，《关于不同碱基中的d数字回文：碱基的数量是无限的》，国际出版社。J.数论，81387-1390（2012）·Zbl 1263.11009号 ·doi:10.1142/S1793042112500819
[14] Basić，B.，《关于“非常回文”序列》，J.Korean Math。Soc.，52，765-780（2015）·Zbl 1360.11020号 ·doi:10.4134/JKMS.2015.52.4.765
[15] 贝尔·J。；Hare，K。；Shallit，J.，When is a automatic set an additive bases，程序。阿默尔。数学。Soc.系列。B、 5、50-63（2018年）·Zbl 1437.11017号 ·doi:10.1090/bproc/37
[16] Bell，J.P.，Lidbetter，T.F.，Shallit，J.：通过正则语言近似的加法数论。收录：Hoshi，M.，Seki，S.（编辑）DLT卷11088，计算机科学讲稿，第121-132页。柏林施普林格（2018）·Zbl 1462.11014号
[17] Bérczes，A。；齐格勒，V.，《关于同时回文》，J.Combin.数论，6，37-49（2014）·Zbl 1353.11010号
[18] Berlekamp，ER；JH康威；盖伊，RK，《数学游戏的获胜之道》，第2卷《特别是游戏》（1982），剑桥：学术出版社，剑桥·Zbl 0485.00025号
[19] Berstel，J.：Axel Thue关于单词重复的论文：翻译。《组合数学与信息数学实验室出版物》排名第20。魁北克大学蒙特利尔分校（1995年）
[20] von Braunmühl，B.，Verbeek，R.：输入驱动语言在n空间中被识别。收录于：Karpinski，M.（编辑）《计算理论基础》，FCT 83，计算机科学讲稿第158卷，第40-51页。施普林格，柏林（1983）·兹伯利0549.68082
[21] 布鲁埃，V。；Hansel，G.，Bertrand记数系统和可识别性，Theoret。计算。科学。，181, 17-43 (1997) ·Zbl 0957.11015号 ·doi:10.1016/S0304-3975（96）00260-5
[22] 布鲁埃，V。；Hansel，G。；米肖，C。；Villemaire，R.，《逻辑和p-可识别整数集》，布尔。比利时数学。《社会学杂志》，191-238（1994）·Zbl 0804.11024号
[23] Büchi，JR，弱二阶算术和有限自动机，Zeitschrift fur¨mathematische Logik und Grundlagen der Mathematik，666-92（1960）·Zbl 0103.24705号 ·doi:10.1002/malq.19600060105
[24] Charlier，E。；Rampersad，N。；Shallit，J.，自动序列的枚举和可判定属性，国际。J.发现。公司。科学。，23, 1035-1066 (2012) ·Zbl 1282.68186号 ·doi:10.1142/S0129054112400448
[25] Cilleruelo，J.，Luca，F.：每个正整数都是三个回文的和。arXiv:1602.06208v1（2016）·Zbl 1441.11016号
[26] 齐卢埃洛，J。；卢卡，F。；Baxter，L.，每个正整数都是三个回文的和，数学。计算。，87, 3023-3055 (2018) ·Zbl 1441.11016号 ·doi:10.1090/com/3221
[27] 齐卢埃洛，J。；卢卡，F。；谢帕林斯基，IE，回文的幂值，《组合数论》，第101-107页（2009）·Zbl 1235.11028号
[28] 齐卢埃洛，J。；特索罗，R。；Luca，F.，线性递归序列中的回文，Monatsh。数学。，171, 433-442 (2013) ·Zbl 1318.11017号 ·doi:10.1007/s00605-013-0477-2
[29] Col，S.，Palindromes dans les progressions arithmétiques，《阿里斯学报》。，137, 1-41 (2009) ·Zbl 1231.11116号 ·doi:10.4064/aa137-1-1
[30] Du，CF；穆萨维，H。；罗兰，E。；谢弗，L.，J.沙利特。斐波那契自动词的决策算法II：相关序列和可避免性，理论。计算。科学。，657, 146-162 (2017) ·Zbl 1366.68223号 ·doi:10.1016/j.tcs.2016.10.005
[31] Du，CF；穆萨维，H。；谢弗，L。；Shallit，J.，斐波那契自动词的决策算法III：枚举和阿贝尔属性，国际。J.发现。公司。科学。，27, 943-963 (2016) ·Zbl 1366.68224号 ·doi:10.11142/S0129054116500386
[32] Dymond、PW、Input-driven languages are in n depth、Inform。过程。莱特。，26, 247-250 (1988) ·doi:10.1016/0020-0190（88）90148-2
[33] Goč，D.，Henshall，D.，Shallit，J.：单词组合学中的自动理论证明。收录于：Moreira，N.，Reis，R.（编辑）CIAA 2012，计算机科学讲稿第7381卷，第180-191页。柏林施普林格出版社（2012）·Zbl 1297.68215号
[34] Goć，D.，Mousavi，H.，Shallit，J.：关于无序因子的数量。收录：Dediu，A.-H.，Martin-Vide，C.，Truthe，B.（编辑）LATA 2013，计算机科学讲稿第7810卷，第299-310页。柏林施普林格出版社（2013）·兹比尔1377.68191
[35] Goč，D.，Saari，K.，Shallit，J.：自动和线性递归序列中的原语单词和Lyndon单词。收录人：Dediu，A.-H.，Martin-Vide，C.，Truthe，B.（编辑）LATA 2013，《计算机科学讲稿》原始卷7810，第311-322页。柏林施普林格出版社（2013）·Zbl 1377.68192号
[36] Goč，D.，Schaeffer，L.，Shallit，J.：k-自动序列的子词复杂性是k-同步的。收录于：Béal，M.-P.，Carton，O.（编辑）DLT 2013，计算机科学讲稿第7907卷，第252-263页。柏林施普林格出版社（2013）·Zbl 1381.68234号
[37] Goins，EH，不同碱基中的回文：J.Ernest Wilkins的猜想，INTEGERS-Electronic J.Combinat。数论，9725-734（2009）·Zbl 1208.11015号
[38] 韩，Y-S；Salomaa，K.，嵌套词自动机的非确定性状态复杂性，Theoret。计算。科学。，410, 2961-2971 (2009) ·Zbl 1173.68034号 ·doi:10.1016/j.tcs.2009.01.004
[39] 哈克，S。；Shallit，J.，《鉴别器和k正则序列》，INTEGERS-Electronic J.Combinat。《数论》，16，A76（2016）·Zbl 1386.11048号
[40] Hardy，G.H.，Wright，E.M.：《数字理论导论》，第5版。牛津大学出版社，牛津（1985）
[41] Harminc，M。；Soták，R.，算术级数中的回文数，Fibonacci Quart。，36, 259-262 (1998) ·Zbl 0943.11005号
[42] Heizmann，M.，Hoenicke，J.，Podelski，A.：为喜欢自动机的人进行软件模型检查。在：Sharygina，N.，Veith，H.（编辑）计算机辅助验证-第25届国际会议，CAV 2013，计算机科学讲义第8044卷，第36-52页。柏林施普林格出版社（2013）
[43] Heizmann，M.、Dietsch，D.、Greitschus，M.，Leike，J.、Musa，B.、Schätzle，C.、Podelski，A.：具有双轨证明的终极自动器。收录于：Chechik，M.，Raskin，J.-F.（编辑）《系统构建和分析的工具和算法——第22届国际会议》，TACAS 2016，第9636卷，《计算机科学讲稿》，第950-953页。柏林施普林格出版社（2016）
[44] 埃尔南德斯，S。；Luca，F.，《回文权力》，哥伦比亚马特牧师，40，81-86（2006）·Zbl 1189.11020号
[45] JE霍普克罗夫特；Ullman，JD，《自动化理论、语言和计算导论》（1979），波士顿：Addison-Wesley出版社，波士顿·兹标0426.68001
[46] Kane，D.M.，Sanna，C.，Shallit，J.：二元幂的Waring定理。arXiv:1801.04483。即将亮相，Combinatorica（2018）·Zbl 1463.11148号
[47] Keith，M.，《回文方块的分类和计数》，J.Recrea。数学。，22, 2, 124-132 (1990) ·Zbl 0703.11005号
[48] Kidder，P。；Kwong，H.，关于整数回文的评论，J.Recreat。数学。，36, 299-306 (2007)
[49] Korec，I.，各种数字系统基数的回文平方，数学。斯洛伐克，41，261-276（1991）·Zbl 0755.11004号
[50] Kresová，H。；Sǎlát，t.，《关于回文数》，《数学学报》。科美尼亚大学。，42, /43, 293-298 (1984) ·Zbl 0537.10002号
[51] La Torre，S.，Napoli，M.，Parente，M.：关于明显的下推语言的成员问题。收录于：Graf，S.，Zhang，W.（eds.）ATVA 2006，《计算机科学讲义》第4218卷，第96-109页，Springer（2006）·Zbl 1161.68544号
[52] Lekkerkerker，CG，Voorstelling van natuurlijke getallen door een som van getallen van Fibonacci，Simon Stevin，29190-195（1952）·Zbl 0049.03101号
[53] Luca，F.，Lucas序列中的回文，Monatsh。数学。，138, 209-223 (2003) ·Zbl 1027.11012号 ·doi:10.1007/s00605-002-0490-3
[54] 卢卡，F。；Togbé，A.，《关于形式10^n1的二进制回文》，C.R.Acad。科学。巴黎，346487-489（2008）·Zbl 1165.11011号 ·doi:10.1016/j.crma.2008.03.015
[55] Luca，F.，Young，P.T.：关于奇数加泰罗尼亚数的二进制展开。In：程序。第14届斐波那契数及其应用国际会议，第185-190页。墨西哥Soc.Mat.（2011）·Zbl 1287.11041号
[56] Madhusudan，P.，Nowotka，D.，Rajasekaran，A.，Shallit，J.：二元平方的拉格朗日定理。在：Potapov，I.，Spirakis，P.，Worrell，J.（编辑）第43届计算机科学数学基础国际研讨会（MFCS 2018），莱布尼茨国际信息学论文集，第18:1-18:14页。德国达格斯图尔·莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik）（2018年）·Zbl 1510.11168号
[57] McCune，W.，《罗宾斯问题的解决方案》，J.Autom。原因。，19, 3, 263-276 (1997) ·Zbl 0883.06011号 ·doi:10.1023/A:1005843212881
[58] Mehlhorn，K.：卵石山脉及其DCFL识别的应用。In：程序。第七届国际自动化、语言和编程会议（ICALP），计算机科学讲义第85卷，第422-435页。斯普林格（1980）·Zbl 0445.68033号
[59] 穆萨维，H.：胡桃中的自动定理证明。arXiv:1603.06017（2016）
[60] 穆萨维，H。；谢弗，L。；Shallit，J.，斐波那契自动词的决策算法，I基本结果，RAIRO Inform。塞奥尔。应用程序。，50, 39-66 (2016) ·Zbl 1366.68226号 ·doi:10.1051/ita/2016010
[61] Nathanson，MB，《加法数理论：经典基础》（1996），柏林：施普林格出版社，柏林·Zbl 0859.11002号
[62] Ogden，W.，一个有助于证明固有歧义性的结果，数学。系统理论，2191-194（1968）·Zbl 0175.27802号 ·doi:10.1007/BF01694004
[63] Okhotin，A。；Salomaa，K.，输入驱动下推自动机操作的状态复杂性，J Compute。系统科学。，86, 207-228 (2017) ·Zbl 1370.68186号 ·doi:10.1016/j.jcss.2017.02.001
[64] Piao，X。；Salomaa，K.，嵌套词自动机的操作状态复杂性，Theoret。计算。科学。，410, 3290-3302 (2009) ·Zbl 1176.68108号 ·doi:10.1016/j.tcs.2009.05.002
[65] Pollack，P.，真除数的回文和，整数-电子J.Combinat。《数论》，15A，论文编号A13（电子版）（2015）·兹比尔1351.11007
[66] Rajasekaran，A.：使用自动机理论解决加法数理论中的问题。滑铁卢大学计算机科学学院硕士论文，2018年。可在https://uwspace.uwaterloo.ca/handle/10012/13202
[67] Rajasekaran，A.，Smith，T.，Shallit，J.：回文总和：通过自动机的方法。在：Niedermeier，R.，Vallée，B.（编辑）第35届计算机科学理论方面研讨会（STACS 2018），莱布尼茨国际信息学期刊，第54:1-54:12页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼兹·泽特鲁姆（Leibniz-Zentrum）fur­Informatik（2018）·Zbl 1497.68277号
[68] Salomaa，K.，确定性嵌套词自动机下限方法的局限性，Inform。计算。，209, 580-589 (2011) ·Zbl 1230.68136号 ·doi:10.1016/j.ic.2010.11.021
[69] Shallit，J.：自动序列的可判定性和枚举：一项调查。收录于：Bulatov，A.A.，Shur，A.M.（编辑）CSR 2013，计算机科学讲稿第7913卷，第49-63页。柏林施普林格出版社（2013）·Zbl 1381.68238号
[70] 肖里（Shorey），TN，关于方程z^q=（x^n−1）/（x^1），Indag。数学。，48, 345-351 (1986) ·Zbl 0603.10018号 ·doi:10.1016/1385-7258（86）90020-X
[71] Sigg，M.：关于约翰·霍夫曼关于回文数和的一个猜想。arXiv:15100.07507（2015）
[72] Simmons，GJ，《关于非线性数的回文平方》，J.Recreat。数学。，5, 1, 11-19 (1972)
[73] 斯隆，N.J.A.等人：整数序列在线百科全书网址：https://oeis.org (2019)
[74] Thue，A.，u Ber die gegenseitige Lage gleicher Teile gewisser Zeichenreihen，挪威维吉尼亚州。塞尔斯克。Skr.Mat.Nat.Kl.，1,1-67（1912）
[75] 特里格，C.，回文三角数的无限序列，斐波那契四分之一。，12, 209-212 (1974) ·Zbl 0283.10004号
[76] Tymoczko，T.，《四色问题及其哲学意义》，《哲学杂志》，76，2，57-83（1979）·doi:10.2307/2025976
[77] Vaughan，R.C.，Wooley，T.：千禧年的数字理论。三、 第301-340页。A.K.彼得斯。收录人：Bennett，M.A.，Berndt，B.C.，Boston，N.，Diamond，H.G.，Hildebrand，A.J.，Philipp，W.（编辑）（2002年）·Zbl 1002.00007号
[78] 耶茨，S.，《再版的神秘性》，《数学》。Mag.，51，22-28（1978）·Zbl 0387.10005号 ·doi:10.1080/0025570X.1978.11976671
[79] Zeckendorf，E.，《自然命名代表》，公牛。Soc.罗伊。Liége，41，179-182（1972）·Zbl 0252.10011号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。