Corsi di Laurea

[mario051]

Vi posto la traccia del 3/07.

File allegato

•  SAD_03-07-09.rar   65,99K   7 Download

[Blackjack]

e questa è la soluzione

File allegato

•  2009_07_03_soluzione.PNG   16,1K   596 Download

[zetino]

Mi trovo esattamente come te.. il chè è strano con gli automi

[kekkolett89]

Ma l'automa di specifica qual è?

[Fabrix883]

L'automa di specifica, in questo caso, tratta solamente la sequenza iniziale
 2009_07_03_specifica.PNG   4,34K   379 Download
svolgendo la composizione concorrete con il processo si ottiene l'automa postato da Blackjack, nota però che lo stato I1 non è uno stato finale quindi non deve essere un cerchio pieno.
Infine si deve eliminare lo stato A3B3 dall'automa finale in quanto, per specifica statica, non ci possono essere 4 pezzi in lavorazione contemporaneamente.

[kekkolett89]

perfetto...il fatto che nn sia uno stato finale penso sia una finezza giusto?

[Fabrix883]

perfetto...il fatto che nn sia uno stato finale penso sia una finezza giusto?

Non credo, dipende sempre da come il prof la ritiene.
Comunque si capisce subito che non è uno stato finale dal fatto che, dopo lo scatto dell'evento s1, non è più possibile tornare in quello stato... nel dubbio meglio non ritenerlo uno stato finale, sai com'è: prevenire è meglio che curare