Pada teori ilmu komputer dan matematika, teori komputasi adalah cabang yang berhubungan dengan bagaimana masalah dapat dipecahkan pada sebuah model komputasi secara efisien menggunakan algoritma. Bidang ini terbagi menjadi tiga fokus besar yaitu bahasa dan teori otomata, teori rekursi dan teori kompleksitas komputasi.
