LíAUTOMA ESECUTORE
Realizzazione:
2) mediante un modello matematico
funzionale (Hilbert, (1842-1943), Church, Kleene)
operazionale (Turing, 1912-1954)
sistemi di riscrittura (Post, Markov,..).
Diapositiva precedente
Diapositiva successiva
Torna alla prima diapositiva
Visualizza versione grafica