TY  - BOOK
AU  - Sipser,Michael
TI  - Introduction to the theory of computation
SN  - 9781133187790
AV  - QA267  .S56 2013
U1  - 511.3 20
PY  - 2013///
CY  - Boston, MA
PB  - Cengage Learning
KW  - Théorie des automates
KW  - Complexité de calcul (Informatique)
KW  - Machine theory
KW  - Computational complexity
KW  - Automates mathématiques, Théorie des
KW  - ram
KW  - Complexité de calcul (informatique)
KW  - Informatique
KW  - Modèles mathématiques
KW  - Turing, Machines de
KW  - Décidabilité (logique mathématique)
KW  - fast
N1  - Bibliogr.: p. 443-447; 1; Regular languages --; 2; Context-free languages --; 3; The Church-Turing thesis --; 4; Decidability --; 5; Reducibility --; 6; Advanced topics in computability theory --; 7; Time complexity --; 8; Space complexity --; 9; Interactibility --; 10; Advanced topics in complexity theory
ER  -