TY - BOOK AU - Martin, John C. TI - Introduction to languages and the theory of computation SN - 007115468X. U1 - 005.131 PY - 0000///[n.d.] CY - New Delhi PB - Tata McGrawHill Publishing Company KW - Sequential machine theory KW - Mathematical logic KW - Computable functions ER -