分野：テクノロジ系
中分類：基礎理論
小分類：情報に関する理論

設問のオートマトンでビット列が受理されるまでの流れは、

• "0"を0回以上繰り返す
• "1"を出力する
• "1"を0回以上繰り返す
• "0"を出力する
• "0"又は"1"を0回以上繰り返した後、受理される

となります。(下図参照)(2)と(4)の手順に注目すると、"1"の後には必ず1つ以上の"0"が含まれなければならないことがわかります。したがって選択肢のうち受理可能なビット列は「1010」のみです。