TY  - BOOK
AU  - Baitipuli, Venkatesh N.
TI  - Formal Languages and Automata Theory
SN  - 978-81-280-0918-1
U1  - 511.3 
PY  - 2008///
CY  - Bangalore
PB  - Sapna Book House
KW  - Pushdown Automata
KW  - Turing Machine
KW  - Undecidability
ER  -