Jawaban:

Pada teori ilmu komputer dan matematika, teori komputasi adalah cabang yang selalu berhubungan dengan berbagai masalah dapat dipecahkan pada sebuah model komputasi secara efisien menggunakan algoritma.

Bidang ini terbagi menjadi tiga yaitu :

• bahasa dan teori otomata

• teori rekursi

• teori kompleksitas komputasi.

Teori Komputasi adalah sebagai model penciptaan dari seluruh cabang dalam bidang ilmu komputer (computer science).

Maka dari itu logika dan matematika digunakan dalam teori komputasi.

Pada abad ini, teori komputasi menjadi disiplin akademik mandiri dan telah terpisah dari matematika.

Beberapa pencetus dalam bidang teori komputasi adalah Alonzo Church, Kurt Godel, Alan Turing, Stephen Kleene, John von Neumann dan Claude Shannon.

Penjelasan: