• Vstup: Derivační strom
• Výstup: Abstraktní syntaktický strom
• Metoda:
• Sémantický analyzátor kontroluje sémantické aspekty programu:
• kontrola typů, při které může provádět implicitní konverze (např. int-to-real)
• kontrola deklarací proměnných
• Syntaxí řízený překlad:
   Syntaktický analyzátor řídí:
• Provádění sémantických akcí
• Generování abstraktního syntaktického stromu
Sémantický analyzátor
10/17