Hopcroft, John E Introduction to Automata Theory, Languages, and Computation - 2 ed. - Delhi Pearson Education 2004 - p.521 ISBN: 8178083477 Subjects--Topical Terms: Finite Automata Deductive Proofs Strings Lexical Analysis Dewey Class. No.: 621.38195 H81