TY - BOOK AU - Sipser Michael TI - Theory of computation U1 - D6,8(B), P7 PY - 2007/// CY - Australia PB - Cengage Learning KW - Computer-Theory ER -