ДЕТЕРМИНИРОВАННАЯ СЕМАНТИКА РЕГУЛЯРНЫХ ВЫРАЖЕНИЙ

Автор(ы): Черемисинов Дмитрий Иванович

Рубрика: Методологические исследования

Выпуск: 2016-2 (14)

Страницы: 379-386

Ключевые слова: Формальный язык, Анализатор, Регулярное выражение, Алгебра Клини, Конечный автомат, Детерминированная семантика

Аннотация: Проблема конвертации описания на формальном языке имеет большое практиче-ское значение для системной интеграции программ и в области технологии программирования, называемой «реинжинирингом программного обеспечения» (software reengineering). Операция анализа строковых данных путём сопоставления с образцом, заданным регулярным выражением, образует основу для построения разнообразных конверторов. Предлагается изменить традиционную модель операции сопоставления с образцом на основе конечного автомата на модель в виде алгебры образцов.

Библиографическая ссылка: Черемисинов Д.И. ДЕТЕРМИНИРОВАННАЯ СЕМАНТИКА РЕГУЛЯРНЫХ ВЫРАЖЕНИЙ // Образовательные ресурсы и технологии. – 2016. – № 2 (14). – С. 379-386. doi: