myinspiration: MODEL-MODEL KOMPUTASI

untuk melakukan studi komputasi, ilmuwan komputer bekerja dengan abstraksi matematika dari komputer yang dinamakan model komputasi. Ada beberapa model yang digunakan, namun yang paling umum di pelajari adalah mesing turing. sebuah mesin turing dapat dipikirkan sebagai komputer pribadi dengan kapasitas memory yang tak terhingga, namin hanya dapat di akses dalam bagian-bagian terpisah dan diskret.
Ada tiga model komputasional,yaitu :
1. fungsional
model ini terdiri dari satu set nilai-nilai, fungsi-fungsi, dan operasi aplikasi fungsi dari komposisi fungsi. fungsi dapat mengambil fungsi lain sebagai argumentasi dan mengembalikan fungsi sebagai hasil. suatu program adalah koleksi definisi fungsi-fungsi dari suatu komputasi adalah aplikasi fungsi.
2. logika
terdiri dari satu set nilai-nilai, definisi hubungan dan kesimpulan logis. program terdiri dari definisi hubungan dan suatu komputasi adalah suatu bukti

3. imperatif

terdiri dari satu set nilai-nilai yang mencakup keadaan dan operasi tugas untuk memodifikasi pernyataan. pernyataan adalah set pasangan nilai-nama dari konstanta dan variabel.

Pembagian model komputasi :

A. Model 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.

Komponen mesin mealy :

- Himp State {S0, S1, S2, …. }

- Himp abjad input Notasi ∈∈∈={a,b,c, ..}

- Himp abjad output τττ ={x,y,z, ..}

- Tabel Transisi dan Outputmealy

B. Mesin Moore
Pada 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. Diagram fasa (state diagram) dari mesin moore memiliki sinyal keluaran untuk masing-masing fasa. hal ini berbeda dengan mesin mealy yang mempunyai keluaran untuk tiap transisi.

C. 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.