三种检验状态及转移规则.