TY - BOOK AU - Sipser, M TI - Introduction to the theory of computation SN - 9812402268 U1 - 004 PY - 2003/// CY - Boston PB - Thomson KW - AUTOMATA-LANGUAGE KW - COMPUTATION ER -