La teoría de la computabilidad examina las limitaciones de varios modelos teóricos de la computadora, incluido el modelo más conocido, la máquina de Turing.