Sipser, Michael.

Introduction to the theory of computation / Michael Sipser. - Boston ; Toronto : PWS, c1997. - xv, 396 p. : ill.

Bibliographie: p. 381-385.

053494728X 9780534947286

96035322


Computational complexity.
Complejidad computacional.
Complexité de calcul (Informatique)
Complexité de calcul (informatique).
Informatique--Modáeles mathâematiques.
Turing, Machines de.
Décidabilité (logique mathâematique).
calculabilité.
automate.
langage formel.
complexité calcul.
théorie machine.

Automate Calcul Calculabilite Calculateur Complexite Formel Informatique Langage Machine Mathematique Programmation Theorie


Machine theory.

QA 267 / S618i 1997