この有限オートマトンは、入力されたビット列を状態遷移によって処理し、特定の条件を満たす場合に受理します。問題文では「長さ3以上の任意のビット列で、最後が110で終わっているものを受理する」という条件が与えられています。これは、オートマトンが状態遷移を繰り返した結果、入力ビット列の末尾3ビットが「110」となったときに、特定の状態に到達することを意味します。
読み込み中...
読み込み中...
表は、入力記号の集合が{0,1},状態集合が{a, b, c, d} である有限オートマトンの状態遷移表である。長さ3以上の任意のビット列を左(上位ビット)から順に読み込んで最後が110で終わっているものを受理するには、どの状態を受理状態とすればよいか。
結論 → 詳細 → 補足 の 3 層構成
この有限オートマトンは、入力されたビット列を状態遷移によって処理し、特定の条件を満たす場合に受理します。問題文では「長さ3以上の任意のビット列で、最後が110で終わっているものを受理する」という条件が与えられています。これは、オートマトンが状態遷移を繰り返した結果、入力ビット列の末尾3ビットが「110」となったときに、特定の状態に到達することを意味します。
正解はウ（状態c）です。これは、状態cが、入力ビット列が「110」で終わった際に到達する、かつ、その状態からさらに遷移しても「110」で終わったという事実が失われないような、受理すべきパターンを認識するのに適した状態であることを示唆しています。有限オートマトンにおける受理状態とは、入力文字列全体を読み終えたときに、その文字列がオートマトンによって認識された（受理された）と判断される状態のことです。
他の選択肢が誤りである理由を検討します。ア（状態a）は、おそらく初期状態や、まだパターンを認識し始めていない状態を表していると考えられます。イ（状態b）は、末尾が「1」や「11」といった、まだ「110」のパターンが完成していない途中の状態を示している可能性があります。エ（状態d）は、例えば「110」以外のパターンで到達する状態や、受理条件から外れてしまう状態であると考えられます。したがって、末尾が「110」であるという条件を満たすためには、状態cを受理状態とするのが適切です。
解説は Google Gemini に IPA 公式の問題文・公式解答を入力して生成しています。 事実誤認・選択肢の取り違え・最新法令の反映漏れ等を含む可能性があるため、 重要な判断は必ず IPA 公式資料でご確認ください。
最終更新:
検証プロセス・誤り報告フローは 運営透明性レポートで公開しています。
この問題の理解を「分野全体の力」に広げるための足がかり
用語解説・選択肢分析・類題生成をその場で対話。クイズモードでは解答→解説がゼロ遷移。
基礎理論 の他の問題
ITサービスマネージャ の同じ分野を年度をまたいで演習する
ITサービスマネージャ試験 出題傾向の最新分析｜2024〜2025年で増えた論点と捨て論点
ITサービスマネージャ試験の直近2年の出題傾向を分析し、増加している新論点・減少している論点・捨てて良い論点を整理。学習計画の優先度付けに活用できます。
ITサービスマネージャ試験 過去問の解き方完全ガイド｜AI解説で時短する5ステップ
ITサービスマネージャ試験の過去問を効率的に回すための5ステップを紹介。AIコパイロットを使った時短解説の取り方、復習タイミング、選択肢分析の手順までまとめました。
ITサービスマネージャ試験 頻出論点トップ10と押さえ方｜過去5年分の傾向分析
ITサービスマネージャ試験の過去5年分の出題傾向から、合格に直結する頻出論点トップ10を抽出。各論点ごとの出題形式と効率的な押さえ方をまとめました。
ITサービスマネージャ試験 直前1ヶ月で合格点に乗せる詰め込み学習法
ITサービスマネージャ試験本試験まで残り1ヶ月の段階で何をすべきかを、午前・午後・論文の優先順位とともに解説。直前期に効く頻出論点と過去問の回し方を紹介。