Added extended Backus-Naur form for the language