重写规则（系统）

rewrite operation【计】;rewriting operation【计】

context-free rewriting rule

term rewriting system

parallel rewriting【计】

code rewriting

rewriting statement【计】

rewriting rule

controlled rewriting