TY  - BOOK
AU  - Hopcroft,John E.
AU  - Motwani,Rajeev
AU  - Ullman,Jeffrey D
TI  - Introduction to automata theory, languages, and computation / 
SN  - 8131714292
U1  - 004 22
PY  - 2016///-2017
CY  - New Delhi
PB  - Pearson
KW  - Deductive proofs
N1  - Includes index; Dept. of CSE
ER  -