Linear context-free rewriting language