Enable JQuery execution.
Abilitare l'esecuzione di JQuery
Use an SVG enabled browser (eg Chrome, Firefox) for a proper visualization of the content.
See instructions here.
Per una corretta fruizione dei contenuti del sito deve essere utilizzato un browser abilitato alla visualizzazione di SVG (es. Chrome, Firefox).
Vedere le istruzioni qui.

Simulatore di automi a stati finiti

 

Immagine3

Versione 1

Download

Programmi eseguibili (versione 1.0 del 07/10/2022)

Versione Linux

Versione Win64

 

Scaricare ed estrarre il file eseguibile.

Potrebbe essere necessario assegnare i permessi di esecuzione una volta estratti i programmi.

 

Esempi

Nel programma sono inclusi alcuni automi di esempio

 

Immagine4

 

Programma

Il programma è in formato testuale leggibile e facilmente manipolabile dall'utente.

 

Le istruzioni sono scritte nella forma:

 

(<stato corrente>, <input>, <stato futuro>, <output>)

 

Ad esempio:

 

(PIANO0, RC0, PIANO0, FERMO)

(PIANO0, RC1, PIANO1, SU)

(PIANO0, RC2, PIANO2, SU)

(PIANO0, P0,  PIANO0, FERMO)

 

Stato

Può essere costituito da uno o più dei seguenti caratteri:

abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ 0123456789

 

Input e Output

Possono essere costituiti da uno o più dei seguenti caratteri:

abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ 0123456789

oppure uno solo dei seguenti caratteri

!#$%&'*+-./:;<=>?@[\]^{|}_

 

Esecuzione

Per eseguire il programma passare alla seconda pagina

 

Immagine5

Nella parte alta si vedono le transizioni di stato e gli output corrispondenti.

Viene evidenziata l'ultima transizione eseguita.

 

Nella parte inferiore sono rappresentati i possibili input

Cliccando sull'input si invia all'automa l'evento corrispondente

 

Nella parte sinistra è riportato l'elenco degli stati, ed è evidenziato lo stato corrente.

Cliccando su uno stato è possibile modificare lo stato corrente.

 

Generazione grafi

Immagine2

 

E' possibile generare un file .dot per la generazione del grafo corrispondente alla macchina.

Se il programma dot è disponibile, viene automaticamente generata l'immagine corrispondente.

 

Immagine6

Il programma dot fa parte del pacchetto GraphViz

 

 

 

 

Avvertenze

I programmi sono realizzati per un uso didattico. Non sono stati sottoposti a rigidi controlli sul funzionamento, quindi potrebbero verificarsi degli errori. La segnalazione è gradita.

Contatto

Per comunicare con me vedere le istruzioni nella pagina "contatto".

 

Segnalazione di problemi

Se si notano problemi nel funzionamento o nell'usabilità, riceverò con piacere le segnalazioni e cercherò di sistemare eventuali problemi quanto prima.

 

Suggerimenti

Ricevo con piacere eventuali suggerimenti per migliorare l'utilizzo dei programma

 

Sicurezza

Per quanto mi riguarda applico la massima attenzione per evitare che i programmi contengano malware. Tuttavia non esiste la sicurezza assoluta, mai, in nessun caso. Il sito stesso potrebbe venire violato a mia insaputa e gli eseguibili compromessi.

Si consiglia sempre di effettuare una scansione degli eseguibili con un software antivirus una volta scaricati.