Teori komputabilitas mengkaji keterbatasan berbagai model teoretis komputer, termasuk model yeng paleng teukenai-meusen Turing.