Model Komputasi

Model komputasi terbagi menjadi 3 bagian, yaitu :
1.   1) Mesin Mealy


   Dalam teori komputasi, mesin Mealy merupakan otomasi fasa berhingga (finite state automaton atau finite state tranducer) yang menghasilkan keluaran berdasarkan fasa saat itu dan bagian masukan atau input. Dalam hal ini, diagram fasa (state diagram) dari mesin Mealy memiliki sinyal masukan dan sinyal keluaran untuk setiap transisi. Prinsipmesin Mealy  ini berbeda dengan mesin Moore yang hanya menghasilkan keluaran atau output pada tiap fasa. Mesin Mealy ditemukan oleh G. H. Mealy, seorang perintis mesin-fasa (state-machine) yang juga menulis karangan berjudul “A Method for Synthesizing Sequential Circuits” pada tahun 1955.
Mesin Mealy (Mealy Machine) dinyatakan dengan 6 tupel, M = (Q, ?, ?, S, ?, ?),  dimana :
Q
?
?
S
?
? = himpunan stata
= himpunan symbol input
= fungsi transisi
= state awal, S € Q
= himpunan output
= fungsi output untuk setiap transisi
2.  
      2) Mesin Moore


  Dalam teori komputasi, mesin Moore merupakan otomasi fasa berhingga (finite state automaton) di mana keluarannya ditentukan hanya oleh fasa saat itu (dan tidak terpengaruh oleh bagian masukan/input). Diagram fasa (state diagram) dari mesin Moore ini memiliki sinyal keluaran untuk masing-masing fasa. Hal ini berbeda dengan mesin Mealy yang mempunyai keluaran untuk tiap transisi. Mesin Moore ditemukan oleh Edward F. Moore, seorang ilmuwan komputer dan perintis mesin-fasa (state-machine) yang juga menulis karangan berjudul "Gedanken-experiments on Sequential Machines".

3.   3) Petri Net


   Petri net merupakan salah satu model untuk merepresentasikan sistem terdistribusi diskrit. 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. Pertama kali Petri net ditemukan oleh Carl Adam Petri pada tahun 1962.


Sumber :

  • Digg
  • Del.icio.us
  • StumbleUpon
  • Reddit
  • RSS

0 komentar:

Posting Komentar