Guide

L’inserimento delle clausole avviene attraverso l’apposito campo di testo che sull’interfaccia è denominato “Inserimento dati”. In tale campo è possibile inserire qualsiasi carattere alfanumerico, prestando attenzione nell’inserire dopo ogni carattere una virgola “,”. Per indicare uno stato o un’uscita non specificata, è necessario che venga indicata con 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 la relativa icona e ottene:

il calcolo degli stati compatibili

il calcolo delle classi di compatibilità massima

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.