L'HYPER-CALCUL - Theses.fr

Th`ese P : un DMDD satisfait les 4 principes. 2. Théor`eme : les fonctions calculables par un dispositif satisfaisant les. 4 principes sont Turing-calculables.