2.5 Regular expressions, context-free languages and rewriting systems