fbcyborg
00venerdì 26 ottobre 2007 17:38
Oggi a lezione abbiamo visto come si progetta il circuito di una macchina sequenziale basata sul modello di Moore.
Siamo partiti dal diagramma degli stati che riporto in allegato ed abbiamo ricavato la relativa tavola di transizione.
Il professore ha detto che se la macchina è ben progettata dobbiamo avere almeno uno stato stabile per riga ed alla lavagna ho visto che ha cerchiato prima lo zero della prima riga e poi successivamente i due 1 della seconda riga (come mostrato in allegato con doppia cerchiatura).
Quello che mi chiedo io è: perché nella prima riga non ci sono due stati stabili? Lo 0 che ho riportato come sottolineato in rosso doppiamente, non dovrebbe anch'esso essere uno stato totale stabile?
falpaol
00venerdì 26 ottobre 2007 19:30
Vediamo se ho capito...
Lo STATO TOTALE STABILE e' la' coppia <i,s> tale che delta(i,s)=s cioe' parto dallo stato s, applico l'ingresso i e DEVO tornare in s, quindi e' il classico cappio.
Nel disegno gli stati totali stabili sono quindi:
<00,0>
<01,0>
<10,1>
<00,1>
quindi tutti gli stati cerchiati + quello sottolineato.
Diverso e' il concetto di STATO STABILE per cui, per ogni ingresso i io entri in uno stato s a partire da un'altro stato t, lo stato s insieme all'ingresso i deve essere uno stato totale stabile ovvero in s deve esserci un cappio con etichetta i.
Quindi nel disegno sia lo stato 0 che lo stato 1 sono stati stabili.
Infatti nello stato 0 arrivo da 1 solo per ingresso 01 e lo stato 0 ha un cappio con ingresso 01.
In pratica quindi se arrivo in 0 e l'ingresso 01 rimane fisso, rimango fermo dentro 0.
Medesimo discorso si puo' fare con lo stato 1 e l'ingresso 10.
La macchina asincrona corretta deve avere almeno uno stato TOTALE stabile per riga sul diagramma di transizione degli stati onde evitare false corse.
E giusto?
Spero di si.....
fbcyborg
00venerdì 26 ottobre 2007 19:40
Perdonami se te lo dico ma non è che io abbia capito molto. Capisco che la questione sia delicata ma c'è anche da dire che mi fosse sfuggita la distinzione fra stati totali stabili e stati stabili, che ora mi sembra più o meno di aver afferrato.
Di fatto non ho capito perché i cerchiati devono essere 3 e non 4. Per intuito giungo a conclusione che siano cerchiati solo gli stati totali stabili ma la confusione rimane... :(
falpaol
00venerdì 26 ottobre 2007 20:01
Re:
fbcyborg, 26/10/2007 19.40:
Perdonami se te lo dico ma non è che io abbia capito molto. Capisco che la questione sia delicata ma c'è anche da dire che mi fosse sfuggita la distinzione fra stati totali stabili e stati stabili, che ora mi sembra più o meno di aver afferrato.
Di fatto non ho capito perché i cerchiati devono essere 3 e non 4. Per intuito giungo a conclusione che siano cerchiati solo gli stati totali stabili ma la confusione rimane... :(
Scusa se forse ho scritto in maniera molto sintetica.
Secondo me se bisogna cerchiare gli stati totali stabili essi sono i 4 che ho elencato.
Ti ripeto e' il mio umilissimo parere.
Sicuramente il prof stava cerchiando gli stati totali in quanto sono sempre una coppia stato ingresso
Non so se il prof vi ha gia' parlato degli stati totali in quanto nel nostro prog VO si affrontano con il comportamento dinamico delle MS.
Se non e' chiaro qualcosa sono qui a disposizione per riscriverlo in maniera piu' chiara.
falpaol
00venerdì 26 ottobre 2007 20:10
Scusa per un OT ma mi sembra abbastanza enigmatico....
Mentre ti rispondevo, in alto appariva uno dei banner consueti in questi forum....ma questa volta ammoniva a chiamare gli specialisti per la cura della depressione!!!
Gia' la materia e' dura da capire e a volte ci si sente veramente sconsolati....ci si mettono anche loro e NO!!!!
Chiudo l'OT....una briciola di buon umore in questa piovigginosa serata....
acabb
00venerdì 26 ottobre 2007 20:37
Uno stato s si dice stabile se e solo se:
" per ogni coppia ordinata ingresso stato <i,t> tale che delta(i,t)=s si ha delta(i,s)=s "
Da notare, nella definizione di stato stabile s, l'ingresso i con cui si perviene in s partendo da uno stato t
Nel testo la definizione di macchina Asincrona e' la seguente:
"Una macchina e' asincrona se e solo se, partendo da uno stato totale stabile, cambiando l'ingresso, in un numero finito di passi, si arriva in un altro stato totale stabile.
In base a questa definizione in una macchina Asincrona a due stati almeno uno deve essere associato ad uno stato totale stabile <i,s> ?
Nelle varie definizioni di flip-flop durante la lezione mi e' sfuggito quali sono riferite a macchine Asincrone o Sincrone.
Potrebbe essere utile postarle qui al forum?
fbcyborg
00venerdì 26 ottobre 2007 21:28
Re: Re:
falpaol, 26/10/2007 20.01:
Scusa se forse ho scritto in maniera molto sintetica.
Secondo me se bisogna cerchiare gli stati totali stabili essi sono i 4 che ho elencato.
Ti ripeto e' il mio umilissimo parere.
Sicuramente il prof stava cerchiando gli stati totali in quanto sono sempre una coppia stato ingresso
Non so se il prof vi ha gia' parlato degli stati totali in quanto nel nostro prog VO si affrontano con il comportamento dinamico delle MS.
Se non e' chiaro qualcosa sono qui a disposizione per riscriverlo in maniera piu' chiara.
Grazie mille...
Dunque, sempre se non ho capito male, sintetizzando in parole povere..... Tutti gli stati sono stati totali, ovvero sono quei nodi del diagramma che sono caratterizzati da uno stato e un ingresso (in termini spicci da un "Squalcosa" - dove qualcosa è il numero dello stato - e un ingresso, ovvero una freccia che punta su questo nodo).
Lo stato totale, invece è stabile se su quel nodo c'è un cappio...
Vediamo se stavolta c'ho azzeccato!
altrimenti:
![[SM=g9597]](https://im0.freeforumzone.it/up/0/97/3378144.gif)
alberto_retilogiche
00venerdì 26 ottobre 2007 21:46
Io a lezione ho capito che uno stato s si dice totale stabile se, dato un valore in ingresso, partendo da uno stato t e arrivando nello stato s, con lo stesso valore di ingresso si permane in s.
edit:Stato totale stabile ad esempio è lo stato Q=1 con ingresso 10, perchè partendo da Q=0 ed avendo in ingresso 10 si va nello stato Q =1 e lì si permane se l'ingresso è sempre 10.
LO stesso dicasi per Q=0 con ingresso 01
falpaol
00venerdì 26 ottobre 2007 22:14
Re: Re: Re:
fbcyborg, 26/10/2007 21.28:
Grazie mille...
Dunque, sempre se non ho capito male, sintetizzando in parole povere..... Tutti gli stati sono stati totali, ovvero sono quei nodi del diagramma che sono caratterizzati da uno stato e un ingresso (in termini spicci da un "Squalcosa" - dove qualcosa è il numero dello stato - e un ingresso, ovvero una freccia che punta su questo nodo).
Lo stato totale, invece è stabile se su quel nodo c'è un cappio...
Vediamo se stavolta c'ho azzeccato!
altrimenti:
mhhhh : "Tutti gli stati sono stati totali" non e' corretto.
Stato totale e' semplicemente una coppia formata da uno stato s e un ingresso i che si denota con <i,s>.
Il resto e' giusto. Ricorda che lo stato totale e' SEMPRE un insieme di 2 elementi (stato+ingresso) quindi parlare di uno stato e dire che e' totale e' una informazione a meta'.
Per
alberto_retilogiche: quello di cui parli e' lo stato stabile.
fbcyborg
00venerdì 26 ottobre 2007 22:25
Ok, allora come dicevo io.. gli stati totali sono quei nodi del diagramma che sono caratterizzati da uno stato e un ingresso, ovvero da un cerchietto rappresentante lo stato e una freccia verso quello stato...
Per quanto riguarda gli stati totali stabili non ho più alcun dubbio. L'ultima conferma me l'ha data alberto_retilogiche.
Scusate la poca formalità ma per capire bene ricorro a cerchietti e freccette!!!!! :D
falpaol
00venerdì 26 ottobre 2007 22:38
Re:
fbcyborg, 26/10/2007 22.25:
Ok, allora come dicevo io.. gli stati totali sono quei nodi del diagramma che sono caratterizzati da uno stato e un ingresso, ovvero da un cerchietto rappresentante lo stato e una freccia verso quello stato...
Per quanto riguarda gli stati totali stabili non ho più alcun dubbio. L'ultima conferma me l'ha data alberto_retilogiche.
Scusate la poca formalità ma per capire bene ricorro a cerchietti e freccette!!!!! :D
Perfetto. Lo stato (cerchietto) + l'ingresso che etichetta la freccia che entra o esce dallo stato.
fbcyborg
00venerdì 26 ottobre 2007 22:48
Qualcuno può postare la scansione di 2 pagine (la 28 e la 29) degli appunti di Chiari? C'è della roba inerente ciò di cui si parla anche quì in questo thread.