Analisis Semantik

Analisis Semantik adalah proses setelah melewati proses scanning dan parsing. Pada tahap ini dilakukan pengecekan pada struktur akhir yang telah diperoleh dan diperiksa kesesuaiannya dengan komponen program yang ada. Secara global, fungsi dari semantic analyzer adalah untuk menentukan makna dari serangkaian instruksi yang terdapat dalam program sumber.


Contoh :     A : = ( A + B ) * ( C + D )

maka penganalisis semantik harus mampu menentukan aksi apa yang akan dilakukan oleh operator-operator tersebut. Dalam sebuah proses kompilasi, andaikata parser menjumpai ekspresi seperti diatas, parser hanya akan mengenali simbol-simbol ':=' , '+' , dan '*'. Parser tidak tahu makna apa yang tersimpan dibalik simbol simbol tersebut. Untuk mengenalinya, kompiler akan memanggil rutin semantik yang akan memeriksa :

• Apakah variabel-variabel yang ada telah didefinisikan sebelumnya ?

• Apakah variabel-variabel tersebut tipenya sama ?

•  Apakah operand yang akan dioperasikan tersebut ada nilainya ?, dan seterusnya.

yang menghasilkan Output intermediate code, yang nantinya akan digunakan pada proses kompilasi berikutnya.