A teoria da computabilitæ a sstudia i limiti de varri modelli teròrichi di computer, compreiso quello ciù conosciuo: a machina de Turing.