linear context-free rewriting system