Teori komputabilitas nitenin indik kakirangan makudang model teoritis komputer, rumasuk model sane pinih kaloktah—mesin Turing.