The syntax of most programming languages can be specified using a Type-2 grammar, i.e., they are context-free grammars.
Η σύνταξη των περισσότερων γλωσσών προγραμματισμού μπορεί να οριστεί χρησιμοποιώντας μια γραμματική Τύπου-2, δηλ. είναι γραμματικές χωρίς συμφραζόμενα.