Funzione calcolabile: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m senza fonti |
→Proprietà: Corretta grammatica Etichette: Modifica da mobile Modifica da applicazione mobile |
||
Riga 14:
* gli [[algoritmo di Markov|algoritmi normali di Markov]]
Alternativamente esse possono essere definite come
* le [[macchina di Turing|macchine di Turing]]
* i [[sistemi di Post|sistemi combinatori di Post]]
| |||