The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “A graph approach to computing nondeterminacy in substitutional dynamical systems ”

Axiomatizing omega and omega-op powers of words

Stephen L. Bloom, Zoltán Ésik (2004)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

In 1978, Courcelle asked for a complete set of axioms and rules for the equational theory of (discrete regular) words equipped with the operations of product, omega power and omega-op power. In this paper we find a simple set of equations and prove they are complete. Moreover, we show that the equational theory is decidable in polynomial time.

On substitution invariant Sturmian words: an application of Rauzy fractals

Valérie Berthé, Hiromi Ei, Shunji Ito, Hui Rao (2007)

RAIRO - Theoretical Informatics and Applications

Similarity:

Sturmian words are infinite words that have exactly factors of length for every positive integer . A Sturmian word is also defined as a coding over a two-letter alphabet of the orbit of point under the action of the irrational rotation (mod 1). A substitution fixes a Sturmian word if and only if it is invertible. The main object of the present paper is to investigate Rauzy fractals associated with two-letter invertible substitutions. As an application, we give an alternative ...