>>52
同期なんか取らない。
S'←S(c)
を繰り返し行うだけ。
プログラム的にはむしろ短く単純になる。
match(c)という一個の関数の中で状態を
複数持ち、個数分だけ遷移させて終了。