تتناول نظرية الحوسبة القيود ديال النماذج النظرية المختلفة للكمبيوتر، بما فيها آلة تورينج اللي تتعتابر أشهر وحدة فهاد النماذج.