アホなことをほざくなよ３９の塵。
仮に、状態数が１０あるとする。
そして、状態１がａｃｃｅｐｔ終了だとする。
すると、各時点ｋ毎に、１０個の異なる状態表現が生成される。
よって、
「ｋ時点でａｃｃｅｐｔでない＝ｋ時点で状態２∨・・・∨ｋ時点で状態１０」
だ。