| Содержание | 5 |
| 1. Введение, определение языка | 6 |
| 1.1. Элементы теории языка и их грамматика. Символы, цепочки и операции над ними | 9 |
| 1.2. Формальное определение языка | 10 |
| 1.3. Отношения и операции над ними | 11 |
| 1.4. Требования, предъявляемые к грамматикам | 12 |
| 1.5. Способы представления синтаксиса языка. Задание бесконечного текста конечными средствами. Проблема разбора. Классификация языков | 12 |
| 2. Сканеры (лексические анализаторы) | 14 |
| 3. Грамматики простого предшествования | 20 |
| 3.1. Простые предшествования. | 20 |
| 3.2. Отношения предшествования и их вычисление | 21 |
| 3.3. Операторное предшествование | 23 |
| 3.4. Вычисление отношений операторного предшествования. Алгоритм разбора на основе операторного предшествования | 24 |
| 3.5. Предшествование более высокого порядка | 26 |
| 3.6. Способ представления грамматики в ОП | 28 |
| 3.7. Предшествование более высокого порядка | 30 |
| 3.8. Ограниченный контекст | 33 |
| 4. Автоматы с магазинной памятью, [ МП-автомат ] | 41 |
| 5. Теория перевода | 72 |
| ГЛОССАРИЙ | 80 |
| СПИСОК ЛИТЕРАТУРЫ | 82 |