Professional Documents
Culture Documents
Maurizio Palesi
Maurizio Palesi
Maurizio Palesi
Motivazioni
Il numero minimo di elementi di memoria necessari a memorizzare gli stati dellinsieme S Nmin = log2 |S| Nel modello di una macchina a stati possono esistere degli stati ridondanti Lidentificazione ed eliminazione degli stati ridondanti comporta
Reti combinatorie meno costose Minori elementi di memoria
Macchina a 8 stati, 1 ingresso, 1 uscita Macchina a 4 stati, 1 ingresso, 1 uscita
Funzioni 1, 1
Obiettivi
Obiettivo della riduzione del numero degli stati lindividuazione di una macchina minima equivalente, ovvero funzionalmente equivalente e con il minimo numero di stati La riduzione viene realizzata in due fasi
Eliminazione degli stati non raggiungibili dallo stato iniziale Identificazione degli stati
Equivalenti, per le macchine completamente specificate Compatibili, per le macchine non completamente specificate
Maurizio Palesi
Stati Irraggiungibili
Uno stato irraggiungibile se non esiste alcuna sequenza di transizione di stato che porti dallo stato iniziale in tale stato
Transizione di Reset
I B D
A C
I B C
Maurizio Palesi
Siano:
I una sequenza d ingresso {ij, , ik} U, sequenza duscita ad essa associata ottenuta attraverso si, sj due generici stati
Due stati si e sj appartenenti ad S sono indistinguibili se U,i=L(si, I) = L(sj, I) = U,j I Cio se per qualsiasi sequenza di ingresso le uscite generate partendo da si o da sj sono le stesse Lindistinguibilit tra si e sj si indica con si ~ sj La relazione di indistinguibilit gode di tre propriet
Riflessiva: Simmetrica: Transitiva:
Maurizio Palesi
si ~ si si ~ sj sj ~ si si ~ sj sj ~ sk si ~ sk
6
A C D
Maurizio Palesi
La definizione di indistinguibilit di difficile applicabilit poich richiederebbe di considerare tutte le sequenze di ingresso Regola di Paull-Unger
Due stati sono si e sj sono indistinguibili se e solo se
(si,i) = (sj,i) i I ovvero le uscite sono uguali per tutti i simboli dingresso (si,i) = (sj,i) i I ovvero gli stati prossimi sono indistinguibili per tutti i simboli dingresso
La regola iterativa
Maurizio Palesi
a b c d e
a e b hanno la stessa uscita se gli stati futuri d ed e sono indistinguibili, a ~ b d ed e hanno la stessa uscita se gli stati futuri a ed b sono indistinguibili, d ~ e a non indistinguibile da c,d ed e poich ha una differente uscita
Poich lindistinguibilit tra a e b dipende da quella tra d ed e e viceversa, possiamo concludere che a ~ b, d~e
Maurizio Palesi
Poich gli insiemi I ed S hanno cardinalit finita, dopo un numero finito di passi si verifica una delle due condizioni:
si~sj se i simboli duscita sono diversi o gli stati prossimi sono distinguibili si~sj se i simboli duscita sono uguali e gli stati prossimi sono indistinguibili
Maurizio Palesi
10
~ x S1
x S2
11
Maurizio Palesi
Lanalisi termina quando non sono pi possibili eliminazioni Le coppie rimaste sono equivalenti
Maurizio Palesi 12
0 a b c d e f g
1 b c d e f g
g/0 e/1 c/0 a/1 e/1 g/0 b/0 e/1 g/0 a/1 d/1 f/0 a/1 g/0
cg ae x bg ~ x x a
x bc ae cg x x b x bg ae de x fg ae x x c d
x x e ad f
13
Maurizio Palesi
b c d e f g
cg ae x bg ~ x x a
x bc ae cg x x b x bg ae de x fg ae x x c d
d-a: b-g distinguibile d~a d-a: b-g distinguibile d~a d-b: b-c distinguibile d~b d-b: b-c distinguibile d~b e-b: c-g indistinguibile se lo a-e b~e e-b: c-g indistinguibile se lo a-e b~e e-d: b-g distinguibile e~d e-d: b-g distinguibile e~d f-c: d-e indistinguibile se lo b-g f~c f-c: d-e indistinguibile se lo b-g f~c g-c: a-e indistinguibile g~c g-c: a-e indistinguibile g~c
x x e
g-f: a-d indistinguibile se lo b-g g~f g-f: a-d indistinguibile se lo b-g g~f
ad f
14
Maurizio Palesi
b c d e f g
~ x x ~ x x a x x ~ x x b x x x ~ c x x x d x x e x f
0 1 /0 /1 /1 /0 /0 /1 /1 /0
15
Maurizio Palesi
Per le FSM completamete specificate lalgoritmo di Paull-Unger Consente di identificare in maniera esatta la FSM minima equivalente
La partizione di equivalenza unica (ogni stato appartiene ad una ed una sola classe)
Maurizio Palesi
16
Sono macchine in cui per alcune configurazioni degli ingressi e stati correnti non sono specificati gli stati futuri e/o le configurazioni duscita Due stati si e sj si dicono compatibili (si sj)
Se, assunti come stati iniziali, per ogni possibile sequenza di ingresso (grande a piacere) danno luogo a sequenze di simboli duscita identici a meno di condizioni di indifferenza
Maurizio Palesi
17
La compatibilit una relazione meno forte di quella di indistinguibilit, non vale la propriet transitiva
0 1 A C/1 A/B C/- A/1 C C/0 A/-
AB; BC ma A C
La regola di Paull-Unger stata estesa per trattare il caso di macchine non completamente specificate Due stati si e sj sono compatibili se e solo se
(si,i) = (sj,i) i I ovunque sono entrambi specificati (si,i) (sj,i) i I ovunque sono entrambi specificati
Le relazioni di compatibilit possono essere identificate mediante la Tabella delle Implicazioni Ogni elemento della tabella contiene:
X se in almeno una colonna vi sono uscite diverse (stati incompatibili) SiSj se le uscite sono tutte uguali ma i nomi degli stati futuri (Si, Sj) sono diversi e non coincidono con quelli della coppia di stati in esame Altrimenti (stati compatibili)
Maurizio Palesi
19
b de c d x de x ad b ae ac ae bc c
Vincoli a b se d e a e se a b b c se d e b e se a d b e c d se a e, a c c e se a e, b c d e se a b
e ab a
ab d
Maurizio Palesi
20
10
a ab de x x b ae ac ae ab bc c d e ab d ae bc ae ac c de b de
21
ae ac
Maurizio Palesi
22
11
ae ac
Maurizio Palesi
ae
E un insieme chiuso di CC perch tutti i Non un insieme chiuso di CC perch il vincolo ae non contenuto in nessuna CC vincoli sono contenuti in almeno una CC
Maurizio Palesi 24
12
{ {a,b,c},{a,c,e},{c,d,e} } { {a,b},{b,c},{a,c,e,},{c,d,e} }
b
ae ac
de c
Maurizio Palesi
25
Linsieme di tutte le classi di massima compatibilit chiuso e copre linsieme degli stati della macchina Se si associa uno stato ad ogni classe di massima compatibilit si ottiene una nuova macchina con un numero di stati
Possibilmente minore di quello di partenza Non necessariamente minimo
Maurizio Palesi
26
13
Tale copertura non minima Le classi di questa copertura condividono diversi stati
Maurizio Palesi 27
Uneuristica per la ricerca della copertura minima 1. Inizializzare una lista L1 vuota 2. Finch il grafo non vuoto:
a. Individuare e ordinare le classi di massima compatibilit presenti sul grafo per dimensione b. Individuare la classe di compatibilit massima di dimensione massima presente sul grafo c. Inserire nella lista L1 tutti i vincoli presenti nella classe di compatibilit considerata d. Eliminare dalla lista L1 e dal grafo i vincoli soddisfatti dalla classe considerata e. Eliminare dal grafo tutti i nodi (ed i relativi archi) appartenenti alla classe di compatibilit considerata che non appartengono a nessun vincolo presente nella lista L1 e/o nel grafo
3. Le classi cos individuate formano una partizione di compatibilit (insieme di classi di compatibilit chiuso)
Maurizio Palesi 28
14
a ab e ab d ae bc ae ac c de b de
Maurizio Palesi
29
d Copertura individuata: {abc, ed} Tabella degli stati iniziale 0 1 a e/0 a/0 b d/0 b/0 c e/- c/d a/1 a/1 e a/- b/Maurizio Palesi
Classi compatibilit che coprono tutti gli stati e che formano un insieme chiuso = {a,b,c} = {d,e}
30
15
B C
CD AB
CD
CD
F
AB
D E e) A B
F
AB
D E
F
Maurizio Palesi 31
Maurizio Palesi
32
16
e)
Grafo vuoto
Maurizio Palesi
33
17