Автоматический синтез правил коррекции текстовых документов формата LATEX

• Автор: Чувилин, Кирилл Владимирович
• Шифр специальности: 05.13.17
• Научная степень: Кандидатская
• Год защиты: 2013
• Место защиты: Москва
• Количество страниц: 127 с. : ил.

Содержание
Введение

Глава 1. Постановка задачи. Обзор существующих методов.

Предлагаемый подход

1.1. Постановка задачи синтеза правил коррекции типографических ошибок

1.2. Обзор существующих методов

1.2.1. Автоматизация обработки текстов

1.2.2. Интеллектуальная коррекция ошибок в поисковых запросах

1.2.3. Обработка исходного кода программ

1.3. Предлагаемый подход

1.3.1. Анализ структуры документов формата ШцХ
1.3.2. Выделение различий, вносимых корректорами в документы
1.3.3. Синтез правил коррекции
1.4. Выводы главы
Глава 2. Структура документов формата ПТ^Х
2.1. Система компьютерной верстки ВТрХ
2.1.1. Кратко о ТрХе
2.1.2. Кратко о ШфгХе
2.2. Структура разметки документа формата ЕТрХ
2.2.1. Состояния
2.2.2. Типы элементов
2.2.3. Типы лексем

2.2.4. Действия и операнды
2.3. Синтаксическое дерево документа Шр;Х
2.3.1. Элементы синтаксического дерева
2.4. Выводы главы
Глава 3. Алгоритмы сравнения документов формата ЩХ
3.1. Выделение различий между конечными последовательностями
3.1.1. Построение отображения
3.1.2. Применение для документов формата ИТрХ
3.2. Построение различий между деревьями
3.2.1. Алгоритм гйаг^-ЗЬазйа
3.2.2. Применение для синтаксических деревьев ИТрХ
3.3. Гибридный алгоритм
3.3.1. Разбиение текста
3.3.2. Отображение фрагментов текста
3.3.3. Отображение символов
3.3.4. Отображение токенов
3.3.5. Структура алгоритма
3.3.6. Эксперимент
3.4. Выводы главы
Глава 4. Правила коррекции
4.1. Правила коррекции с простой структурой
4.1.1. Синтез правил с линейным шаблоном
4.1.2. Поиск соответствий правилам
4.1.3. Предварительная оценка правила
4.1.4. Выбор оптимальных шаблонов
4.1.5. Редукция набора правил

4.1.6. Операции поднятия и опускания
4.1.7. Оценки качества набора правил
4.1.8. Эксперимент
4.2. Групповые правила
4.2.1. Построение групповых правил
4.2.2. Применение групповых правил
4.2.3. Эксперимент
4.3. Правила с древовидными шаблонами
4.3.1. Построение древовидных правил
4.3.2. Применение древовидных правил
4.3.3. Эксперимент
4.4. Выводы главы
Заключение
Литература
Приложение А. Символы МГ^Х
Приложение Б. Команды ИГдХ
Приложение В. Окружения Ш^Х
Приложение Г. Примеры синтезированных правил коррекции

2.2.3. Типы лексем
Каждый элемент исходного текста документа формата ШрХ обладает типом лексемы — логическим и функциональным значением. Один и тот же элемент может обладать разными типами лексем для различных состояний обработчика ТрХ. Также типом лексемы могут обладать параметры команд. Выделяются следующие типы:
• binaryOperator (бинарный математический оператор) —например, знаки арифметических операций ([+], Р] и т. п.);
• brackets (скобки) — синтаксическая конструкция для группировки элементов
• cellbreak (конец ячейки) — разделитель ячеек в таблице (|&Т);
• char (символ) — например, символ пунктуации (запятая, точка, двоеточие, апострофы и т. п.);
• command (команда) — указание компилятору TjgX для изменения внутренних переменных или состояния (например, команда setlength);
• digit (цифра) — арабские цифры (fol, [Tj [2] и т. д.)
• equation (формула) — математическое выражение (например, окружение equation);
• floatingBox (плавающий бокс) — например, окружение figure;
• hskip (горизонтальный отступ) — например, команда thickspace;
• image (изображение) — картинка, вставленная в текст (может быть скриптом или внешним ресурсом; например, команда includegraphics);