Automa a stati finiti non deterministico: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m →Voci correlate: Bot, replaced: Categoria:Linguaggi formali → Categoria:Teoria dei linguaggi formali |
m +sigla |
||
Riga 1:
{{Avvisounicode}}
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]]-transizioni. Gli automi che presentano questo tipo di transizioni sono anche detti ε-NFA.
| |||