TY - BOOK AU - Martin,John C. TI - Introduction to languages and the theory of computation SN - 9780071289429 AV - QA 267.5 MAR PY - 2011/// CY - New York, NY PB - McGraw-Hill KW - Sequential machine theory KW - Computable functions N1 - Includes bibliographical references (pages 425-426) and 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 ER -