Développement #588

Titre : Implémentation de la beta-réduction dans une machine de Turing

Contenu : On décrit ici le fonctionnement d'une machine de Turing capable d'effectuer un pas de $\beta$-réduction sur un $\lambda$-terme.\r\rIl découle de ce résultat que toute fonction $\lambda$-calculable est calculable par une machine de Turing.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42