Formal Languages and Automata Theory, Introduction to Automata Theory, Languages and Computation. Formal Languages and Automat Theory deals with the ...