Factorization forests for infinite words and applications to countable scattered linear orderings

The theorem of factorization forests of Imre Simon shows the existence of nested factorizations -- `a la Ramsey -- for finite words. This theorem has important applications in semigroup theory, and beyond. We provide two improvements to the standard result. First we improve on all previously known bounds. Second, we extend it to `every linear ordering'. We use this last variant in a simplified proof of the translation of recognisable languages over countable scattered linear orderings to languages accepted by automata. Key words: Formal languages, semigroups, infinite words, automata, factorization trees

• Type: Journal
• Year: 2010
• Where: TCS
• Authors: Thomas Colcombet
• Keywords: A La Ramsey, Countable Scattered Linear, Factorization Forests, TCS 2010, Theoretical Computer Science