Da automa non deterministico a automa deterministico

noipo
Ciao a tutti, devo trasformare quest'automa (il primo in figura) in automa deterministico.

Ho fatto questi passaggi:
STATIab
BCB
CDCBE
DF/
/FCD
/BE/
BEF/CDF
BEF/1375
6055F/

E quindi ho costruito l'automa deterministico (il secondo nella figura sopra) ma non mi sembra molto corretto...

Risposte
noipo
Nessuno?

onlyReferee
Ciao vfldj!
Stavo aiutando un tuo collega in un thread del tutto analogo a questo sempre nella sezione di informatica se hai fatto caso. Volendo siccome il problema è lo stesso si possono unire i due thread (lì comunque trovi un già un po' di spiegazioni).
A parte le prime cinque righe della tabella non ho ben compreso i passaggi che hai svolto. Posso intuire che BEF, BE, ecc siano degli accorpamenti degli stati che hai provato a svolgere però...questi vanno scritti tutti e sono pari ad un massimo di $2^n$, dove n è il numero degli stati (ossia la cardinalità dell'insieme delle parti dato un insieme $U$ universo generico).
Successivamente ti conviene riscriverti meglio le varie funzioni di transizione da uno stato all'altro con i vari input. Appena hai "riordinato" il tutto poi ti illustrerò i passaggi successivi.

noipo
Grazie per la risposta! Allora vado subito a leggere l'altro post ;)

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.