Τυπική περιγραφή γλωσσών

Σύνταξη (Syntax): Ο τρόπος με τον οποίο τοποθετούνται στη σειρά τα συστατικά στοιχεία της γλώσσας για να αποτελέσουν ένα πρόγραμμα.
Σημασιολογία (Semantics): Η σημασία που αποδίδεται στα συστατικά στοιχεία ενός προγράμματος κατά τη μετάφραση και την εκτέλεσή του.

Παράδειγμα γραμματικής BNF

Μια αριθμητική έκφραση μπορεί να αποτελείται από:

Ο τρόπος που αυτά συνδυάζονται μεταξύ τους εκφράζεται σε BFN ως εξής:

ΑΔ ::= ΑΔ + ΠΓ | ΑΔ - ΠΓ | ΠΓ
ΠΓ ::= ΠΓ * Β | ΠΓ / Β | Β
Β ::= αριθμός | (ΑΔ)