@-> Left-to-right, Longest-match Replacement

a b | b | b a | a b a @-> x

applied to “aba”

a b a a b a a b a a b a

a x a a x x a x

Previous slide

Next slide

Back to first slide

View graphic version