TY  - BOOK
AU  - Sipser,Michael
TI  - Introduction to the theory of computation
SN  - 053494728X
AV  - QA 267 S618i 1997
PY  - 1997///
CY  - Boston ; Toronto
PB  - PWS
KW  - Computational complexity
KW  - Complejidad computacional
KW  - Complexité de calcul (Informatique)
KW  - Complexité de calcul (informatique)
KW  - ram
KW  - Informatique
KW  - Modáeles mathâematiques
KW  - Turing, Machines de
KW  - Décidabilité (logique mathâematique)
KW  - calculabilité
KW  - inriac
KW  - automate
KW  - langage formel
KW  - complexité calcul
KW  - théorie machine
KW  - Automate
KW  - Calcul
KW  - Calculabilite
KW  - Calculateur
KW  - Complexite
KW  - Formel
KW  - Langage
KW  - Machine
KW  - Mathematique
KW  - Programmation
KW  - Theorie
KW  - Machine theory
N1  - Bibliographie: p. 381-385
ER  -