Tolong jelaskan mengenai Analisis semantik dari Kompilator

Analisis semantik adalah tahap atau proses yang menggunakan pohon uraian hasil dari analisis sintaksis tadi untuk memastikan konsistensi semantik dari program, dan juga mengoptimalkan struktur dari program. Proses ini juga mengumpulkan dan menganalisis informasi mengenai tipe data dari variabel-variabel yang ada di dalam program. Informasi tentang tipe data ini disimpan dalam tabel simbol atau langsung di dalam pohon urai parsing, yang nanti akan dimanfaatkan dalam penghasilan kode sasaran (target code).