Finite State Automata (FSAM)

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