• Překladová
pravidla jsou ve tvaru:
Pravidlo Semanticka_Akce
• Semanticka_Akce je
podprogram, který je zavolán, pokud
právě Pravidlo je použito.
Speciální symboly pro pravidla r:
$$ = atribut symbolu na levé
straně pravidla r
$i = atribut i-tého
symbolu na pravé straně pravidla r