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

Dato un NFA <math>\mathcal{A} = \left \langle \Sigma, S, \delta, s_0, F \right \rangle</math> ed una [[stringaStringa (formalelinguaggi formali)|stringa]] <math>w \in \Sigma^{*}</math>, A accetta la stringa <math>w = x_1 x_2 \cdots x_n</math> con <math> x_i \in \Sigma</math> se esiste una sequenza di stati <math>R = \left \{ r_0, r_1, \cdots, r_n \right \}</math> tale che: