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

8131714292


Deductive proofs

004 / HOI