Automa a stati finiti non deterministico: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Definizione di automa a stati finiti non deterministico |
|||
Riga 97:
L'insieme d'arrivo è indicato con la dicitura <math>\mathcal{P}(Q)</math>, che indica l'insieme delle parti dell'insieme degli stati;
come conseguenza gli elementi dell'insieme d'arrivo sono sottoinsiemi dell'insieme degli stati: in questo modo un solo simbolo d'ingresso può innescare contemporaneamente più transizioni.
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"
| |||