Théorème de Savitch
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 913 | Machines de Turing. Applications.2021 |
Utilisateur : Meven
Références :
Introduction to the theory of computation - Sipser
Langages formels, Calculabilité et Complexité - Carton