TY - BOOK AU - Martin,John C. TI - Introduction to languages and the theory of computation SN - 9780073191461 AV - QA267.5.S4 M29 2011 U1 - 511.3/5 22 PY - 2011/// CY - New York PB - Mc Graw Hill KW - Sequential machine theory KW - Computable functions KW - Toán học KW - Lôgic toán N1 - Includes bibliographical references (p. 425-426) and index ER -