The syntax of most programming languages can be specified using a Type-2 grammar, i.e., they are context-free grammars.
Toda program bo še vedno sintaktično pravilen, ker deklaracija tipa zagotavlja le semantične informacije.