SVA first_match
We could extend our SERE syntax to allow the first_match operator of SVA.
One implementation of first_match(r)
is to remove the outgoing edges of the accepting states of the automaton for r
.
Suggested by Victor Khomenko.
We could extend our SERE syntax to allow the first_match operator of SVA.
One implementation of first_match(r)
is to remove the outgoing edges of the accepting states of the automaton for r
.
Suggested by Victor Khomenko.