Syntax merupakan kumpulan aturan yang mendefinisikan suatu
bentuk bahasa dan
mendefinisikan bagaimana suatu kalimat dibentuk sebagai
barisan/urutan dari
pemilihan suatu kata dasar.
Syntax tidak mengerti apa pun tentang isi atau arti dari
suatu kalimat; aturan SEMANTIC
yang mengartikannya.
Syntax mendefinisikan suatu bentuk program yang benar dari
suatu bahasa.
Semantik mendefinisikan arti dari program yang benar secara
syntax dari bahasa tersebut.
Semantik suatu bahasa membutuhkan semacam expressi untuk
mengirimkan suatu nilai
kebenaran (TRUE,
FALSE, NOT atau nilai INTEGER)
Contoh deklarasi dalam bahasa C :
if (a>b) max = a
; else max = b ;
Ekspressi a > b harus di evaluasi, dan tergantung dari
nilai ini, satu dari dua statemen di belakangnya akan dieksekusi.
Aturan syntax memberikan bentuk pada statemen tersebut di
mana dengan tepat meletakkan tanda “;” sehingga aturan semantic dapat
mengartikannya dengan benar.
Teknik-teknik
Pendeskripsian Semantik Bahasa Pemrograman
1. Operational Semantic
2. Denotational Semantic
3. Axiomatic Semantic
4. Algebraic Semantic
5. Structured Operational atau Natural
Semantic
1. OPERATIONAL SEMANTIC
Pendekatan ini mendefinisikan suatu
mesin buatan (Abstract) dengan instruksi-instruksi
primitif,tidak perlu
realistik, tetapi cukup sederhana supaya tidak muncul kesalahpahaman.
Deskripsi semantic dari bahasa
pemrograman menentukan suatu translasi ke kode.
2. DENOTATIONAL SEMANTIC
Pada pendekatan ini, diberikan suatu
fungsi yang memetakan program-program komputer yang
ditunjuk ke dalam bentuk
nilai-nilai abstrak secara matematika (angka, nilai, kebenaran, fungsi
matematika, dan sebagainya.
3.
AXIOMATIC SEMANTIC
Pada pendekatan ini didefinisikan
suatu tindakan program yang dibangun dengan properti logika
yang menyimpan
status komputer sebelum dan sesudah eksekusi
4. ALGEBRAIC SEMANTIC
Pada pendekatan ini dipertimbangkan
suatu objek komputasi yang menjadi syarat-syarat dalam
aljabar multi-sorted. Program meng-implementasikan fungsi
yang dapat diwujudkan dengan suatu
persamaan di antara syarat-syarat tersebut.
5. STRUCTURED OPERATIONAL atau NATURAL SEMANTIC
Seperti dalam pengambilan keputusan
secara alamiah dengan logika. Program diberi suatu arti
dari aturan yang
diturunkan yang menggambarkan penilaian gagasan suatu bahasa.
Keadaan
atau hubungan antara syntax dan semantic secara matematika dapat digambarkan
sebagai
berikut:
