Register set automata enable deterministic linear-time matching for a class of regexes with single-letter backreferences over finite alphabets via derivative-based transformations from register automata.
Intuitively, for each arc originating in a placep and terminating in transition, respective number of values has to be removed from the register representing placep
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2022 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Towards Efficient Matching of Regexes with Backreferences using Register Set Automata (Technical Report)
Register set automata enable deterministic linear-time matching for a class of regexes with single-letter backreferences over finite alphabets via derivative-based transformations from register automata.