Directed Replace Operators
guarantee a unique result by constraining the factorization of the input string by
Direction of the match (rightward or leftward)
Length (longest or shortest)
Previous slide
Next slide
Back to first slide
View graphic version