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

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

Ho fatto questi passaggi:
STATI | a | b |
---|---|---|
B | C | B |
CD | C | BE |
D | F | / |
/ | F | CD |
/ | BE | / |
BEF | / | CDF |
BEF | / | 1375 |
6055 | F | / |
E quindi ho costruito l'automa deterministico (il secondo nella figura sopra) ma non mi sembra molto corretto...
Risposte
Nessuno?
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.
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.
Grazie per la risposta! Allora vado subito a leggere l'altro post
