A cura di Antonio Parziale
Pubblicato il 26/06/2004
Un software semplice e gratuito per la minimizzazione delle reti sequenziali descritte dalla tabella di Mealy
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 è la migliore soluzione per:
Per un corretto funzionamento del software sono indispensabili i seguenti requisiti:
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 in fig. 1. 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 in fig. 2.
| a-b a-e c-d e-g |
Figura 1 – Risultato dell’elaborazione: cerca stati compatibili.
| {0, 3, 6} {4, 7, 1} {2} {5} |
Figura 2 – Risultato dell’elaborazione: cerca forma minima.
Seq è davvero molto semplice da usare e permette anche si salvare la tabella inserita e i risultati forniti. Nella prossima pagina vedremo come introdurre le righe della tabella di Mealy da minimizzare.
Il software riesce a gestire 50 stati con 4 possibili valori di ingresso.
Il presente testo è interamente tratto dalla guida all'utilizzo del software. Si ringrazia l'Ing. Dario Mazzeo per aver concesso di riportare il presente testo sulle pagine di Supereva.it