Degrees of infinite words, polynomials and atoms
: Jörg Endrullis, Juhani Karhumäki, Jan Willem Klop, Aleksi Saarela
: Srečko Brlek, Christophe Reutenauer
: International Conference on Developments in Language Theory
: 2016
: Developments in Language Theory: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
: Lecture Notes in Computer Science
: 9840
: 9840
: 164
: 176
: 13
: 978-3-662-53131-0
: 978-3-662-53132-7
: 0302-9743
DOI: https://doi.org/10.1007/978-3-662-53132-7_14
Our objects of study are finite state
transducers and their power for transforming infinite words. Infinite
sequences of symbols are of paramount importance in a wide range of
fields, from formal languages to pure mathematics and physics. While
finite automata for recognising and transforming languages are
well-understood, very little is known about the power of automata to
transform infinite words.
We use methods
from linear algebra and analysis to show that there is an infinite
number of atoms in the transducer degrees, that is, minimal non-trivial
degrees.