Publication:5517677
From MaRDI portal
zbMath0142.24902MaRDI QIDQ5517677
Publication date: 1960
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
Related Items
Infinitary tree languages recognized by \(\omega\)-automata, The multiple facets of the canonical direct unit implicational basis, On the complexity of \(\omega\)-type Turing acceptors, The temporal semantics of concurrent programs, Generalized automata on infinite trees and Muller-McNaughton's theorem, \(\omega\)-computations on Turing machines, The inference of tree languages from finite samples: An algebraic approach, On the factors of automatic words, Learning power and language expressiveness., Hierarchies and reducibilities on regular languages related to modulo counting