The Critical Exponent is Computable for Automatic Sequences

The critical exponent of an infinite word is defined to be the supremum of the exponent of each of its factors. For k-automatic sequences, we show that this critical exponent is always either a rational number or infinite, and its value is computable. This generalizes or recovers previous results of...

Full description

Bibliographic Details
Main Author: Jeffrey Shallit
Format: Article
Language:English
Published: Open Publishing Association 2011-08-01
Series:Electronic Proceedings in Theoretical Computer Science