Seq - Software gratuito per minimizzare le Reti Sequenziali
SEQ (acronimo di SEQuenziale) è un programma adatto alla minimizzazione degli stati delle macchine sequenziali, il suo uso è indicato in particolar modo a ingegneri e progettisti
SEQ permette di:
- leggere da file stati non minimizzati;
- salvare su file gli stati inseriti e gli stati minimizzati;
- lavorare con numero elevato di stati;
- determinare le coppie di stati compatibili;
- determinare le classi di compatibilità massime e minime.
Per un corretto funzionamento del software sono indispensabili i seguenti requisiti di sistema:
- Personal Computer con processore 486 DX2/66 o superiore;
- Sistema operativo Microsoft Windows 95/98/me/XP/2000/NT;
- 8 MB di memoria RAM (si consiglia 16MB);
- Monitor VGA 640x480 pixel, 256 colori o con risoluzione superiore;
- Floppy disk da 1.44Mb o connessione internet.
Il software svolge due operazioni distinte: la ricerca degli stati compatibili e la ricerca degli insiemi di compatibilità.In tutti e due i casi, per poter avviare il processo di elaborazione, è necessario che il numero di righe presenti nella lista sia maggiore di 1.
Per avviare la ricerca degli stati compatibili è sufficiente cliccare sull’icona “Calcola stati compatibili”, i risultati verranno stampati a video nella lista dei risultati. Questi saranno composti da caratteri alfanumerici separati dal carattere “-“, come esposto nella tabella che segue.
a-b a-e c-d e-g |
Viceversa, nel secondo caso, il risultato dell’elaborazione verrà visualizzato raggruppando ogni classe di compatibilità con le parentesi graffe e separando ogni stato con una virgola (“,”), come esposto nella tabella seguente.
{0, 3, 6} {4, 7, 1} {2} {5} |
Seq è davvero molto semplice da usare e permette anche si salvare la tabella inserita e i risultati forniti.
Il software riesce a gestire 50 stati con 4 possibili valori di ingresso.
