An Introduction to Finite Automata and their Connection to Logic

DOI10.1142/9789814271059_0001zbMath1256.68112arXiv1011.6491OpenAlexW2964164509MaRDI QIDQ4907853

Howard Straubing, Pascal Weil

Publication date: 26 February 2013

Published in: Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1011.6491

zbMATH Keywords

equivalencemonadic second-order logicminimizationfinite automatafirst-order definabilitydeterminizationfirst-order aperiodicity

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (2)

Minimal state automata for detecting a \(\beta\) globin gene mutation ⋮ The Quantifier Alternation Hierarchy of Synchronous Relations

This page was built for publication: An Introduction to Finite Automata and their Connection to Logic