多项选择题 在选择性分支中，（）不是转移到各分支的必须条件。

多项选择题 驱动负载，即本状态做什么，（）是可驱动的。

多项选择题 状态转移图的组成部分是（）。