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

m
→‎Definizione formale: Bot, replaced: stringa (formale) → Stringa (linguaggi formali)
m (-corsivo)
m (→‎Definizione formale: Bot, replaced: stringa (formale) → Stringa (linguaggi formali))
* <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 [[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:
# <math>r_0 = s_0</math>
# <math>\delta(r_i, x_i) \in R</math>
2 874 783

contributi