Обработка сложно-организованной информации
Специальный курс
I. Формальные грамматики и элементы трансляции
1. Определение понятий языка и автомата. Связь между языками и автоматами2. Определение формальной грамматики. Контекстно-свободные грамматики.
3. Регулярные грамматики как подкласс КС-грамматик. Регулярные грамматики и конечные автоматы.
4. Описание конкретных языков КС-грамматиками и регулярными грамматиками. Проблема распознавания языков.
5. Методы преобразования грамматик к более простому виду.
6 Определение машины Тьюринга. Связь машин Тьюринга с грамматиками. Класс магазинных автоматов как подкласс машин Тьюринга.
7. Понятия транслятора (компилятора) и интерпретатора. Структура транслятора. Синтаксический и семантический анализаторы.
8. Грамматический разбор снизу-вверх и сверху вниз. LL(1)-грамматики как основное средство для разбора сверху-вниз.
9. Связь метода грамматического разбора с порождающей грамматикой. LL(k)-грамматики как основное средство для разбора сверху-вниз.
10. Связь синтаксиса и семантики современных языков программирования. Синтаксически-ориентированная трансляция.
11. Методы генерации машинного кода. Контекстно-свободная и контекстно-зависимая трансляция.
12. Трансляция арифметических выражений.
13. Трансляция условных операторов и циклов.
14. Общие положения семантической теории. Методы формальной спецификации программ.
II. Процессно-ориентированные методы программирования
1. Принцип активизации исходных данных2. Методы программирования задач с динамическими типами данных: лисповские списки, произвольные тексты.
3. Операция отождествления как базовое средство спецификации программ.
4. Процессно-ориентированный подход к описанию семантики языков программирования
5. Формальная семантика условных операторов и операций со сложными типами данных.
6. Семантическая обработка текстов на русском языке
7. Проблемы автоматического построения баз знаний.
8. Процессно-ориентированный подход к проблемам построения экспертных систем.
Литература
- Тузов В.А. Математическая модель языка. Л.: Изд-во ЛГУ, 1984. 176 с.