ALGORITMA PEMROGRAMAN 1C SEMANTIKS

Transkripsi

1 ALGORITMA PEMROGRAMAN 1C SEMANTIKS Indah Wahyuni

2 PENDAHULUAN Parser tidak mengetahui symbol-simbol. Untuk mengenali makna dari simbolsimbol tersebut maka compiler memanggil routin semantics. Membutuhkan semacam ekpresi untuk mengirimkan suatu nilai kebenaran (TRUE, FALSE, NOT atau nilai INTEGER). Program hanya dapat dieksekusi jika benar serta mengikuti aturan syntax dan semantic. 2

3 PENDAHULUAN Untuk mengetahui makna, maka routin ini akan memeriksa: Apakah variabel yang ada telah didefenisikan terlebih dahulu Apakah variabel-variabel tersebut tipenya sama Apakah operand yang akan dioperasikan tersebut ada nilainy, dst Menggunakan table symbol Pemeriksaan bisa dilakukan pada table identifier, table display dsb 3

4 PENDAHULUAN Pengecekkan yang dilakukan dapat berupa: 1.Memeriksa penggunaan nama-nama (keberlakuannya) Duplikasi. Apakah sebuah nama terjadi pendefenisian lebih dari 2 kali. Pengecekkan dilakuak pada bagian pengelolaan block. Terdefenisi Apakah nama yang dipakai pada program sudah terdefenisi atau belum. Pengecekkan dilakukan pada semua tempat kecuali block. 4

5 PENDAHULUAN 2. Memeriksa tipe Melakuakan pemeriksaan terhadap kesesuaian tipe dalam statemen-staemen yang ada. Misalnya bila terdapat suatu operasi, diperiksa tipe operandnya. Contoh : Ekspresi yang mengikuti if berarti tipenya Boolean, akan diperiksa tipe identifier dan tipe ekspresinya Bila ada operasi antara 2 operand maka tipe operand yang pertama harus bisa dioperasikan dengan operand yang kedua 5

6 TEKNIK SEMANTIK 1. Operational Semantic Mendefenisikan suatu mesin buatan (abstrak) dengan instruksi-instruksi primitive, tidak perlu realistic, tetapi dengan cukup sederhana supaya tidak muncul kesalahpahaman. Semantik operasional menceritakan bagaimana perhitunga yang dilakukan dengan mendefinisikan bagaimana mensimulasikan pelaksanaan program. 6

7 TEKNIK SEMANTIK 2. Detonational Semantic Menggambarkan apa yang diproses dengan objek matematika. Pendefinisian denotasi dari tiga bagian: sintaks abstrak dari bahasa itu, aljabar semantik yang menggambarkan model komputasi dan fungsi nilai Diberikan suatu fungsi yang memetakan program-program komputer yang ditunjukkan ke dalam bentuk nilai-nilai abstrak secara matematika (angka, nilai kebenaran, fungsi matematika, dsb) 7

8 TEKNIK SEMANTIK 3. Axiomatic Semantic Mendefinisikan sebuah teori matematika program yang ditulis dalam bahasa. Pada pendekatan ini didefenisikan suatu tindakan program yang dibangun dengan properti logika yang menyimpan status computer sebelum dan sesudah dieksekusi. 8

9 TEKNIK SEMANTIK 4. Algebraic Semantic Menggambarkan arti sebuah program dengan definisi aljabar. Dipertimbangkan suatu objek komputasi yang menjadi syarat-syarat dalam aljabar multi stored. Program mengimplementasikan fungsi yang dapat diwujudkan dengan suatu persamaan di antara syarat-syarat tersebut. 9

10 TEKNIK SEMANTIK 5. Translation Semantic Menterjemahkan sebuah program ke bahasa lain, biasanya bahasa mesin Seperti dalam pengambilan keputusan secara alamiah dengan logika, program diberi suatu arti dari aturan yang diturunkan yang menggambarkan penilaian gagasan suatu bahasa. 10

11 SYNTAX DIRECTED TRANSLATOR Kode antara (intermediate code) adalah sebuah representasi yang disiapkan untuk mesin abstrak tertentu. Dua sifat yang harus dipenuhi oleh kode antara adalah : 1. Dapat dihasilkan dengan mudah 2. Mudah ditranslasikan menjadi program sasaran (target program) 11

12 SYNTAX DIRECTED TRANSLATOR Intermediate code merupakan hasil dari tahapan analisis Dibuat oleh kompilator pada saat mentranslasikan program dari bahasa tingkat tinggi Kegunaan dari kode antara sebagai berikut: Untuk memperkecil usaha dalam membangun kompilator dari sejumlah bahasa ke sejumlah mesin.. 12

13 SYNTAX DIRECTED TRANSLATOR Representasi kode antara biasanya berbentuk tiga alamat (three address code), baik berbentuk quadruples atau triples. Syntax directed translation adalah suatu urutan proses yang mentranslasikan parse tree menjadi kode antara. Terdapat dua macam kode antara, yaitu Notasi Postfix dan N-Tuple 13

14 NOTASI POSTFIX Operator diletakkan paling akhir Disebut juga dengan notasi Sufix atau Reverse Polish. Sintaks notasi Postfix : (operand) (operand) (operator) Contoh 1. Misalkan ekspresi: (a + b)*(c + d) Postfix : ab + cd + * 14

15 NOTASI POSTFIX Contoh 2. menggunakan instruksi kontrol If (exp) then (stm1) else (stm2) Notasi prostfix: (exp) (label1) BZ (stm1) (label2) BR (stm2) BZ: Branch if zero (untuk exp yg salah) BR: Branch (untuk case tanpa ada exp) 15

16 NOTASI POSTFIX Misalkan ekspresi: If a > b then c := d else c := e Postfix: 11 a 16 c 21 c 12 b 17 d 22 e 13 > 18 := 23 := BZ 20 BR 25-16

17 NOTASI N-TUPLE Baris terdiri dari beberapa tupel. Dibagi menjadi 2 yaitu: 1. Triples : (operator), (operand), (operand) 2. Quad truples : (operator), (operand), (operand) 17

18 NOTASI N-TUPLE Contoh. A := D*C + B/E Triples: 1. *, D, C 2. /, B, E 3. +, (1), (2) 4. :=, A, (3) Quad truples: 1. *, D, C, X 2. /, B, E, Y 3. +, X, Y, A 18

19 19