ChatDiagram
Outils/Générateur de diagrammes de machine de Turing

Générateur de diagrammes de machine de Turing

Créez un diagramme de machine de Turing à partir d’un langage ou d’un algorithme. Chaque transition indique le symbole lu sur le ruban, le symbole écrit et le déplacement de la tête, afin de suivre le calcul état par état.

Diagramme D’étatsEntrée pour envoyer

Compte gratuit, sans carte bancaire · Export en SVG, PNG ou PDF

Voir l’outil en action

Exemples de diagrammes de machines de Turing.

Un seul outil, quatre demandes. Tous les schémas ci-dessous sont de vrais rendus.

Ce que vous saisissez
Dessine une machine de Turing pour l’incrément unaire : dans q0, lire 1, écrire 1 et se déplacer vers la droite ; sur le blanc B, écrire 1, rester sur place et passer dans l’état acceptant qa.
À essayer ensuiteModifie la machine pour qu’elle efface plutôt le dernier 1 unaire.Ajoute un état de rejet pour un symbole d’entrée 0.
Diagramme d’états: Incrément unaire
Diagramme d’états · OMG UML 2.5.1 §14 + Harel (1987) statechart · schematex-state
Le schéma

Qu’est-ce qu’un diagramme de machine de Turing ?

Un diagramme de machine de Turing est un diagramme d’états représentant une machine qui lit et écrit des symboles sur un ruban non borné. Une étiquette de transition indique généralement lecture/écriture/déplacement, par exemple 1/0,L : lire 1, écrire 0 et déplacer la tête vers la gauche.

Le diagramme identifie les états de contrôle et l’opération sur le ruban qui sélectionne chaque état suivant. Les états d’arrêt acceptant et rejetant rendent explicite le résultat du calcul.

Standard
OMG UML 2.5.1 §14 + Harel (1987) statechart
Engine
schematex-state
Editable
Double-click text, drag nodes
Export
SVG · PNG · PDF
Diagramme d’états: Qu’est-ce qu’un diagramme de machine de Turing ?
Pour qui

Qui utilise les diagrammes de machines de Turing.

Diagramme d’états: Étudiants en théorie de la calculabilitéÉtudiants en théorie de la calculabilité

Petites machines unaires pour s’exercer à lire la fonction de transition et les opérations sur le ruban.

Diagramme d’états: Enseignants en théorie des automatesEnseignants en théorie des automates

Algorithmes de marquage qui reconnaissent des langages comme a^n b^n, au-delà des automates finis.

Diagramme d’états: Étudiants en algorithmiqueÉtudiants en algorithmique

Parcours du ruban en deux phases montrant comment une machine passe d’un bloc d’entrée à un autre.

Comment ça marche

Comment créer un diagramme de machine de Turing en trois étapes.

01

Décrivez votre idée

Un paragraphe suffit pour commencer.

“Dessine une machine de Turing pour l’incrément unaire : dans q0, lire 1, écrire 1 et se déplacer vers la droite ; sur le blanc B, écrire 1, rester sur place et passer dans l’état acceptant qa.”
02

Découvrez le schéma

Généré avec le moteur adapté.

Diagramme d’états: Incrément unaire
03

Indiquez les modifications

Chaque modification crée une nouvelle version.

Modifie la machine pour qu’elle efface plutôt le dernier 1 unaire.
V2 · DRAWN FROM V1, NOTHING RETYPED
FAQ

Questions fréquentes

Que montre l’étiquette d’une transition de machine de Turing ?

Elle indique le symbole lu sur le ruban, le symbole écrit et la direction dans laquelle se déplace la tête. Par exemple, 1/B,R signifie lire 1, écrire un blanc et se déplacer vers la droite.

Comment représenter les états d’acceptation et de rejet ?

Un état acceptant est un état final d’arrêt, généralement représenté par un double cercle. Un état de rejet distinct peut être inclus lorsque la machine doit montrer explicitement un arrêt infructueux.

Comment décrire une machine de Turing ?

Indiquez l’alphabet d’entrée, le langage ou la tâche, puis décrivez ce que fait la machine à chaque phase : ce qu’elle lit, écrit, parcourt et le moment où elle s’arrête.

Que signifient L, R et S ?

Ce sont les déplacements de la tête : L déplace la tête vers la gauche, R vers la droite et S la laisse sur la case actuelle du ruban.

Un diagramme de machine de Turing peut-il montrer un algorithme de marquage ?

Oui. Nommez les symboles marqueurs et expliquez quels symboles d’entrée sont associés ou ignorés. Le diagramme d’états peut montrer les phases de parcours, de marquage, de retour et de vérification.

Outils associés

D’autres schémas pour le même projet.

Dessinez votre première machine de Turing maintenant.

Compte gratuit, sans carte. Décrivez le calcul et visualisez le diagramme d’états en moins d’une minute.

Ouvrir l’éditeur