Automa a stati finiti non deterministico: differenze tra le versioni

Sebbene questo modello sia molto utile per introdurre il non determinismo, la sua utilità pratica è molto limitata poiché non dispone né della possibilità di riconoscere stringhe di simboli in ingresso, né tantomeno della possibilità di compiere traduzioni.

Proprio per questi motivi il modello computazionale viene esteso, con lo scopo di aumentarne il potere espressivo, per generare l'accettore non deterministico ed il trasduttore non deterministico.

 

{| style="border: 1px solid black; height: 50px; margin-bottom: 20px; margin-top: 20px"