Содержание:

Синтаксис языков программирования.

Описание синтаксиса. Нормальная форма Бэкуса-Наура (БНФ) стр.1

Грамматики Хомского стр.2

Описание языка ML посредствам правил КС – грамматики стр.3

Синтаксическое дерево стр.5

Нисходящий синтаксический анализатор с возвратом стр.6

Нисходящий анализатор без возвратов (LL(1)) стр.8

Грамматика ML для правила LL(1) стр.9

Алгоритм рекурсивного спуска стр.10

Семантика языков программирования стр.12

Семантика лексических единиц стр.13

Формальные системы для внутреннего (промежуточного) стр.13

представления программ

Системы перевода формальных языков стр.14

Языки характеризующего перевода стр.15

Схема перевода в полиз для нашего языка ML стр.17

без переходов

Схема перевода в полиз с переходами стр.17

Схема перевода в триады стр.18

Assembler стр.20

22