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

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.