Equations in words: An algorithmic contribution.
Néraud, Jean (1994)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Similarity:
Néraud, Jean (1994)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Similarity:
Václav Flaška, Tomáš Kepka, Juha Kortelainen (2010)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Martin, Jeremy L., Wagner, Jennifer D. (2009)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Silberger, D.M. (1971)
Portugaliae mathematica
Similarity:
Harju, Tero, Nowotka, Dirk (2008)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Michelangelo Bucci, Aldo de Luca, Alessandro De Luca, Luca Q. Zamboni (2008)
RAIRO - Theoretical Informatics and Applications
Similarity:
In this paper, we solve some open problems related to (pseudo)palindrome closure operators and to the infinite words generated by their iteration, that is, standard episturmian and pseudostandard words. We show that if is an involutory antimorphism of , then the right and left -palindromic closures of any factor of a -standard word are also factors of some -standard word. We also introduce the class of pseudostandard words with “seed”, obtained by iterated pseudopalindrome closure...
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.
Wit Foryś (2004)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
We present a description of asymptotic behaviour of languages of bi-infinite words obtained by iterating morphisms defined on free monoids.