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

m
-corsivo
(Wikipedia python library v.2)
m (-corsivo)
{{Avvisounicode}}
Nella teoria del calcolo, un '''automa a stati finiti non deterministico''' (in [[lingua inglese|inglese]]'' ''nondeterministic finite automaton'', '''NFA''') è una [[automa a stati finiti|macchina a stati finiti]] dove per ogni coppia stato-simbolo in input possono esservi più stati di destinazione.
 
Al contrario degli [[automa a stati finiti deterministico|automi a stati finiti deterministici]], gli NFA possono cambiare stato indipendentemente dal simbolo letto, tramite [[epsilon]]-transizioni. Gli automi che presentano questo tipo di transizioni sono anche detti ε-NFA.