Pada postingan blog kali ini akan menjelaskan tentang teori komputasi sesuai dengan mata kuliah yang sedang saya ambil yaitu Pengantar Komputasi Modern. Teori komputasi adalah cabang yang berhubungan dengan bagaimana masalah dapat dipecahkan pada sebuah model komputasi secara efisien menggunakan algoritma. Dalam rangka melakukan penelitian yang rinci mengenai komputasi, ilmuwan komputer bekerja dengan matematika abstrak komputer yang disebut dengan model komputasi. Terdapat beberapa model yang digunakan, namun yang paling umum dipelajari adalah Mesin Turing. Mesin Turing dipelajari oleh para ilmuwan komputer karena itu sederhana untuk di formulasi dapat di analisis dan digunakan untuk membuktikan hasil karena itu mewakili banyak anggapan model komputasi yang paling mungkin. Mungkin kemampuan kapasitas memori yang tidak terbatas merupakan sesuatu yang tidak dapat terwujud, namun setiap masalah yang mungkin dipecahkan yang diselesaikan oleh Mesin Turing akan selalu hanya memerlukan jumlah memori yang terbatas. Sehingga pada dasarnya, setiap masalah yang dapat diselesaikan oleh Mesin Turing dapat diselesaikan oleh komputer yang memiliki jumlah memori yang terbatas.

Bidang ini terbagi menjadi tiga fokus besar yaitu bahasa dan teori otomata, teori rekursi dan teori kompleksitas komputasi. 

Teori Otomata

          Teori otomata adalah pelajaran mengenai mesin abstrak dan masalah komputasional yang dapat dipecahkan menggunakan mesin tersebut. Mesin abstrak inilah yang disebut Otomata. Otomata berasal dari bahasa Yunani Automata yang berarti sesuatu yang mengerjakan sesuatu dengan sendirinya. Teori otomata sangat dekat hubungannya dengan Teori Bahasa Formal, karena otomata sering diklasifikasikan dalam kelas bahasa formal. Otomata digunakan sebagai model teoritis untuk mesin komputer, dan digunakan untuk membuktikan perhitungan.

Teori Bahasa Formal
     Teori bahasa adalah cabang matematika yang bekutat dalam penggambaran bahasa sebagai sekumpulan operasi pada alfabet. Teori bahasa sangat bertautan dengan Teori Otomata, dimana otomata digunakan untuk menghasilkan dan mengenali bahasa formal. Ada beberapa kelas dalam bahasa formal dan setiap di antaranya lebih kompleks dari kelas sebelumnya. Karea otomata digunakan sebagai model komputasi, bahasa formal adalah mode spesifikasi yang lebih dipilih untuk semua masalah yang harus di hitung.

Teori Komputabilitas

       Teori ini secara pokok menangani persoalan masalah yang mana yang dapat dipecahkan oleh komputer. Pernyataan bahwa masalah halting (proses yang terhenti-henti) tidak dapat dipecahkan oleh Mesin Turing adalah salah satu hasil terpenting dalam teori komputabilitas, sebagaimana menjadi contoh bagi masalah yang konkrit yang keduanya mudah untuk diformulasi dan tidak mungkin untuk di pecahkan menggunakan Mesin Turing. Banyak teori komputabilitas yang dibangun pada hasil masalah halting.