TY - BOOK AU - Martin, John C. TI - Introduction to Languages and the Theory of Computation SN - 0070406596 U1 - 511.3 PY - 1991/// CY - New York PB - McGraw-Hill, Inc. KW - Sequential Machine Theory KW - Computable Functions ER -