状態遷移図 左から「013」「0(1または2)3」「01(1の任意回数の繰り返し)3」を受理するステートマシンです。 ○の中の数字がステート(変数s)で、-1 になると受理 矢印に添えてある数字が入力(i)です。 矢印の意味は、左の例だと初期状態(s=0)に0が入力されるとs=1に遷移すると言う意味。 赤い矢印は、「その他の入力」による遷移です。