При описании синтаксиса языка используются следующие обозначения:
<exp> - любое допустимое языком выражение, возвращающее результат
<block> - блок, содержащий любое количество операторов языка (в том числе равное нулю)
[] - любое выражение, заключенное в данные скобки, может отсутствовать (не является обязательным)