Thomas, Wolfgang Automata on infinite objects. (English) Zbl 0900.68316 van Leeuwen, Jan (ed.), Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 133-191 (1990). For the entire collection see [Zbl 0714.68001]. Cited in 2 ReviewsCited in 275 Documents MSC: 68Q45 Formal languages and automata PDF BibTeX XML Cite \textit{W. Thomas}, in: Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 133--191 (1990; Zbl 0900.68316)