TY - BOOK AU - Sipser, Michael, TI - Introduction to the theory of computation SN - 9789814221931 [newsprint] PY - 2007/// CY - Australia PB - Thompson Course Technology KW - Machine theory KW - computation N1 - Includes bibliographical references and index; Contents: Part one Automata and languages -- Part two Computability theory -- Part three Complexity theory ER -