改写规则极限