Cours LFI-2 (Master Académique)

Slides:



Advertisements
Présentations similaires
La place accordée à l’expression des salariés sur leur travail et leurs conditions de travail dans l’entreprise Résultats sondage exclusif CSA/ANACT.
Advertisements

Mais vous comprenez qu’il s’agit d’une « tromperie ».
Le Nom L’adjectif Le verbe Objectif: Orthogram
ORTHOGRAM PM 3 ou 4 Ecrire: « a » ou « à » Référentiel page 6
LES NOMBRES PREMIERS ET COMPOSÉS
Licence pro MPCQ : Cours
Présentation de la circonscription Année 2011/2012 Jeudi 24 novembre 2011.
Additions soustractions
Distance inter-locuteur
1 Plus loin dans lutilisation de Windows Vista ©Yves Roger Cornil - 2 août
11 Bienvenue Entrez le nom du groupe ou projet ici mardi, 17 novembre 2009.
ACTIVITES NUMERIQUES Ranger les nombres Trouver le nombre manquant
Les numéros 70 –
Les numéros
Les identités remarquables
Le, la, les words Possessive Adjectives MINE!!. 2 My in french is mon, ma,mes... Le word/ begins with a vowel: Mon La word: Ma Les word: Mes.
Introduction à la logique
Calcul mental 3ème 2 Septembre 2010
LES TRIANGLES 1. Définitions 2. Constructions 3. Propriétés.
Données statistiques sur le droit doption au 31/01 8 février 2012.
Technologies et pédagogie actives en FGA. Plan de latelier 1.Introduction 2.Les technologies en éducation 3.iPads 4.TNI 5.Ordinateurs portables 6.Téléphones.
Enquête sur le Rapport de la Commission Bouchard-Taylor Jack Jedwab Directeur général Association détudes canadiennes 11 juin 2008.
Révision (p. 130, texte) Nombres (1-100).
La législation formation, les aides des pouvoirs publics
1 7 Langues niveaux débutant à avancé. 2 Allemand.
La méthodologie………………………………………………………….. p3 Les résultats
1 Juin 2010 Sondage auprès des jeunes Marocains résidant en Europe ( France, Espagne, Italie, Belgique, Pays-Bas et Allemagne ) Juin 2010 Réf. : TL251.
Structure(djs)TéléphoneFax ADRA R049,96,03,21 CHLEF027,77,22,66 /77,49, LAGHOUAT029,90,41,08029,90,42,47 OUM EL BOUAGHI032,42,16,26032,42,45,32.
Jack Jedwab Association détudes canadiennes Le 27 septembre 2008 Sondage post-Olympique.
Le soccer & les turbans Sondage mené par lAssociation détudes canadiennes 14 juin 2013.
Présentation générale
GRAM 1 CE2 Je sais transformer une phrase affirmative en phrase négative.
Le drapeau canadien comme symbole de fierté nationale : une question de valeurs partagées Jack Jedwab Association détudes canadiennes 28 novembre 2012.
Le Concours de Conaissance Francais I novembre 2012.
Si le Diaporama ne s'ouvre pas en plein écran Faites F5 sur votre clavier.
Titre : Implémentation des éléments finis sous Matlab
Les nombres.
Les quartiers Villeray – La Petite-Patrie et les voisinages
Fierté envers les symboles et institutions canadiens Jack Jedwab Association détudes canadiennes 26 novembre 2012.
Conseil Administration AFRAC – 2 décembre Toulouse 1 Fermes de références Palmipèdes à foie gras Synthèse régionale – Midi Pyrénées Exercice
LES NOMBRES PREMIERS ET COMPOSÉS
CLL11 : chlorambucil (CLB) versus CLB + rituximab (R)
S ervice A cadémique de l I nspection de l A pprentissage dOrléans-Tours Nombre de CFA par académie 1 CFA académique avec 25 UFA 1 CFA académique avec.
Logiciel gratuit à télécharger à cette adresse :
Les chiffres & les nombres
Calculs et écritures fractionnaires
RACINES CARREES Définition Développer avec la distributivité Produit 1
DUMP GAUCHE INTERFERENCES AVEC BOITIERS IFS D.G. – Le – 1/56.
Année universitaire Réalisé par: Dr. Aymen Ayari Cours Réseaux étendus LATRI 3 1.
Jean-Marc Léger Président Léger Marketing Léger Marketing Les élections présidentielles américaines.
MAGIE Réalisé par Mons. RITTER J-P Le 24 octobre 2004.
1 INETOP
Les Nombres 0 – 100 en français.
Aire d’une figure par encadrement
Comment rendre une femme heureuse…
P.A. MARQUES S.A.S Z.I. de la Moussière F DROUE Tél.: + 33 (0) Fax + 33 (0)
IFT Complexité et NP-complétude Chapitre 0 Rappels.
Les fondements constitutionnels
MAGIE Réalisé par Mons. RITTER J-P Le 24 octobre 2004.
Traitement de différentes préoccupations Le 28 octobre et 4 novembre 2010.
1/65 微距摄影 美丽的微距摄影 Encore une belle leçon de Macrophotographies venant du Soleil Levant Louis.
Certains droits réservés pour plus d’infos, cliquer sur l’icône.
Nom:____________ Prénom: ___________
Cours LFI-2 (Master Académique)
Annexe Résultats provinciaux comparés à la moyenne canadienne
EGALITE PROFESSIONNELLE ENTRE LES FEMMES ET LES HOMMES
Les machines de Turing Lionel Blavy Sébastien Giraud Fabien Tricoire
La formation des maîtres et la manifestation de la compétence professionnelle à intégrer les technologies de l'information et des communications (TIC)
Bienvenue.
Transcription de la présentation:

Cours LFI-2 (Master Académique) Machines de Turing (partie 2) Cours LFI-2 (Master Académique) 2007/2008

Plan Introduction MT variante quadruplets Machine de Turing à déplacements (gauche,droite) Machine de Turing à états finaux Machine de Turing à Ruban Multicases Machine de Turing à ruban bi-infini Machine de Turing à K rubans Machine de Turing à plusieurs têtes Machine de Turing déterministe/indéterministe Machine de Turing Universelle Conclusion

Introduction Il existe de nombreuses variantes des machines de Turing. Il existe en fait presque autant de variantes qu'il y a de livres traitant le sujet des machines de Turing. Parmi ces variantes, certaines sont classiques, d'autres sont plus marginales.

Introduction Les différentes variantes des MT se distinguent par: L’ensemble des mouvements possibles de la tête: {,,,H}, {,,H}, {,},….. Le nombre de têtes de lecture/écriture: machine à 1, 2, ..n têtes. La nature du ruban: bi-infini, multicase , … Le nombre de rubans: machine à 1,2,..k rubans Le type des états: état final, état accept, état rejet,… Type de transition : déterministe/indéterministe

Introduction Certaines variantes des MT sont plus appropriées par rapports à d’autres selon le type de problème considéré. Le point essentiel est que toutes ces variantes sont équivalentes. Ceci signifie que tout ce qui peut être fait par un type de machines peut aussi être fait par un autre de type de machines. Nous verrons que c'est en particulier vrai pour les variantes classiques.

Plan Introduction MT variante quadruplets Machine de Turing à déplacements (gauche,droite) Machine de Turing à états finaux Machine de Turing à Ruban Multicases Machine de Turing à ruban bi-infini Machine de Turing à K rubans Machine de Turing à plusieurs têtes Machine de Turing déterministe/indéterministe Machine de Turing Universelle Conclusion

Machine de Turing (quadruplets)

Dans ce type de MT la tête de lecture fait une seule action à la fois: déplacement (, ,,H ) ou écriture

Une machine de Turing est un uplet Définition Une machine de Turing est un uplet (, Q, q0, ) où:  est un alphabet fini (vocabulaire du ruban) tel que {, $}  (où : le blanc et $:début du ruban). Q est un ensemble fini d’états q0  Q est l’état initial  fonction de transition : Q ×   ( U {, ,,H}) × Q telle que: on ne se déplace jamais à gauche du marqueur de début $ et on ne peut pas l’effacer.

Q ×    × {, ,,H} × Q Exemple q0 a b  q1 Variante « quintuplets » (définition classique) Q ×   ( U {, ,,H}) × Q q0 a b q1 q0 a  q1 Exemple Variante « quadruplets »

les machines « quintuplets » sont équivalentes aux machines «quadruplets » Théorème Pour toute machine de Turing « quintuplets » M, il existe une machine de Turing « quadruplets » M’ qui exécute la même tâche et réciproquement.

Des quintuplets vers les quadruplets Chaque quintuplets de la forme q a b D q’ D {, ,,H} Sera remplacé par 2 quadruplets de la forme q a b q’’ q’’ b D q’ q’’ est un nouvel état intermédiaire

Des quadruplets vers les quintuplets Chaque quadruplet de la forme q a b q’ Sera remplacé par le quintuplet de la forme q a b  q’ Chaque quadruplet de la forme D {, ,,H} q a D q’ Sera remplacé par le quintuplet de la forme q a a D q’

Plan Introduction MT variante quadruplets Machine de Turing à déplacements (gauche,droite) Machine de Turing à états finaux Machine de Turing à Ruban Multicases Machine de Turing à ruban bi-infini Machine de Turing à K rubans Machine de Turing à plusieurs têtes Machine de Turing déterministe/indéterministe Machine de Turing Universelle Conclusion

Deux types de déplacements (gauche,droite) Machine de Turing Deux types de déplacements (gauche,droite)

Dans ce type de MT la tête de lecture se déplace toujours : d'une position à gauche ou d'une position à droite La tête de lecture ne peut pas rester sur la même position de la bande.

Dans ce type de MT la tête de lecture fait : déplacement (, ,, H ) et/ou écriture

Une machine de Turing est un uplet Définition Une machine de Turing est un uplet (, Q, q0, ) où:  est un alphabet fini (vocabulaire du ruban) tel que {, $}  (où : le blanc et $:début du ruban). Q est un ensemble fini d’états q0  Q est l’état initial  fonction de transition : Q ×    × {, ,H} × Q telle que: on ne se déplace jamais à gauche du marqueur de début $ et on ne peut pas l’effacer.

Les MT aux mouvements {, } sont équivalentes aux MT classiques Théorème Pour toute machine de Turing M aux mouvements {, }, il existe une machine de Turing M’ aux mouvements {, , }, qui exécute la même tâche et réciproquement.

Des MT à 2 mouvements aux MT classiques : Des MT à 2 mouvements peut être considérée comme une MT classique (évident)

Des MT classiques aux MT à 2 mouvements : ( ,) Chaque quintuplets de la forme q a b  q’ Sera remplacé par n+1 quintuplets de la forme q a b  q’’ q’’ X X  q’ n quintuplets q’’ : est un nouvel état intermédiaire X: un symbole de l’alphabet du ruban (X$) n: est le nombre de symboles ($) de l’alphabet du ruban

q1 a b  q1’ ={, $,a,b,c} Exemple q1’ b b  q2 q1’ a a  q2 q1’ c c  q2 q1’    q2 q1 a b  q2 q1 b c  q2 q1 b c  q2 q2 c b  q1 q2 c b  q2’ q2’ b b  q1 q2’ a a  q1 q2’ c c  q1 q2’    q1

Plan Introduction MT variante quadruplets Machine de Turing à déplacements (gauche,droite) Machine de Turing à états finaux Machine de Turing à Ruban Multicases Machine de Turing à ruban bi-infini Machine de Turing à K rubans Machine de Turing à plusieurs têtes Machine de Turing déterministe/indéterministe Machine de Turing Universelle Conclusion

Machine de Turing À états finaux

Dans ce type de MT la tête de lecture fait : déplacement (, ,, H ) et/ou écriture La MT s’arrête qu’on atteint un états final.

Une machine de Turing est un uplet Définition Une machine de Turing est un uplet (, Q, q0, , Qf) où:  est un alphabet fini (vocabulaire du ruban) tel que {, $}  (où : le blanc et $:début du ruban). Q est un ensemble fini d’états q0  Q est l’état initial  fonction de transition : Q ×    × {, ,  } × Q telle que: on ne se déplace jamais à gauche du marqueur de début $ et on ne peut pas l’effacer.

M= ({$, #, a,b}, {q0,q1,q2,q3,q4}, q0, , {q3,q4} ) Exemple M= ({$, #, a,b}, {q0,q1,q2,q3,q4}, q0, , {q3,q4} ) q4 q3 a a  b b  # #  $ $  q0 q1 q2

Les MT à états finaux sont équivalentes aux MT classiques Théorème Pour toute machine de Turing M à états finaux, il existe une machine de Turing classique M’, qui exécute la même tâche et réciproquement.

Des MT classiques aux MT à états finaux: Chaque quintuplets de la forme q a b H q’ Sera remplacé par le quintuplets de la forme q a b  q’’ q’’ : est un nouvel état final

Des MT à états finaux aux MT classiques : Chaque quintuplets de la forme q a b D q’ q’ : est un état final Sera remplacé par le n+1 quintuplets de la forme q a b D q’ q’ : est un état (non final) q’ X X H q’ n quintuplets X: un symbole de l’alphabet du ruban n: est le nombre de symboles de l’alphabet du ruban

Exemple q1 a b  q3 ={, $,a,b,c} q3 b b H q3 q3 a a H q3 q3 c c H q3 q3   H q3 q3 $ $ H q3 Qf={q3,q4} q1 a b  q3 q1 b c  q2 q1 b c  q2 q2 c b  q4 q4 b b H q4 q4 a a H q4 q4 c c H q4 q4   H q4 q4 $ $ H q4 q2 c b  q4

Plan Introduction MT variante quadruplets Machine de Turing à déplacements (gauche,droite) Machine de Turing à états finaux Machine de Turing à Ruban Multicases Machine de Turing à ruban bi-infini Machine de Turing à K rubans Machine de Turing à plusieurs têtes Machine de Turing déterministe/indéterministe Machine de Turing Universelle Conclusion

Machine de Turing à Ruban Multicases

Dans ce type de MT, le ruban est divisé en cases (comme dans les MT classiques). Chaque case du ruban est divisé en n sous-cases La tête de lecture/écriture pointe une case (et non une sous-case), et peut effacer ou écrire dans une case

$ b a c Contrôle

Une machine de Turing à ruban à n cases est un uplet (, Q, q0, ) où: Définition Une machine de Turing à ruban à n cases est un uplet (, Q, q0, ) où:  est un alphabet fini (vocabulaire du ruban) tel que {, $}  (où : le blanc et $:début du ruban). Q est un ensemble fini d’états q0  Q est l’état initial  fonction de transition : Q × n  n × {, , ,H } × Q .

Exemple de transition ( q1 (b a a) (b b b)  q2 )  $ b a c Contrôle b

les MT à ruban multicases sont équivalentes aux MT à ruban simple Théorème Pour toute machine de Turing à ruban multicases M, il existe une machine de Turing à ruban simple M’ qui exécute la même tâche et réciproquement.

Des MT à ruban simple aux MT à ruban multicases: Une MT simple est une MT à ruban à n cases (n=1)

Des MT à ruban multicases simple aux MT à ruban simple: M: Une MT à ruban à n cases M= (, Q, q0, ) M’: Une MT à ruban simple M’= (’, Q, q0, ’) Où : M’ qui fonctionne sur l’alphabet ’= n Pour toute transition de M  (q (a1,a2,..an))= ((b1,b2,..,bn) D q’ ) On définit la transition dans M’ ’( q a1a2..an )= (b1b2..bn D q’ )

Plan Introduction MT variante quadruplets Machine de Turing à déplacements (gauche,droite) Machine de Turing à états finaux Machine de Turing à Ruban Multicases Machine de Turing à ruban bi-infini Machine de Turing à K rubans Machine de Turing à plusieurs têtes Machine de Turing déterministe/indéterministe Machine de Turing Universelle Conclusion

Machine de Turing à ruban bi-infini

La définition d'une machine à ruban bi-infini est identique à celle d'une machine à ruban semi-infinie excepté le fait que le ruban est infini à droite mais aussi à gauche. Cela signifie de façon plus formelle que la bande est une suite de positions indexées par tous les entiers. Le contenu de la bandes à un instant donné est une suite … a-3 a-2 a-1 a0 a1 a2 a3 …

b c a # contrôle

Au début du calcul, l'entrée initiale est écrite sur les positions 0, Au début du calcul, l'entrée initiale est écrite sur les positions 0,...,k de la bande et toutes les autres positions sont remplies par le symbole blanc #. L'entrée est donc délimitée à gauche et à droite par des symboles #. Au début du calcul, la tête de lecture se trouve sur la position 0 de la bande, sur le premier symbole de l'entrée initiale.

Une machine de Turing à ruban bi-infini est un uplet (, Q, q0, ) où: Définition Une machine de Turing à ruban bi-infini est un uplet (, Q, q0, ) où:  est un alphabet fini (vocabulaire du ruban) tel que {, $}  (où : le blanc et $:début du ruban). Q est un ensemble fini d’états q0  Q est l’état initial  fonction de transition : Q ×    × {, , ,H } × Q .

les MT à ruban semi-infini sont équivalentes aux MT à ruban bi-infini Théorème Pour toute machine de Turing à ruban semi-infini M, il existe une machine de Turing à ruban bi-infini M’ qui exécute la même tâche et réciproquement.

Des MT à ruban semi-infini aux MT à ruban bi-infini : il faut montrer que toute machine à ruban semi-infini peut être simulée par une machine à ruban bi-infini. Ceci est facile: Il suffit de prendre une machine à ruban bi-infini qui dès qu'elle trouve un # après un déplacement à gauche revient à droite en laissant inchangée le #. Du coup, elle ne change jamais le contenu des positions d'indices négatifs et elle se comporte comme une machine à ruban semi-infini.

$ a b c # # a b c

Des MT à ruban bi-infini aux MT à ruban semi-infini : Il faut montrer qu'une machine M=(, Q, q0, ) à ruban bi-infini peut être simulée par une machine M'=(’, Q’, q0’, ’) à ruban semi-infini L'idée générale est de replier la partie gauche de la bande sous la partie droite pour obtenir une bande simplement infinie dont les symboles sont des paires de symboles de l'alphabet  .

M a-1 a0 a3 a1 a2 a-3 a-2 # M’ a0 a1 a2 a3 # # a-1 a-3 a-2 # $

Pour simplifier, les positions d'indices -1, -2, -3, Pour simplifier, les positions d'indices -1, -2, -3, ... sont mises sous les positions 1, 2, 3, ... et sous la position 0, on remplit une position par un nouveau symbole $ qu'on suppose ne pas appartenir à  . Le contenu ...a-3 a-2 a-1 a0 a1 a2 a3... du ruban de M sera représenté par (a0,$)(a1,a-1)(a2,a-2)(a3,a-3)... du ruban de M'.

M a-1 a0 a3 a1 a2 a-3 a-2 # M’ a0 a1 a2 a3 # # a-1 a-3 a-2 # $ M’ est une MT à ruban multicases (n=2) équivalente à une MT à ruban simple

Plan Introduction MT variante quadruplets Machine de Turing à déplacements (gauche,droite) Machine de Turing à états finaux Machine de Turing à Ruban Multicases Machine de Turing à ruban bi-infini Machine de Turing à K rubans Machine de Turing à plusieurs têtes Machine de Turing déterministe/indéterministe Machine de Turing Universelle Conclusion

Machine de Turing à K rubans

Les machines à plusieurs rubans sont une extension intéressantes et des plus utilisées des machines de Turing. Elles ont un contrôle fini constitué d'un nombre fini d'états (comme les MT classiques). Au lieu de disposer d'un seul ruban infinie, elles disposent de plusieurs rubans sur lesquelles elle lisent et écrivent

La machine dispose d'une tête de lecture/écriture sur chacune de ses bandes. Ces têtes de lecture/écriture se déplacent indépendamment sur chacune des bandes.

c b a Contrôle

Une machine de Turing à k rubans est un tuple (, Q, q0, ) où: Définition Une machine de Turing à k rubans est un tuple (, Q, q0, ) où:  est un alphabet fini (vocabulaire du ruban) tel que {, $}  (où : le blanc et $:début du ruban). Q est un ensemble fini d’états q0  Q est l’état initial  fonction de transition : Q × k  ( × {, ,,H}) k × Q telle que: on ne se déplace jamais à gauche du marqueur de début $ et on ne peut pas l’effacer.

Une machine à k rubans se différentie d’une machine classique par sa fonction de transition qui est une fonction partielle de: Q × k  ( × {, ,,H}) k × Q

q (a,b,c) ((b,),(b,),(#,) ) q’ Contrôle q (a,b,c) ((b,),(b,),(#,) ) q’

Il est important de noter que les transitions de la machines dépendent de l'état interne mais aussi des k symboles que la machine lit sur les k bandes. Chaque transition détermine les k symboles qui sont écrits sur les k bandes et les déplacements de chacune des têtes sur les k bandes.

On démontre que la puissance des MT à k rubans est la même que celle des machines classiques Les MT à k rubans sont plus pratiques à utiliser pour représenter les fonctions : on place les arguments sur des rubans séparés et le résultat sur un autre ruban.

Plan Introduction MT variante quadruplets Machine de Turing à déplacements (gauche,droite) Machine de Turing à états finaux Machine de Turing à Ruban Multicases Machine de Turing à ruban bi-infini Machine de Turing à K rubans Machine de Turing à plusieurs têtes Machine de Turing déterministe/indéterministe Machine de Turing Universelle Conclusion

Machine de Turing à plusieurs têtes

Dans ce type de MT on a un nombre k (k≥1 ) de têtes de lecture/écriture. Chaque tête pointe une des cases du ruban. Deux têtes différentes peuvent pointer la même case

contrôle MT à 3 têtes

Une machine de Turing à k têtes est un tuple (, Q, q0, ) où: Définition Une machine de Turing à k têtes est un tuple (, Q, q0, ) où:  est un alphabet fini (vocabulaire du ruban) tel que {, $}  (où : le blanc et $:début du ruban). Q est un ensemble fini d’états q0  Q est l’état initial  fonction de transition : Q × k   k × {, ,,H} k × Q telle que: on ne se déplace jamais à gauche du marqueur de début $ et on ne peut pas l’effacer.

Exemple q0 (a,b,c) (b,c,d) (,,) q1 a b d c a b a c d a contrôle

Plan Introduction MT variante quadruplets Machine de Turing à déplacements (gauche,droite) Machine de Turing à états finaux Machine de Turing à Ruban Multicases Machine de Turing à ruban bi-infini Machine de Turing à K rubans Machine de Turing à plusieurs têtes Machine de Turing déterministe/indéterministe Machine de Turing Universelle Conclusion

Machine de Turing déterministe/indéterministe

Une machine de Turing indéterministe est un tuple (, Q, q0, ) où: Définition Une machine de Turing indéterministe est un tuple (, Q, q0, ) où:  est un alphabet fini (vocabulaire du ruban) tel que {, $}  (où : le blanc et $:début du ruban). Q est un ensemble fini d’états q0  Q est l’état initial  est une relation de transition : Q ×  ×  × {, ,,H} × Q telle que: on ne se déplace jamais à gauche du marqueur de début $ et on ne peut pas l’effacer.

Une MT non déterministe se distingue de la MT classique par le fait que la fonction de transition est remplacée par une relation c’est-à-dire qu’il peut y avoir plusieurs transitions possibles à partir d’une même configuration.

La machine est déterministe, ssi à chaque pas de calcul, le pas suivant, s’il y en avait un de possible, était déterminé de manière unique. Une MT est dite déterministe si et seulement si l’ensemble des transitions permet de définir une fonction partielle  : Q ×    × {, ,,H} × Q

Exemple MT non déterministe q0 a a  q1 q1 a a  q2 q1 a b  q2 q2 b b  q2 q2 b b  q3 q2 a b H q3

Théorème Pour toute machine de Turing non déterministe M, il existe une machine de Turing déterministe M’ qui exécute la même tâche et réciproquement.

Plan Introduction MT variante quadruplets Machine de Turing à déplacements (gauche,droite) Machine de Turing à états finaux Machine de Turing à Ruban Multicases Machine de Turing à ruban bi-infini Machine de Turing à K rubans Machine de Turing à plusieurs têtes Machine de Turing déterministe/indéterministe Machine de Turing Universelle Conclusion

Machine de Turing Universelle

Toute machine de Turing calcule le résultat d'une fonction partielle sur des chaînes de caractères composées des caractères de son alphabet. Une machine de Turing se comporte donc comme un ordinateur avec un programme déterminé.

Mais, comme Alan Turing l’a décrit, on peut coder la table d'actions d'une machine de Turing sous la forme d'une chaîne de caractères. On peut donc tenter de construire une MT qui suppose l'existence sur son ruban d'une chaîne de caractères codant une table d'actions, suivie d'une chaîne de caractères constituant les données effectives du ruban, et calcule le contenu du ruban que la machine de Turing encodée aurait calculé.

Alain Turing a montré qu’il est possible de créer une telle machine de Turing et puisqu'elle peut simuler le comportement de n'importe quelle autre machine de Turing, on l'appelle « machine de Turing universelle ».

Comment construire la MT universelle La table de transition de la MT à simuler est codée en une séquence binaire. Le ruban de la MT universelle est divisée en deux zones: Une zone pour stocker la séquence binaire correspondant à la table de transition ainsi que sa configuration (état et caractère courant) Une zone pour gérer les entrées/sorties de la MT à simuler.

Plan Introduction MT variante quadruplets Machine de Turing à déplacements (gauche,droite) Machine de Turing à états finaux Machine de Turing à Ruban Multicases Machine de Turing à ruban bi-infini Machine de Turing à K rubans Machine de Turing à plusieurs têtes Machine de Turing déterministe/indéterministe Machine de Turing Universelle Conclusion

Conclusion Les MT constituent une notion centrale en informatique car elle permettent: Une définition précise de la notion d’algorithme ( fonction de transition) Une base théorique solide pour les notions de calculabilité.

Conclusion Les différentes variantes des MT sont équivalentes d’un point de vu «pouvoir d’expression» mais pas du point de vue «complexité » Les différentes variantes peuvent être combinées pour donner de nouvelles variantes. Par exemple: MT à 3 têtes et ruban bi-infini, MT à états finaux, ruban à 3cases et 2 têtes de lecture/écriture. ….

Fin