An introduction to finite automata and their connection to logic

Howard Straubing, Pascal Weil

This is a tutorial on finite automata. We present the standard material on determinization and minimization, as well as an account of the equivalence of finite automata and monadic…