scientific article; zbMATH DE number 3229502
From MaRDI portal
Publication:5517677
zbMath0142.24902MaRDI QIDQ5517677
Publication date: 1960
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)
Related Items
Learning power and language expressiveness. ⋮ The inference of tree languages from finite samples: An algebraic approach ⋮ On the factors of automatic words ⋮ On the complexity of \(\omega\)-type Turing acceptors ⋮ The temporal semantics of concurrent programs ⋮ A first-order logic characterisation of safety and co-safety languages ⋮ First-Order Logic and Numeration Systems ⋮ Generalized automata on infinite trees and Muller-McNaughton's theorem ⋮ Nested antichains for WS1S ⋮ Hierarchies and reducibilities on regular languages related to modulo counting ⋮ ``Most of leads to undecidability: failure of adding frequencies to LTL ⋮ Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol ⋮ The multiple facets of the canonical direct unit implicational basis ⋮ \(\omega\)-computations on Turing machines ⋮ Weighted automata ⋮ Automata on finite trees ⋮ Varieties ⋮ Infinitary tree languages recognized by \(\omega\)-automata