TY - BOOK AU - Sipser, Michael. TI - Introduction to the theory of computation SN - 9812402268 U1 - 511.3 1 PY - 1997/// CY - London PB - Thomson Books Cole KW - Automata and Languages KW - Computability theory KW - Advanced topics in complexity theory ER -