分野：テクノロジ系
中分類：基礎理論
小分類：応用数学

設問の有限オートマトンは初期状態で1が入力されると受理状態へ遷移するので文の最後は1になります。受理する過程ですが以下の2つのパターンがあります。

• 初期状態で0を繰り返して1で受理状態に遷移する
• 初期状態と受理状態を1→0で繰り返して1で受理状態に遷移する

0または10を0回以上繰り返した後に1で終了する文字列なので、「(0 | 10)^*1」が適切な正規表現です。

他の正規表現は少なくとも、初期状態で0を繰り返した後に1で受理する 000...01 というパターンにマッチしないので誤りと判断できます。