Properties of a Class of Toeplitz Words

12/22/2021
by   Gabriele Fici, et al.
0

We study the properties of the uncountable set of Stewart words. These are Toeplitz words specified by infinite sequences of Toeplitz patterns of the form αβγ, where α,β,γ is any permutation of the symbols 0,1,?. We determine the critical exponent of the Stewart words, prove that they avoid the pattern xxyyxx, find all factors that are palindromes, and determine their subword complexity. An interesting aspect of our work is that we use automata-theoretic methods and a decision procedure for automata to carry out the proofs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/19/2021

Deciding FO2 Alternation for Automata over Finite and Infinite Words

We consider two-variable first-order logic FO^2 and its quantifier alter...
research
06/03/2022

Properties of a Ternary Infinite Word

We study the properties of the ternary infinite word p = 012102101021012...
research
02/01/2019

Critical exponent of infinite balanced words via the Pell number system

In a recent paper of Rampersad et al., the authors conjectured that the ...
research
11/27/2019

Words With Few Palindromes, Revisited

In 2013, Fici and Zamboni proved a number of theorems about finite and i...
research
11/30/2019

Pebble-Intervals Automata and FO2 with Two Orders (Extended Version)

We introduce a novel automata model, called pebble-intervals automata (P...
research
08/12/2023

Proving properties of some greedily-defined integer recurrences via automata theory

Venkatachala on the one hand, and Avdispahić Zejnulahi on the other,...
research
05/17/2018

On randomized generation of slowly synchronizing automata

Motivated by the randomized generation of slowly synchronizing automata,...

Please sign up or login with your details

Forgot password? Click here to reset