GERARCHIA DI MACCHINE

• macchine combinatorie

• macchine (automi) a stati finiti

• macchina a stack

• macchina di Turing

TESI DI CHURCH-TURINGNon esiste alcun formalismo capace di risolvere una classe di problemi pi˜ ampia della Macchina di Turing

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica