問０２５（有限オートマン）２０１１・０４・２５

問０２５（有限オートマン）

解説）
一連の入力列が装置に入力されたとき
S1、S2、S3のポイントを持つ機器が
発する信号が合致するかの問題。
受理状態は分かりにくいかもしれないが、
信号の完了的なことを表す。
二本アローは信号の選択を意味する。
合致、受理するかを調べる問題です。