BNF-like Notation