ITERATIVE DEVICES GENERATING INFINITE WORDS
Abstract
We consider various TAG-like devices that generate one-way infinite words in real time. The simplest types of these devices are equivalent to iterative morphisms (also called substitutions), automatic sequences and iterative DGSM’s. We consider also a few new types. Mainly we study the comparative power of these mechanisms and develop some techniques for proving that certain devices cannot produce a particular infinite word.
This work was done during the first author’s stay at the University of Turku, Finland, supported by the Academy of Finland.