Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
L'auteur décrit un programme ALGOL qui permet de simuler le fonctionnement de n'importe quelle machine de Turing dont la description lui est donnée en entrée. Un contrôle est effectué afin de signaler l'apparition d'un cycle dans le calcul de la machine considérée.
