Hopcroft, John E. Motwani, Rajeev. Ullman, Jeffrey, D. Introduction to Automata Theory, Languages, and Computation, - 3 - Chennai Pearson Education 2009 - p.487 ISBN: 9788131720479 Subjects--Topical Terms: Proofs Automata Protocal Beaten Dewey Class. No.: 621.38195 H81I