My personal notes on (condensed) EBNF grammar