Morphic and Automatic Words: Maximal Blocks and Diophantine Approximation

dc.creatorBugeaud, Yann
dc.creatorKrieger, Dalia
dc.creatorShallit, Jeffrey
dc.date2008-08-19
dc.date2009-04-16
dc.date.accessioned2026-07-07T13:04:04Z
dc.date.available2026-07-07T13:04:04Z
dc.descriptionLet $\mb w$ be a morphic word over a finite alphabet $Σ$, and let $Δ$ be a nonempty subset of $Σ$. We study the behavior of maximal blocks consisting only of letters from $Δ$ in $\mb w$, and prove the following: let $(i_k,j_k)$ denote the starting and ending positions, respectively, of the $k$'th maximal $Δ$-block in $\mb w$. Then $\limsup_{k\to\infty} (j_k/i_k)$ is algebraic if $\mb w$ is morphic, and rational if $\mb w$ is automatic. As a result, we show that the same conclusion holds if $(i_k,j_k)$ are the starting and ending positions of the $k$'th maximal zero block, and, more generally, of the $k$'th maximal $x$-block, where $x$ is an arbitrary word. This enables us to draw conclusions about the irrationality exponent of automatic and morphic numbers. In particular, we show that the irrationality exponent of automatic (resp., morphic) numbers belonging to a certain class that we define is rational (resp., algebraic).
dc.description16 pages, 1 figure
dc.identifierhttps://arxiv.org/abs/0808.2544
dc.identifierhttp://arxiv.org/abs/0808.2544
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/227027
dc.subjectCombinatorics
dc.subjectFormal Languages and Automata Theory
dc.subject68R15
dc.titleMorphic and Automatic Words: Maximal Blocks and Diophantine Approximation
dc.typetext

Files

Collections