Finite State Automata (FSAM)

Creare e simulare automi e macchine a stati finiti

FSAM è un simulatore di macchine a stati finiti per dispositivi mobili, fortemente ispirato a JFLAP. Attualmente supporta automi a stati finiti, automi pushdown e macchine di Turing.

Il simulatore offre i seguenti strumenti e funzionalità

Generale:

-Zoom della fotocamera

- Movimento della telecamera

- Rimessa a fuoco della fotocamera

Funzionalità di configurazione FSA:

- Strumento Sposta stato

- Configura lo strumento di stato

- Crea strumento di stato

- Crea strumento di transizione

- Strumento Elimina

Funzionalità di I/O file:

- Salva come FSAM

- Carica come FSAM

- Salva come JFF

- Carica come JFF

Funzionalità di simulazione:

- Passo per Stato e Passo con Chiusura

- Fare un passo

- Traccia la storia dello stato

- Blocca/Sblocca lo stato della simulazione

- Rimuovi lo stato di simulazione

- Esecuzione rapida/test di massa

Funzionalità di conversione:

- Ridurre al minimo il DFA

- Converti NFA in DFA