TY - BOOK AU - Martin, John C. TI - Introduction to languages and the theory of computation SN - 9780071289429 AV - QA 267.5 .S4 M377I 2011 PY - 2011/// CY - New York, N.Y. PB - McGraw-Hill KW - Sequential machine theory KW - Computable functions N1 - Includes bibliographical references and index ER -