>>689
始状態と終状態を無視しているから示強変数が等しくなって終わりなんて自明な結論しか出てこねーんだよ