1
Macchine per linguaggi senza contesto che non ottengono ulteriore potere dal non determinismo
Quando si considerano i modelli di calcolo della macchina, la gerarchia di Chomsky è normalmente caratterizzata da (in ordine), automi finiti, automi push-down, automi rilegati lineari e macchine di Turing. Per il primo e l'ultimo livello 1 (linguaggi regolari e linguaggi ricorsivamente enumerabili), non fa alcuna differenza per la potenza …