model komputasi
Ada tiga model dasar komputasional yaitu fungsional, logika, dan imperatif. Sebagai tambahan terhadap satuan nilai dan operasi yang berhubungan, masing-masing model komputasi memiliki satu set operasi yang digunakan untuk menggambarkan komputasi.
Model Fungsional : terdiri dari satu set nilai-nilai, fungsi-fungsi dan operasi aplikasi fungsi dan komposisi fungsi. Fungsi dapat mengambil fungsi lain sebagai argumentasi dan mengembalikan fungsi sebagai hasil (higher-order function). Suatu program adalah kumpulan definisi fungsi-fungsi dan suatu komputasi adalah aplikasi fungsi.
Model Logika : terdiri dari satu set nilai-nilai, definisi hubungan dan kesimpulan. Program terdiri dari definisi hubungan dan suatu komputasi adalah suatu bukti(suatu urutan kesimpulan).
Model Imperatif : terdiri dari satu set nilai yang mencakup suatu keadaan dan operasi tugas untuk memodifikasi pernyataan. Pernyataan adalah set pasangan nilai-nama dari konstanta dan variabel. Program terdiri dari urutan tugas dan suatu komputasi terdiri dari urutan pernyataan.
Contoh dari penggunaan/penerapan komputasi adalah :
Petri net adalah salah satu model untuk merepresentasikan sistem terdistribusi diskret. Sebagai sebuah model, Petri net merupakan grafik 2 arah yang terdiri dari place, transisi, dan tanda panah yang menghubungkan keduanya. Di samping itu, untuk merepresentasikan keadaan sistem, token diletakkan pada tempat tertentu. Ketika sebuah transisi terpantik, token akan bertransisi sesuai tanda panah.
Petri net pertama kali diajukkan oleh Carl Adam Petri pada tahun 1962 .
Mesin Moore
Dalam teori komputasi sebagai prinsip dasar komputer , mesin Moore adalah otomasi fase berhingga (finite state automaton) di mana keluarannya ditentukan hanya oleh fase saat itu (dan tidak terpengaruh oleh bagian masukan/input). Diagram fase (state diagram) dari mesin Moore memiliki sinyal keluaran untuk fase masing-masing. Hal ini berbeda dengan mesin Mealy yang menghasilkan keluaran untuk tiap transisi.
Mesin Mealy
Dalam teori komputasi sebagai konsep dasar sebuah komputer , mesin Mealy adalah otomasi fase berhingga (finite state automaton atau finite state tranducer) yang menghasilkan keluaran berdasarkan fase itu dan bagian masukan/input. Dalam hal ini, diagram fase (state diagram) dari Mealy memilikisinyal masukan dan sinyal keluaran untuk tiap transisi. Prinsip ini berbeda dengan mesin Moore yang hanya menghasilkan keluaran/keluaran pada setiap fase.
sumber dari :
http://wartawarga.gunadarma.ac.id/2012/04/model-komputasi/
http://id.wikipedia.org/wiki/Teori_komputasi