Sintax dan Semantiks

SEMANTIKS

Ø KONSEP SEMANTIKS BAHASA PEMROGRAMAN

Ø PENDEKATAN SYNTAX DIRECTED TRANSLATION

Ø TEKNIK-TEKNIK PENDESKRIPSIAN SEMANTIK BAHASA PEMROGRAMAN

KONSEP SEMANTIKS BAHASA PEMROGRAMAN

•         Syntax mendefinisikan suatubentuk    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)

PENDEKATAN SYNTAX
DIRECTED TRANSLATION

•         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 apapun tentang isi atau arti dari suatu kalimat; aturan SEMANTIC yang mengartikannya.

ContohdeklarasidalambahasaC :

          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

A.    Operational Semantic

B.    Denotational Semantic

C.    Axiomatic Semantic

D.   Algebraic Semantic

E.     Structured Operational atau Natural Semantic

A.  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 kekode.

B. DENOTATIONAL SEMANTIC

          Padapendekatanini, diberikan suatu fungsi yang memetakan program-program komputer yang ditunjuk kedalam bentuk nilai-nilai abstrak secara matematika (angka, nilai, kebenaran, fungsi matematika, dan sebagainya)

C. AXIOMATIC SEMANTIC

          Pada pendekatan ini didefinisikan suatu tindakan program yang dibangun dengan property logika yang menyimpan status computer sebelum dan sesudah eksekusi

D. 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.

E. 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.