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

Saved in:
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
Tags: Add Tag
No Tags, Be the first to tag this record!