Automata Theory by Jeffrey D. Ullman