CMSimulator

Simulateur pour machines à sous et grammaires formelles.

L'application CMSimulator vous aide à mieux comprendre quatre des guichets les plus connus: automate à états finis, automate à pile, automate à limites linéaires, machine de Turing. Vous pouvez créer de nouvelles solutions ou charger des solutions existantes à partir de fichiers. L'application contient également des exemples (pour chaque type de machine).

En outre, l'application vous aide également à mieux comprendre quatre types de grammaires formelles de la hiérarchie de Chomsky: grammaire normale, grammaire sans contexte, grammaire contextuelle, grammaire sans restriction. Vous pouvez créer de nouvelles solutions ou charger des solutions existantes à partir de fichiers. L'application contient également des exemples.

Vous pouvez créer une liste de symboles, d'états, de règles de transition et également choisir les états initial et final. Ensuite, vous pouvez remplir la bande et simuler la solution étape par étape ou aller directement à la fin de la simulation. Vous pouvez également marquer n'importe quel élément de la bande comme point d'arrêt pour suspendre la simulation lorsque la machine atteint ce point d'arrêt.

Les machines et solutions non déterministes sont également prises en charge.

Vous pouvez définir votre propre grammaire, tester des mots s'ils appartiennent à la grammaire définie et visualiser le processus de dérivation avec 4 types de visualisations différents: table de dérivation, arbre de dérivation, dérivation linéaire, dérivation fixe. L'application contient également une fonctionnalité interactive permettant de tester plusieurs mots en même temps.

L'application est encore en développement. S'il vous plaît, laissez-moi savoir si vous trouvez des bugs.