Computability theory examines the limitations of various theoretical models of the computer, including the most well-known model – the Turing machine.
Teori komputabilitas memeriksa batasan-batasan berbagai model teoretis komputer, termasuk model yang dikenal paling berdaya - Mesin turing.