Publication:5723183
From MaRDI portal
zbMath0115.00701MaRDI QIDQ5723183
Publication date: 1962
Related Items
Unnamed Item, Unnamed Item, On the classification of computable languages, On the minimization problem for ω-automata, A Characterisation of Pi^0_2 Regular Tree Languages, From Logic to Theoretical Computer Science – An Update, Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey, From Monadic Logic to PSL, On the existential arithmetics with addition and bitwise minimum, A logical approach to locality in pictures languages, Learning regular omega languages, On the classification of recursive languages, Characterizations of rational \(\omega\)-languages by means of right congruences, Finite-state \(\omega\)-languages, Relativizations for the logic-automata connection, Expressibility in a restricted second-order arithmetic, Inferring regular languages and \(\omega\)-languages, Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic, Shift-invariant topologies for the Cantor space \(X^{\omega}\), Deciding FO-definability of regular languages, Subword Metrics for Infinite Words, A geometrical view of the determinization and minimization of finite-state automata