变迁规则

transition rule