143 943
contributi
Differenze tra le versioni di "Automa a stati finiti non deterministico"
m
Annullate le modifiche di 93.43.226.21 (discussione), riportata alla versione precedente di Omega Bot
Etichette: Modifica da mobile Modifica da web per mobile |
m (Annullate le modifiche di 93.43.226.21 (discussione), riportata alla versione precedente di Omega Bot) Etichetta: Rollback |
||
|
Base: <math>\hat{\delta}\left(q,\varepsilon\right)=\varepsilon-closure\left(q\right)</math>.<br />
Ipotesi induttiva: <math>\hat{\delta}\left(q,z\right)=\left\{ p_{1},...,p_{k}\right\}</math>.<br />
Passo induttivo: <math>\omega=za\wedge\bigcup_{i=1}^{k}\delta\left(p_{i},a\right)=\left\{ r_{1},...,r_{m}\right\} \Rightarrow\hat{\delta}\left(q,\omega\right)=\bigcup_{i=1}^{m}\varepsilon-closure\left(r_{i}\right)</math>.
== Esempio ==
| |||