Disambiguation of Regular Expressions with Backreferences via Term Rewriting

In this paper we focus on regular expressions with acyclic backreferences and treat them as a semiring satisfying certain theorems of Kleene algebra. Using these theorems as term rewriting rules, we introduce an algorithm for memory disambiguation of regular expressions. Furthermore, we demonstrate...

Full description

Bibliographic Details
Main Authors: Daria N. Ismagilova, Antonina N. Nepeivoda
Format: Article
Language:English
Published: Yaroslavl State University 2024-12-01
Series:Моделирование и анализ информационных систем
Subjects:
Online Access:https://www.mais-journal.ru/jour/article/view/1897