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

m
s/NDFA/NFA
m (s/NDFA/NFA)
Nella teoria del calcolo, un '''automa a stati finiti non deterministico''' (NDFANFA in inglese) è una [[automa a stati finiti|macchina a stati finiti]] dove per ogni coppia stato-simbolo in input ci possono essere più stati di destinazione.
 
<!--