Обработка сложно-организованной информации

Специальный курс

Лектор: д.ф.-м.н., проф. Тузов В.А.

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 с.