Teori komputabilitas najancikan paggangkangan maega modeleteoretis komputer, matame' modele yae sukku-disseng - mesina Turing.