TY  - BOOK
AU  - Martin,John C.
TI  - Introduction to languages and the theory of computation
SN  - 9780071289429
U1  - 511.3 M363 2011 
PY  - 2011///
CY  - New York
PB  - McGraw-Hill
KW  - Sequential machine theory
KW  - Computable functions
KW  - Mathematical logic
N1  - Includes index; Mathematical tools and techniques --
Finite automata and the languages they accept --
Regular expressions, nondeterminism, and Kleene's Theorem --
Context-free languages --
Pushdown automata --
Context-free and con-context-free languages --
Turing machines --
Recursively enumerable languages --
Undecidable problems --
Computable functions --
Introduction to computational complexity; 500-599; 511
N2  - Helps students make the connection between the practice of computing and an understanding of the profound ideas that defines it. This book presents the necessary mathematical tools which provide discussion and examples that make the language intelligible
ER  -