Blogger Favor

Teori: 
Kali ini kita akan membahas mengenai teori komputasi. teori komputasi itu sendiri menurut Wikipedia adalah:  

cabang ilmu komputer dan matematika yang membahas apakah dan bagaimanakah suatu masalah dapat dipecahkan pada model komputasi, menggunakan algoritma. Bidang ini dibagi menjadi dua cabang: teori komputabilitas dan teori kompleksitas, namun kedua cabang berurusan dengan model formal komputasi.

Model komputasi yang sering untuk dipelajari adalah Mesin Turing. Mesin Turing dipelajari oleh Ilmuwan Komputer karena mudah dirumuskan, dianalisis dan paling masuk akal.

Sejarah:
Pertama kali komputasi modern ditemukan oleh John Von Neumann. Beliau adalah ilmuan yang meletakkan dasar-dasar komputer modern. Dalam hidupnya yang singkat, Von Neumann telah menjadi ilmuwan besar abad 21. Von Neumann meningkatkan karya-karyanya dalam bidang matematika, teori kuantum, game theory, fisika nuklir, dan ilmu komputer. Beliau juga merupakan salah seorang ilmuwan yang sangat berpengaruh dalam pembuatan bom atom di Los Alamos pada Perang Dunia II lalu

Implementasi:

- Fisika: dalam cabang ilmu fisika terdapat Computational Physics. Ini dianggap sebagai pertengahan antara fisika teoritis dan fisika eksperimental. Implementasi ilmu dibidang fisika ini terletak pada implementasi algoritma numerik dalam memecahkan teori kuantitatif fisika yang sudah ada.

- Kimia: pada cabang ilmu ini terdapat Computational Chemistry. Ilmu komputer disini untuk membantu menyelesaikan masalah kimia.Biasanya teori kimia diduetkan dengan program komputer untuk menghitung struktur serta sifat molekul

- Ekonomi: Area yang di cakup pada Computational Economics seperti agent based computational modelling, computational econometriks dan statistika, komputasi keuangan.

- Matematika: Implementasinya terdapat pada program mapple. ini digunakan dalam menyelesaikan perhitungan matematika

- Geologi dan Geografi: prakiraan cuaca dan deteksi gempa

Penerapan Model Komputasi

- Mesin Mealy: mesin Mealy adalah otomasi fase berhingga (finite state automaton atau finite state tranducer) yang menghasilkan keluaran berdasarkan fase saat itu dan bagian masukan/input

- Mesin Moore: otomasi fase berhingga (finite state automaton) di mana keluarannya ditentukan hanya oleh fase saat itu (dan tidak terpengaruh oleh bagian masukan/input).

- Petri Net: salah satu model untuk merepresentasikan sistem terdistribusi diskret. Sebagai sebuah model, Petri net merupakan grafik 2 arah yang terdiri dari place,transition, dan tanda panah yang menghubungkan keduanya.

Sumber:
http://myblogisland.blogspot.com/2013/04/teori-komputasi-dan-implementasi-pada.html
http://no21reason.blogspot.com/2013/04/teori-komputasi-dan-implementasi.html
http://id.wikipedia.org/wiki/Teori_komputasi

http://staff.ui.ac.id/internal/130422587/material/TeoriKomputasiBag_2.pdf