TY - BOOK AU - Martin,John C. TI - Introduction to languages and the theory of computation SN - 0070408459 (hard : acidfree paper) U1 - 511.35 22 PY - 1997/// CY - New York PB - McGraw-Hill KW - Mathematics KW - Mathematical logic KW - Sequential machine theory KW - Computable functions N1 - Includes bibliographical references (p. 438-440) and indexes ER -