Ła teoria deła computabiłità ła esamina i limiti dei vari modełi tecnici del computer, incluso el modeło pí conosesto - ła machina de Turing.