TY  - BOOK
AU  - Martin, John C
TI  - Introduction to Langauges and The Theory of Computation
U1  - 004 
PY  - 2003///
CY  - Newdelhi
PB  - Tata McGRAW-Hill Publishing company limited
KW  - logic
KW  - basic mathematical notation and techniques
KW  - pushdown automata
N1  - bibliography & index
ER  -