Finite State Automata (FSAM)

Créer et simuler des automates et des machines à états finis

FSAM est un simulateur de machine à états finis pour mobile, fortement inspiré de JFLAP. Il prend actuellement en charge les automates à états finis, les automates pushdown et les machines de Turing.

Le simulateur offre les outils et fonctionnalités suivants

Général:

- Zoom de la caméra

- Déplacement de la caméra

- Refocus de la caméra

Fonctionnalités de configuration FSA :

- Déplacer l'outil d'état

- Configurer l'outil d'état

- Créer un outil d'état

- Créer un outil de transition

- Supprimer l'outil

Caractéristiques d'E/S de fichier :

- Enregistrer sous FSAM

- Charger en tant que FSAM

- Enregistrer sous JFF

- Charger en JFF

Simuler des fonctionnalités :

- Étape par état et étape avec clôture

- Étape

- Historique de l'état des traces

- Geler/dégeler l'état de simulation

- Supprimer l'état de simulation

- Exécution rapide/tests en masse

Fonctionnalités de conversion :

- Réduire DFA

- Convertir NFA en DFA