Часть II. Формальное описание языков программирования ( Формальная спецификация формальных языков ) Приложение. Грамматика языка IMP в форме BNF. - презентация

1 Часть II. Формальное описание языков программирования ( Формальная спецификация формальных языков ) Приложение. Грамматика языка IMP в форме BNF

2 Программа, блок, оператор ::= ::= begin ; end ::= | ;

3 Декларации ::= | ; ::= int | bool | fun ( ) : int =

4 Операторы ::= | | if then else end | while do end

5 Операторы ::= := ::= |

6 Выражения ::= | | + | - | … ::= true | false | | | ::= = ::= ::= > |

7 Вызов функции (Function Call) ::= ( )

8 Аргументы функции ::= |, ::= |