Xerox Extensions

$ containment

=> restriction

-> @-> replacement

Make it easier to describe complex languages and relations without extending the formal power of finite-state systems.

Previous slide

Next slide

Back to first slide

View graphic version