Model komputasi adalah suatu kumpulan dari nilai dan operasi - operasi.
Model Komputasi
ada 3 dasar model komputasi,yaitu:
1. Model fungsional : terdiri dari satu set nilai, fungsi dan operasi aplikasi, fungsi dan komposisi fungsi.
2. Model logika :terdiri dati satu set nilai, definisi hubungan dan kesimpulan logis.
3. Model imperative :terdiri dari satu set nilai yang mencakup suatu status dan operasi tugas-tugas untuk memodifikasi status tersebut.
Kategori Model Komputasi
Terdapat 3 kategori model komputasi
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 saat itu dan bagian masukan/input. Dalam hal ini, diagram fase (state diagram) dari mesin Mealy memiliki sinyal masukan dan sinyal keluaran untuk tiap transisi. Prinsip ini berbeda dengan mesin Moore yang hanya menghasilkan keluaran/output pada tiap fase.
Nama Mealy diambil dari "G. H. Mealy" seorang perintis mesin-fase (state-machine) yang menulis karangan "A Method for Synthesizing Sequential Circuits" pada tahun 1955.
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 masing-masing fase. Hal ini berbeda dengan mesin Mealy yang mempunyai keluaran untuk tiap transisi.
Nama Moore diambil dari "Edward F. Moore" seorang ilmuwan komputer dan perintis mesin-fase (state-machine) yang menulis karangan "Gedanken-experiments on Sequential Machines".
Petri net
Petri net adalah 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. Di samping itu, untuk merepresentasikan keadaan sistem, token diletakkan pada place tertentu. Ketika sebuah transition terpantik, token akan bertransisi sesuai tanda panah.
Petri net pertama kali diajukkan oleh Carl Adam Petri pada tahun 1962.
daftar pustaka
http://dimasike.blogspot.com/2009/12/model-komputasi.html
http://id.wikipedia.org/wiki/Mesin_Mealy
http://id.wikipedia.org/wiki/Mesin_Moore
http://id.wikipedia.org/wiki/Petri_net
Tidak ada komentar:
Posting Komentar