Theoretical Informatics is a branch of computer science that focuses on the mathematical and abstract foundations of computation, information processing, and algorithmic theory. It encompasses the study of computational models, complexity theory, formal languages, and automata, aiming to understand the limits and capabilities of computation.
lightbulbAbout this topic
Theoretical Informatics is a branch of computer science that focuses on the mathematical and abstract foundations of computation, information processing, and algorithmic theory. It encompasses the study of computational models, complexity theory, formal languages, and automata, aiming to understand the limits and capabilities of computation.
Episturmian morphisms constitute a powerful tool to study episturmian words. Indeed, any episturmian word can be infinitely decomposed over the set of pure episturmian morphisms. Thus, an episturmian word can be defined by one of its... more
Episturmian morphisms constitute a powerful tool to study episturmian words. Indeed, any episturmian word can be infinitely decomposed over the set of pure episturmian morphisms. Thus, an episturmian word can be defined by one of its morphic decompositions or, equivalently, by a certain directive word. Here we characterize pairs of words directing a common episturmian word. We also propose a way to uniquely define any episturmian word through a normalization of its directive words. As a consequence of these results, we characterize episturmian words having a unique directive word.
2005, RAIRO - Theoretical Informatics and Applications
We show that semigroups representable by triangular matrices over a fixed finite field form a decidable pseudovariety and provide a finite pseudoidentity basis for it.