Computes first(r)
where the word regexp r
.
Computes first(r)
where the word regexp r
.
the regular expression
the computed set first(r)
Starts from the right-to-left precondition: pos is final pats are successor patterns of a Sequence node
Starts from the right-to-left precondition: pos is final pats are successor patterns of a Sequence node
Returns the first set of an expression, setting the follow set along the way.
Returns the first set of an expression, setting the follow set along the way.
the regular expression
the computed set
Computes last(r)
where the word regexp r
.
Computes last(r)
where the word regexp r
.
the regular expression
the computed set last(r)
Called at the leaves of the regexp
Called at the leaves of the regexp
Returns the "Sethi-length" of a pattern, creating the set of position along the way.
Returns the "Sethi-length" of a pattern, creating the set of position along the way.
(Since version 2.10) Avoidance