Semantiks

SEMANTIKS

• Ø KONSEP SEMANTIKS BAHASA PEMROGRAMAN
• Ø PENDEKATAN SYNTAX DIRECTED TRANSLATION
• Ø TEKNIK-TEKNIK PENDESKRIPSIAN SEMANTIK BAHASA PEMROGRAMAN

KONSEP SEMANTIKS BAHASA PEMROGRAMAN

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

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 “;” sehingg aaturan 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

A. OPERATIONAL SEMANTIC

Pendekatan ini mendefinisikan suatu mesin buatan (Abstract) dengan instruksi-instruksi primitif, tidak perlu realistik, tetapicukupsederhanasupaya tidak muncul ke salah pahaman.Deskripsi semantic daribahasapemrogramanmenentukansuatutranslasikekode.

B. DENOTATIONAL SEMANTIC

Pad apendekatan ini, diberikan suatu fungsi yang memetakan program-program komputer yang ditunjuk kedalam bentuk nilai-nilaia bstrak secara matematika (angka, nilai, kebenaran, fungsi matematika, dan sebagainya)

C. AXIOMATIC SEMANTIC

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

D. ALGEBRAIC SEMANTIC

Pada pendekatan ini dipertimbangkan suatuobjek komputasi yang menjadi syarat-syarat dalam aljabar multi-sorted. Program meng-implementasikan fungsi yang dapat diwujudkan dengan suatu persamaan di antarasyarat-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.