TY - BOOK AU - Martin,John C. TI - Introduction to languages and the theory of computation SN - 0071289429 : PY - 2011/// CY - New York PB - McGraw-Hill KW - Sequential machine theory KW - Computable functions ER -