Dans son article de 1936 « On computable numbers, with an application to the Entscheidungsproblem », Turing introduit le concept d'une machine supposément capable de calculer tout ce qui est calculable. Pour décrire le fonctionnement de ces machines, Turing emploie, tantôt explicitement, tantôt implicitement, plusieurs langages formels successifs. Nous décrivons la syntaxe de ces différents langages et l'usage que Turing en fait.
Infos
- Baptiste Mélès
- 6 février 2023 09:57
- Cours - Formations
- Français
- Master
