 |
Turing-équivalent
| Wikipédia en français - L'encyclopédie libre | Download this dictionary |
Turing-équivalent
Désigne un système strictement Turing-complet, c'est-à-dire, pouvant calculer exactement le même ensemble de fonctions que les machines de Turing (les fonctions calculables), sans plus.
| Pour la suite, voir Wikipédia.org… |
© Cet article se sert du contenu de Wikipédia® et est autorisé sous les termes de la Licence de Documentation libre GNU et est distribué sous les termes de la licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé.
