Differenze tra le versioni di "Automa a stati finiti non deterministico"

nessun oggetto della modifica
(Annullata la modifica 41914952 di ChuispastonBot (discussione))
* <math>F \subseteq S</math> insieme di stati finali
 
Dato un NFA <math>\mathcal{A} = \left \langle \Sigma, S, \delta, s_0, F \right \rangle</math> ed una [[stringa (formale)|stringa]] <math>w \in \Sigma^{*}</math>, A accetta la stringa <math>w = a_1 a_2 \cdots a_n</math> con </math> a_i \in \Sigma</math> se esiste una sequenza di stati <math>R = \left \{ r_0, r_1, \cdots, r_n \right \}</math> tale che:
# <math>r_0 = s_0</math>
# <math>\delta(r_i, x_i) \in R</math>
Utente anonimo