Часть II. Формальное описание языков программирования ( Формальная спецификация формальных языков ) Приложение. Грамматика языка IMP в форме BNF
Программа, блок, оператор ::= ::= begin ; end ::= | ;
Декларации ::= | ; ::= int | bool | fun ( ) : int =
Операторы ::= | | if then else end | while do end
Операторы ::= := ::= |
Выражения ::= | | + | - | … ::= true | false | | | ::= = ::= ::= > |
Вызов функции (Function Call) ::= ( )
Аргументы функции ::= |, ::= |