Intertwining of complementary Thue-Morse factors

被引：0
|
作者：
Shallit, Jeffrey [1 ]
机构：
[1] Univ Waterloo, Sch Comp Sci, Waterloo, ON N2L 3G1, Canada
来源：
AUSTRALASIAN JOURNAL OF COMBINATORICS | 2022年 / 84卷
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Generalizing a 2009 question of Bernhardt, we consider the positions of occurrences of a factor x and its binary complement ((x) over bar) in the Thue-Morse word t = 01101001 . . ., and show that these occurrences are "inter-twined " in essentially just two different ways. Our proof method consists of stating the needed properties as a first-order logic formula phi, and then using a theorem-prover to prove phi.
引用
收藏
页码：419 / 430
页数：12
相关论文
共 50 条
  • [1] ON BISPECIAL FACTORS OF THE THUE-MORSE WORD
    DELUCA, A
    MIONE, L
    INFORMATION PROCESSING LETTERS, 1994, 49 (04) : 179 - 183
  • [2] ENUMERATION OF FACTORS IN THE THUE-MORSE WORD
    BRLEK, S
    DISCRETE APPLIED MATHEMATICS, 1989, 24 (1-3) : 83 - 96
  • [3] CIRCULAR CRITICAL EXPONENTS FOR THUE-MORSE FACTORS
    Shallit, Jeffrey
    Zarifi, Ramin
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2019, 53 (1-2): : 37 - 49
  • [4] ON THE FACTORS OF THE THUE-MORSE WORD ON 3 SYMBOLS
    DELUCA, A
    VARRICCHIO, S
    INFORMATION PROCESSING LETTERS, 1988, 27 (06) : 281 - 285
  • [5] On the correlation of the Thue-Morse sequence
    Aloui, Karam
    RAMANUJAN JOURNAL, 2022, 58 (03): : 771 - 799
  • [6] On the powers in the Thue-Morse word
    Aberkane, A.
    Linek, V.
    Mor, S. J.
    AUSTRALASIAN JOURNAL OF COMBINATORICS, 2006, 35 : 41 - 49
  • [7] Properties of the Thue-Morse chain
    Noguez, M
    Barrio, RA
    PHYSICS OF LOW DIMENSIONAL SYSTEMS, 2001, : 223 - 232
  • [8] THUE-MORSE IDENTITIES IN GROUPS
    BOFFA, M
    POINT, F
    COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1991, 312 (09): : 667 - 670
  • [9] Thue-Morse at multiples of an integer
    Morgenbesser, Johannes F.
    Shallit, Jeffrey
    Stoll, Thomas
    JOURNAL OF NUMBER THEORY, 2011, 131 (08) : 1498 - 1512
  • [10] An analogue of the Thue-Morse sequence
    Ferrand, Emmanuel
    ELECTRONIC JOURNAL OF COMBINATORICS, 2007, 14 (01):
12345