model komputasi adalah suatu kumpulan dari nilai dan operasi-operasi.
Ada 3 dasar model komputasi :
1. Model Fungsional
    Model perhitungan yang fungsional terdiri dari satu set nilai-nilai, fungsi dan operasi
    aplikasi, fungsi dan komposisi fungsi.
2. Model Logika
    Logika model perhitungan terdiri dari suatu set nilai-nilai, definisi hubungan dan
    kesimpulan logis.
3. Model Imperative
   Model perhitungan yang imperative terdiri dari satu set nilai-nilai yang mencakup
   suatu status dan operasi tugas-tugas untuk memodifikasi status tersebut.

-DEFINISI SINTAKS, SEMANTIK DAN PRAGMATIS
SINTAKS  : Aturan gramatikal / komposisi suatu program yang mengatur      tata cara penulisan huruf, angka dan karakter lain.
Contoh : Pada pembuatan program Pascal antara 2 statement dipisahkan oleh ; (titik koma)
               X:=1;  X:=X+1;
SEMANTIK  : Mendefinisikan arti dari program yang benar secara sintaks     dari bahasa pemrograman tersebut.
Contoh : Pada pembuatan program C
               int vector[10]
               Arti semantiknya akan menyebabkan ruang sebanyak 10
PRAGMATIS  : Menguraikan derajat tingkat sukses dengan suatu bahasa     pemrograman kepada model perhitungan dalam kegunaannya     untuk para programer.