English
Related papers

Related papers: Automaticity of uniformly recurrent substitutive s…

200 papers

We determine the asymptotic proportion of minimal automata, within n-state accessible deterministic complete automata over a k-letter alphabet, with the uniform distribution over the possible transition structures, and a binomial…

Formal Languages and Automata Theory · Computer Science 2011-09-27 Frederique Bassino , Julien David , Andrea Sportiello

Random substitutions are a natural generalisation of their classical `deterministic' counterpart, whereby at every step of iterating the substitution, instead of replacing a letter with a predetermined word, every letter is independently…

Dynamical Systems · Mathematics 2020-04-14 Dan Rust , Timo Spindeler

A notion of alternating timed automata is proposed. It is shown that such automata with only one clock have decidable emptiness problem over finite words. This gives a new class of timed languages which is closed under boolean operations…

Logic in Computer Science · Computer Science 2007-05-23 Slawomir Lasota , Igor Walukiewicz

It is well-known that there exist infinite sequences that are the fixed point of non-uniform morphisms, but not $k$-automatic for any $k$. In this note we show that every $k$-automatic sequence is the image of a fixed point of a {\it…

Number Theory · Mathematics 2021-03-23 Jean-Paul Allouche , Jeffrey Shallit

The notion of almost periodicity nontrivially generalizes the notion of periodicity. Strongly almost periodic sequences (=uniformly recurrent infinite words) first appeared in the field of symbolic dynamics, but then turned out to be…

Discrete Mathematics · Computer Science 2007-05-23 Yuri Pritykin

We pose the approximation problem for scalar nonnegative input-output systems via impulse response convolutions of finite order, i.e. finite order moving averages, based on repeated observations of input/output signal pairs. The problem is…

Optimization and Control · Mathematics 2023-02-27 Lorenzo Finesso , Peter Spreij

Let L be an infinite regular language on a totally ordered alphabet (A,<). Feeding a finite deterministic automaton (with output) with the words of L enumerated lexicographically with respect to < leads to an infinite sequence over the…

Computational Complexity · Computer Science 2007-05-23 Michel Rigo

The critical exponent of an infinite word $\bf x$ is the supremum, over all finite nonempty factors $f$, of the exponent of $f$. In this note we show that for all integers $k\geq 2,$ there is a binary infinite $k$-automatic sequence with…

Combinatorics · Mathematics 2026-02-25 J. -P. Allouche , N. Rampersad , J. Shallit

Let $K\subseteq\mathbb{R}$ be the unique attractor of an iterated function system. We consider the case where $K$ is an interval and study those elements of $K$ with a unique coding. We prove under mild conditions that the set of points…

Dynamical Systems · Mathematics 2014-07-01 Simon Baker , Karma Dajani , Kan Jiang

The Khintchine recurrence theorem asserts that on a measure preserving system, for every set $A$ and $\varepsilon>0$, we have $\mu(A\cap T^{-n}A)\geq \mu(A)^2-\varepsilon$ for infinitely many $n\in \mathbb{N}$. We show that there are…

Dynamical Systems · Mathematics 2016-12-08 Michael Boshernitzan , Nikos Frantzikinakis , Máté Wierdl

In the paper we develop the $p$-adic theory of discrete automata. Every automaton $\mathfrak A$ (transducer) whose input/output alphabets consist of $p$ symbols can be associated to a continuous (in fact, 1-Lipschitz) map from $p$-adic…

Formal Languages and Automata Theory · Computer Science 2012-05-10 Vladimir Anashin

We consider dynamical systems $(X,T,\mu)$ which have exponential decay of correlations for either H\"older continuous functions or functions of bounded variation. Given a sequence of balls $(B_n)_{n=1}^\infty$, we give sufficient conditions…

Dynamical Systems · Mathematics 2021-08-31 Charis Ganotaki , Tomas Persson

We investigate uniform ergodic type theorems for additive and subadditive functions on a subshift over a finite alphabet. We show that every strictly ergodic subshift admits a uniform ergodic theorem for Banach-space-valued additive…

Dynamical Systems · Mathematics 2007-05-23 Daniel Lenz

Currie and Saari initiated the study of least periods of infinite words, and they showed that every integer n >= 1 is a least period of the Thue-Morse sequence. We generalize this result to show that the characteristic sequence of least…

Formal Languages and Automata Theory · Computer Science 2012-07-24 Daniel Goc , Jeffrey Shallit

Floyd gave an example of a minimal dynamical system which was an extension of an odometer and the fibres of the associated factor map were either singletons or intervals. Gjerde and Johansen showed that the odometer could be replaced by any…

Dynamical Systems · Mathematics 2020-11-20 Robin J. Deeley , Ian F. Putnam , Karen R. Strung

We consider linear iterated function systems with a random multiplicative error on the real line. Our system is $\{x\mapsto d_i + \lambda_i Y x\}_{i=1}^m$, where $d_i\in \R$ and $\lambda_i>0$ are fixed and $Y> 0$ is a random variable with…

Dynamical Systems · Mathematics 2007-05-23 Yuval Peres , Károly Simon , Boris Solomyak

We define the notion of uniformly recurrent subgroup, URS in short, which is a topological analog of the notion of invariant random subgroup (IRS), introduced in a work of M. Abert, Y. Glasner and B. Virag. Our main results are as follows.…

Dynamical Systems · Mathematics 2014-02-25 Eli Glasner , Benjamin Weiss

Let $a_n$ be the random increasing sequence of natural numbers which takes each value independently with decreasing probability of order $n^{-\alpha}$, $0 < \alpha < 1/2$. We prove that, almost surely, for every measure-preserving system…

Classical Analysis and ODEs · Mathematics 2017-08-18 Ben Krause , Pavel Zorin-Kranich

In this article we provide a proof of the so called absolute continuity theorem for random dynamical systems on $R^d$ which have an invariant probability measure. First we present the construction of local stable manifolds in this case.…

Probability · Mathematics 2014-01-07 Moritz Biskamp

An automatic sequence is a letter-to-letter coding of a fixed point of a uniform morphism. More generally, we have morphic sequences, which are letter-to-letter codings of fixed points of arbitrary morphisms. There are many examples where…

Number Theory · Mathematics 2020-10-05 J. -P. Allouche , F. M. Dekking , M. Queffélec