TY - BOOK AU - Martin,John C. TI - Introduction to Languages and the Theory of Computation SN - 007115468x AV - QA267.5.S4 M379 I5 1997 PY - 1997/// CY - New York PB - McGraw-Hill KW - Sequential machine theory KW - Computable functions ER -