Une machine de Turing se compose d'un ruban (les données), d'une tête de lecture et écriture et d'unité de traitement qui conserve l'état actuel de la machine (q) et la table de transition (le programme). L'objectif de ce tp est de réaliser un programme Pascal permettant de simuler le fonctionnement d'une MT. Pour cela, chaque exécution de notre programme Pascal demande d'introduire le nom d'un fichier texte (porte l'extension MT) ; ce fichier MT contient 4 informations :
- l'ensemble des etats Q ;
- l'ensemble des vocabulaires (V) ;
- l'ensemble des etats finaux ;
- la table de transition(TT).
Le fichier texte MT s'organise de la façon suivante :
Addition.MT
--------------------------------------
Q=q0,q1,q2;q3;..
V=B,a,b,...
F=q7,q8
TT=q01Dq1,q11Dq1....
Après la lecture de fichier, notre prog Pascal doit d'abord vérifier la validité syntaxique de ces données. Si les infos introduites sont valides, il affiche le contenu de ce fichier sinon il signale l'erreur.
Partager