Teori komputabilitas nitenin indik kakirangan makudang model teoritis komputer, rumasuk model sane pinih kaloktah—mesin Turing.
Computability theory examines the limitations of various theoretical models of the computer, including the most well-known model—the Turing machine.