Title: Automata Theory and Logic