Ada
tiga model dasar komputasional-- fungsional, logika, dan imperatif.
Sebagai tambahan terhadap satuan nilai-nilai dan operasi yang
berhubungan, masing-masing model komputasional mempunyai satu set
operasi yang digunakan untuk menggambarkan komputasi.
a. 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 koleksi definisi
fungsi-fungsi dan suatu komputasi adalah aplikasi fungsi.
b. Model Logika
: terdiri dari satu set nilai-nilai, definisi hubungan dan kesimpulan
logis. Program terdiri dari definisi hubungan dan suatu komputasi
adalah suatu bukti(suatu urutan kesimpulan).
c. Model Imperatif
: terdiri dari satu set nilai-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.
Tidak ada komentar:
Posting Komentar