Linear context-free rewriting system