TY - BOOK AU - Sipser, Michael TI - Theory of computation U1 - 511.3 SIP/The PY - 2007/// CY - Australia PB - Course technology KW - Mathematics N2 - Contents Automata and languages Computability Theory Complexity Theory ER -