Colloque

Simulation de machines de Turing sur ordinateur

Mark Tichenor

MT

Membre a labase

Mark Tichenor

Résumé du 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.

Contexte

Section :

Statistiques et science du calcul

Thème du colloque :

Statistiques et science du calcul

Responsables :

J.G. Debanne

Hôte : Université d’Ottawa

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Statistiques et science du calcul

Application de la théorie des treillis à l'analyse chimique par une propriété additive

Michel Trehel

Ordonnancement des tâches dans un atelier de construction

Michel Florian

Langages de précédence totale

Alain Colmerauer

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Statistiques et science du calcul

Simulation de machines de Turing sur ordinateur

Mark Tichenor