TY - BOOK AU - Martin,John C. TI - Introduction to languages and the theory of computation SN - 0-07-040659-6 U1 - 511.3 20 PY - 1991/// CY - New York PB - McGraw-Hill KW - Sequential machine theory KW - Computable functions N1 - Includes bibliographical references (p. 453-455) and index ER -