再生系统

rewriting system