改写规则

rewrite operation【计】;rewriting operation【计】

context-free rewriting rule

term rewriting system

parallel rewriting【计】

code rewriting

rewriting statement【计】

controlled rewriting

rewriting rule【计】