Esempio di minimizzazione usando il software SEQ

A cura di Antonio Parziale

L’inserimento delle clausole avviene attraverso l’apposito campo di testo, denominato “Inserimento dati”. In tale campo è possibile inserire qualsiasi carattere alfanumerico, facendo seguire ad ogni carattere una virgola “,”.

Per indicare uno stato o un’uscita non specificata bisogna utilizzare il simbolo “-“. A tal proposito verrà fatto un esempio con una tabella di Mealy con 2 ingressi e 3 stati.

Per inserire questa tabella nel programma ci si porta nal box "Inserimento dati" e si scrive:

a,b,0,c,- premere INVIO

b,a,1,c,0 premere INVIO

c,a,-,b,1 premere INVIO

Ora è sufficiente premere il tasto che avvia l'algoritmo di minimizzazione per ottenere:

1. il calcolo degli stati compatibili;
2. il calcolo delle classi di compatibilità massima;
3. il calcolo delle classi di compatibilità minima

Al'atto dell'installazione vengono copiati alcuni file di esempio per illustrare il funzionamento del software, che viene distribuito gratuitamente insieme alla guida per l'utente.