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

Презентация:



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

Часть II. Формальное описание языков программирования ( Формальная спецификация формальных языков ) Приложение. Атрибутная грамматика языка SIL. Генерация.
Часть II. Формальное описание языков программирования ( Формальная спецификация формальных языков ) Приложение. Атрибутная грамматика языка IMP.
Часть II. Формальное описание языков программирования ( Формальная спецификация формальных языков ) Приложение. Дерево абстрактного синтаксиса языка IMP.
Часть II. Формальное описание языков программирования ( Формальная спецификация формальных языков ) Приложение. Операционная семантика языка SIL.
Часть II. Формальное описание языков программирования ( Формальная спецификация формальных языков ) Приложение. Дерево абстрактного синтаксиса языка IMP.
Оператор присваивания := Ввода Read(x1,x2,…) Readln(x1,x2,…) Вывода Writex(x1,x2,…) Writeln(x1,x2,…) Составной оператор begin …. End;
Введение в программирование. Алфавит языка АлгоритмическийБейсикПаскаль 1) прописные и заглавные буквы русского алфавита; 2) 26 латинских строчных и 26.
Алгоритмические структуры 1.Линейный 2.Ветвление 3.Цикл.
Современные языки программирования и.NET: II семестр Лекция 10: Расширенные возможности полиморфизма в языке C# © Учебный Центр безопасности информационных.
Типы хранимых процедур System stored procedures User-defined stored procedures Temporary stored procedures.
ЛЕКЦИЯ 4 ОПЕРАТОРЫ.
Рекурсивные структуры данных Списки, двоичные деревья.
В. М. Гуровиц, while условие : # пока выполняется условие оператор 1 # повторять эти оператор 2 # операторы … оператор 3 # после завершения.
Урок информатики 9 физико-математический класс.
Перевод в ПОЛИЗ выражений Общепринятая запись: a*(b+c)-(d-e)/f ПОЛИЗ : abc+*de-f/- Перевод в ПОЛИЗ операторов Оператор присваивания I:=E ПОЛИЗ: IE:= Пример.
Ветвления Ветвления с одним действием If условие then действие 1 If условие then действие 1 Else действие 2; Else действие 2;Или If условие then действие.
АЛГОРИТМ ЕВКЛИДА (нахождение наибольшего общего делителя (НОД) двух натуральных чисел)
PHP как язык программированияPHP как язык программирования.
класс-ПОВТОРЕНИЕ ОСНОВНЫХ ПОНЯТИЙ ТЕМЫ « ОСНОВЫ АЛГОРИТМИЗАЦИИ И ПРОГРАММИРОВАНИЯ » 8 КЛАСС.
Транксрипт:

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

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

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

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

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

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

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

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