RU/ENG



Детерминированная семантика регулярных выражений

Тематики МЕТОДОЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ
Авторы Черемисинов Дмитрий Иванович
Номер2016'2(14)
Страницы379-386
Ключевые словаФормальный язык, анализатор, регулярное выражение, алгебра Клини, конечный автомат, детерминированная семантика
Аннотация Проблема конвертации описания на формальном языке имеет большое практиче-ское значение для системной интеграции программ и в области технологии програм-мирования, называемой «реинжинирингом программного обеспечения» (software reengineering). Операция анализа строковых данных путём сопоставления с образцом, заданным регулярным выражением, образует основу для построения разнообразных конверторов. Предлагается изменить традиционную модель операции сопоставления с образцом на основе конечного автомата на модель в виде алгебры образцов
Текст статьи Доступ к полному тексту открыт