Hopcroft, John E. Introduction to automata theory, languages, and computation / John E. Hopcroft. - 3rd ed. - New Delhi: Pearson, c2016-2017. - 553p.: ill.;, figs.;, tables.; 24 cm. Includes index. Dept. of CSE ISBN: 8131714292 Subjects--Topical Terms: Deductive proofs Dewey Class. No.: 004 / HOI