If α = α then also ctrlC (α) = α ∈ P∩, because no suppression occurs. If α ≺ α then some controller automaton must suppress the next input action a j+1.
確定！ 回上一頁
