TY - BOOK AU - Sipser,Michael TI - Introduction to the theory of computation SN - 9788131525296 AV - QA267 .S56 2013 PY - 2013/// CY - Melbourne (Australia) PB - Cengage Learning KW - Teoría de las máquinas KW - Complejidad computacional KW - Informática KW - Matemáticas N1 - Regular languages -- Context-free languages -- The Church-Turing thesis -- Decidability -- Reducibility -- Advanced topics in computability theory -- Time complexity -- Space complexity -- Interactibility -- Advanced topics in complexity theory N2 - Clearly present even the most complex computational theory topics to your students using Sipser's textbook. This updated edition continues Sipser's approachable style with timely revisions, additional exercises, and more memorable examples in key areas ER -