Teori Komputasi (apa itu?)

Hola.... akhirnya Irvan kembali menulis di blognya sendiri.... (abaikan)

Kali ini kita akan membahas teori komputasi, apa sih teori komputasi itu?

Teori komputasi itu adalah cabang ilmu komputer (teoritis) dan matematika yang membahas bagaimana suatu masalah bisa dipecahkan dengan algoritma pada suatu model komputasi.
Model komputasi? Nah, model komputasi itu adalah abstaraksi dari matematika dari komputer agar studi komputasi bisa didalami para ilmuwan (biasanya sih yang sering dipelajari itu model mesin turing, walaupun model komputasi itu ada banyak).
Teori komputasi bisa dipecah jadi 3 yaitu :

1. Teori Otomata (Automata Theory)

Teori Otomata adalah teori yang memabahas bagaimana bisa suatu bahasa bisa diterima di komputer dengan aturan-aturan tertentu (biasanya digunakan di kompiler bahasa pemrograman). Teori otomata kata wiki itu berkaitan dengan mesin-mesin abstark yang berhubungan dengan bahasa formal (kalau mau belajar ini mah harus rajin). Bahasan yang dibahas di sini ada DFA, NFA, mesin turing, pushdown automata, dll.

2. Teori Komputabilitas (Computability Theory)

Teori komputabilitas bertujuan untuk memeriksa apakah persoalan komputasi dapat dipecahkan pada suatu model komputasi teoritis. Dengan kata lain, teori komputabilitas mengklasifikasikan persoalan sebagai dapat dipecahkan (solvable) atau persoalan yang tidak dapat dipecahkan (unsolvable).

 3. Teori Kompleksitas (Computational Complexity Theory)
Teori kompleksitas bertujuan untuk mengkaji kebutuhan waktu dan ruang untuk memecahkan persoalan yang diselesaikan dengan pendekatan yang berbeda-beda. Biasanya bakal ngomonin Big-oh, Big tetha dan satu lagi big apa gitu, lupa. Simpelnya, ini tuh membandingkan algoritma mana yang lebih efektif dari segi waktu dan memori.

Beberapa model komputasi yang ada :

• Finite State Automata (FSA)/Finite State Machine (FSM)
• Push Down Automata (PDA)
• Mesin Turing (Turing Machine) atau TM

Sekian yang dibahas kali ini, saya sih juga lumayan puyeng sama teori otomata :D . See ya next time.

Sumber :

https://anggasaputro.wordpress.com/2016/03/15/teori-komputasi-dan-penerapannya/
https://id.wikipedia.org/wiki/Teori_komputasi
https://ariefimam2.wordpress.com/2015/08/03/implementasi-komputasi-pada-bidang-kimia/