О СВОДИМОСТИ КОНТЕКСТНО-СВОБОДНЫХ ГРАММАТИК К РЕГУЛЯРНЫМ ВЫРАЖЕНИЯМ С БЭКРЕФЕРЕНСАМИ

В данной статье рассматриваются регулярные выражения с бэкреференсами: дается их формальное описание, а также доказывается теорема о сводимости КС-грамматик к таким регулярным выражениям. Рассмотрены определения группы, бэкреференса, регулярного выражения с бэкреференсами. На основе конструктивного доказательства теоремы проектируются регулярные выражения с бэкреференсами для конкретных языков. В результате сделан вывод о практическом значении приведенного алгоритма, которое определяется широким использованием регулярных выражений в языках программирования для обработки текстов.