Semantiks

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: