Turing

Macchine di Turing e teoria della computabilità
La principale forma di computabilità studiata nella teoria della computabilità è stata introdotta da Turing (1936). Una funzione f da numeri naturali ...