2. Лексика, синтаксис и пр - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему 2. Лексика, синтаксис и пр. Доклад-сообщение содержит 52 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Языки программирования Язык – знаковая система

Слайд 2

Описание слайда:

Языки программирования Лексика Орфография Морфология Синтаксис Грамматика Пунктуация

Слайд 3

Описание слайда:

Лексика Лексема – элементарная (относительно синтаксиса) единица языка Примеры: Числа: 123.4e2, 12, 0x25 Знаки: +, !=, [,

Слайд 4

Описание слайда:

Лексика - пример Идентификатор – последовательность букв и цифр, начинающаяся с буквы Вопросы: Кириллица? Инд2 Регистр? PersonID = PeRSoniD _? student_count, __FILE__, _1 Длина? TheBestApproximationReachedSoFar Другие символы? IsLegal? Пробелы? Min X

Слайд 5

Описание слайда:

Лексика – формальное описание Регулярные выражения (_|a|…|z)(_|a|…|z|0|…|9)* Конечные автоматы

Слайд 6

Описание слайда:

Форма Бэкуса-Наура - БНФ Нетерминал – определяемое понятие Терминал – неопределяемый символ Метасимволы – ( ) ::= [ ] * Правило грамматики Нетерминал ::= последовательность терминалов и нетерминалов

Слайд 7

Описание слайда:

Пример БНФ буква ::= _ буква ::= a ... буква ::= z цифра ::= 0 … цифра ::= 9

Слайд 8

Описание слайда:

Регуляризованная БНФ - РБНФ Альтернатива разное ::= вариант1 ... разное ::= вариантn Эквивалентно разное ::= вариант1 | ... | вариантn Пример буква ::= _ | a | … | z

Слайд 9

Описание слайда:

Регуляризованная БНФ - РБНФ Необязательный элемент – возможное отсутствие можетбыть ::= можетбыть ::= нечто Эквивалентно можетбыть ::= [ нечто ] Пример букры ::= [ букра букры ]

Слайд 10

Описание слайда:

Регуляризованная БНФ - РБНФ Итерация – повторение ноль или более раз (звезда Клини) много ::= много ::= нечто много Эквивалентно много ::= (нечто)* Пример букры ::= (букра)*

Слайд 11

Описание слайда:

Регуляризованная БНФ - РБНФ Ненулевая итерация – повторение один или более раз (плюс Клини) много ::= нечто много ::= нечто много Эквивалентно много ::= (нечто)+ Пример букра (букра)* экививалентно (букра)+ (букра)* экививалентно [(букра)+]

Слайд 12

Описание слайда:

Пример РБНФ буква ::= _ буква ::= a ... буква ::= z цифра ::= 0 … цифра ::= 9

Слайд 13

Описание слайда:

Пример РБНФ буква ::= _|a|…|z цифра ::= 0|…|9

Слайд 14

Описание слайда:

Пример РБНФ буква ::= _|a|…|z цифра ::= 0|…|9

Слайд 15

Описание слайда:

Лексика Разделители Пробелы, переводы строк, табуляции Значащие позиции: с 7 по 72 Комментарии: /*…*/ // до конца строки Вложенные комментарии Максимальность лексемы: a+++++b,

Слайд 16

Описание слайда:

Лексика – национальные версии (Алгол 60) проц НОД(x,y,z); знач x,y; цел x,y,z; начало цел проц ОСТ(A,B); знач A,B; цел A,B; ОСТ := A – (A % B) * B; начало цел u; для u := ОСТ(x,y) пока u ≠ 0 цикл начало y := x; x := u конец; конец; z := x конец

Слайд 17

Описание слайда:

Лексика – национальные версии (проблемы) Для «правильного» перевода нужно менять не только лексику, но и синтаксис, структуру фраз Русские имена могут не допускаться окружающей обстановкой Использование «иноязычных» библиотек Изображение данных: числа: десятичная точка или десятичная запятая даты: 09/01/04 или 04/01/09 Неудобство набора текста опасность совпадения разных букв по начертанию

Слайд 18

Описание слайда:

Лексика Результат – поток лексем Тип лексемы: идентификатор, строка, число... Значение лексемы: изображение, значение числа,....

Слайд 19

Описание слайда:

Синтаксис Правила построения фраз из лексем Контекстно-свободный - структура фразы не зависит от окружения Контекстно-зависимый Пример (Algol-68): .A x := 2 Описание переменной с инициализацией, если А – тип Присваивание 2 по адресу (.A x), если .A - операция

Слайд 20

Описание слайда:

Контекстно-свободный синтаксис Пример (РБНФ) выр ::= перем | конст | (+ | -) выр | выр (= |

Слайд 21

Описание слайда:

Синтаксический вывод - дерево разбора Выражение: x + 2 * y Задача: найти последовательность правил вывода для заданной цепочки терминалов

Слайд 22

Описание слайда:

Синтаксический вывод (неоднозначность) Выражение: x + 2 * y

Слайд 23

Описание слайда:

Синтаксический вывод (избыточность) Допускается «лишнее» Пример: A < B + C < D + - + 2 X + - Y

Слайд 24

Описание слайда:

Контекстно-свободный синтаксис Пример – улучшенный вариант выр ::= прост-выр [(= |

Слайд 25

Описание слайда:

Синтаксический вывод - дерево разбора Выражение: x + 2 * y

Слайд 26

Описание слайда:

Неоднозначность if if (x > 0) if (x < 2) x = x+1; else x = x-1;

Слайд 27

Описание слайда:

Неоднозначность if

Слайд 28

Описание слайда:

Синтаксические диаграммы Структурированный ориентированный граф с одним входом и одним выходом, вершинами которого являются нетерминалы и терминалы Допускает цепочку терминалов на пути от входа к выходу с «заходом» в диаграммы нетерминалов.

Слайд 29

Описание слайда:

Синтаксические диаграммы Вход: Выход: Обязательный: Необязательный Игнорируемый:

Слайд 30

Описание слайда:

Синтаксические диаграммы Выбор: Необязательный выбор:

Слайд 31

Описание слайда:

Синтаксические диаграммы Повторение: Повторение через разделитель:

Слайд 32

Описание слайда:

Синтаксические диаграммы идент ::= A..Z [(A..Z | 0..9)*]

Слайд 33

Описание слайда:

Синтаксические диаграммы - пример «Плохая» грамматика

Слайд 34

Описание слайда:

Синтаксические диаграммы - пример Улучшенная грамматика выр ::= прост-выр [(= |

Слайд 35

Описание слайда:

Синтаксические диаграммы - пример прост-выр ::= [+ | -] слаг ((+ | -) слаг)* слаг ::= множ ((* | /) множ)*

Слайд 36

Описание слайда:

Синтаксические диаграммы - пример множ ::= перем | конст | ( выр )

Слайд 37

Описание слайда:

Синтаксические диаграммы – понятность пользователю Критерии чтобы не было слишком большим (умещалось на странице) чтобы не было слишком много диаграмм

Слайд 38

Описание слайда:

Устойчивость синтаксиса Случайные ошибки и опечатки должны обнаруживаться Разные конструкции должны визуально различаться Примеры:

Слайд 39

Описание слайда:

Контекстно-зависимый анализ Идентификация – сопоставление определений объектов с их использованиями Статический анализ типов – определение (вывод) типов объектов и выражений и проверка типовой правильности.

Слайд 40

Описание слайда:

Семантика Что делает данная программа? Функциональная семантика – функция, реализуемая программой Операционная семантика –последовательность (содержательных) действий выполняемая программой Аксиоматическая семантика – следствие постусловий из предусловий

Слайд 41

Описание слайда:

Стиль Лесенка - иногда обязательна (Occam), иногда поддерживается автоматически. int l1 = busy_class(cl, d*lessons_per_day + t1); if (t1==t || l1==-1 || lessons[l1]-> share[0].teacher != tch) continue; if (t1 < t-1 || t1>t+1) ++ not_sequence; else {++ total_class_overload; sum += B_CLASS_OVERLOAD; } Неправильно

Слайд 42

Описание слайда:

Стиль Лесенка int l1 = busy_class(cl, d*lessons_per_day + t1); if (t1 == t || l1 == -1 || lessons[l1]->share[0].teacher != tch) continue; /* Не скупитесь на пробелы */ if (t1 < t-1 || t1 > t+1) ++ not_sequence; else { ++ total_class_overload; sum += B_CLASS_OVERLOAD; }

Слайд 43

Описание слайда:

Стиль Лесенка else if плохо if (x >=1000) …. else if (x > 0) … else if (x == 0) … else if (x > -1000) … else // x

Слайд 44

Описание слайда:

Стиль Лесенка else if if (x >=1000) …. else if (x > 0) … else if (x == 0) … else if (x > -1000) … else // x

Слайд 45

Описание слайда:

Стиль Содержательные, мнемоничные идентификаторы int n1, n2; for (int index_of_outer_loop = 0; index_of_outer_loop < n1; index_of_outer_loop ++) for (int intIndexJ = 0; intIndexJ < n2; intIndexJ ++) … Неправильно

Слайд 46

Описание слайда:

Стиль Содержательные идентификаторы int PersonCount, ExamCount; for (int p = 0; p < PersonCount; p++) for (int j = 0; j < ExamCount; j ++) … Длина идентификатора пропорциональна размеру области его действия

Слайд 47

Описание слайда:

Стиль Неиспользование умолчаний int cnt = 0; unsigned char line[128] FILE * file; … while ( fgets(line, 127, file) != NULL) cnt ++;

Слайд 48

Описание слайда:

Комментарии Совсем без комментариев – плохо int max = 0; for (int i = 0; i < n; i++) if (M[i] > max) max = M[i];

Слайд 49

Описание слайда:

Комментарии С плохими комментариями – ещё хуже /* начальник приказал написать комментарии к каждой строчке – ему же хуже будет :-[ */ int max = 0; // присвоить 0 // перебираем i=0..n-1 for (int i = 0; i < n; i++) if (M[i] > max) // сравниваем с max max = M[i]; // обновляем, если надо

Слайд 50

Описание слайда:

Комментарии Комментарии облегчают понимание /* * Нахождение максимума max в массиве M */ int max = 0; // предполагается, что все M[i] > 0 for (int i = 0; i < n; i++) if (M[i] > max) max = M[i];