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

m
+immagine, fix wl
m (+immagine, fix wl)
{{Avvisounicode}}
[[File:NFASimpleExample.svg|thumb|Esempio di ASFND]]
Nella teoria del calcolo, un '''automa a stati finiti non deterministico''' ('''ASFND''', 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 (lettera)|epsilon]]-transizioni. Gli automi che presentano questo tipo di transizioni sono anche detti ε-NFA.
 
== Definizione formale ==