File talk:Introduction to Automata Theory, Languages, and Computation.jpg