TY - BOOK AU - Martin, John C. TI - Introduction to languages and the theory of computation SN - 9780071289429 (pbk.) U1 - 511.3 23 PY - 2011/// CY - New York PB - McGraw Hill KW - Sequential machine theory KW - Computable functions KW - Logic, Symbolic and mathematical N1 - Includes bibliographical references (p.425-426) and index ER -