Publication:4818843
From MaRDI portal
zbMath1045.03518MaRDI QIDQ4818843
Publication date: 24 September 2004
03D05: Automata and formal grammars in connection with logical questions
68Q70: Algebraic theory of languages and automata
20M35: Semigroups in automata theory, linguistics, etc.
Related Items
Expressive power of existential first-order sentences of Büchi's sequential calculus, A new algorithm for testing if a regular language is locally threshold testable