Teori komputabilitas mendalami berbagai model teoritis komputer, termasuk model nang paling terkenal - mesin Turing.