Grammar in BNF.