この問題は、有限オートマトンが特定のビット列を受理する条件を問うものです。有限オートマトンは、現在の状態と入力記号に基づいて次の状態へ遷移します。特定の文字列を受理させるためには、その文字列の最後まで読み込んだときに、受理状態にいる必要があります。
システム監査技術者2016年度 秋期午前I問 2
2016年度 秋期 システム監査技術者 午前I 問2
難度
標準
表は、入力記号の集合が{0,1},状態集合が{a, b, c, d} である有限オートマトンの状態遷移表である。長さ 3 以上の任意のビット列を左(上位ビット)から順に読み込んで最後が 110 で終わっているものを受理するには、どの状態を受理状態とすればよいか。
選択肢
アa
イb
ウc
エd
解説
結論 → 詳細 → 補足 の 3 層構成
展開閉じる
解説
結論 → 詳細 → 補足 の 3 層構成
正解の「ウ」（状態c）が適切である理由は、問題文にある「長さ3以上の任意のビット列を左（上位ビット）から順に読み込んで最後が110で終わっているものを受理する」という条件を満たすように状態遷移が設計されているからです。つまり、状態cを受理状態と定義することで、入力されたビット列が「110」というパターンで終了した際に、オートマトンが状態cに到達するようになっています。
他の選択肢について見ていきましょう。ア（状態a）を受理状態とした場合、これはおそらく初期状態であり、任意の短いビット列でも受理してしまう可能性があり、「長さ3以上」という条件を満たしません。イ（状態b）を受理状態とした場合、これは「11」のような、110の途中までのパターンで受理してしまうことを意味する可能性があります。エ（状態d）を受理状態とした場合、これは「110」以外の特定のパターンで終了した場合に到達する状態であるか、あるいは「110」のパターンを壊してしまうような入力で到達する状態であると考えられます。
この解説は？
この解説は AI 生成です（詳細）
解説テキストは Google Gemini に IPA 公式の問題文・公式解答を入力して生成しました。 人間によるレビューを行ったものと、未レビューのものが混在します。
AI は事実誤認・選択肢の取り違え・最新法令の反映漏れ等を含む可能性があります。 重要な判断は必ず IPA 公式 PDF または最新の参考書でご確認ください。
解説の検証プロセス・誤り報告フローは 運営透明性レポートで公開しています。
分野「基礎理論」の学習ポイント
この問題の理解を「分野全体の力」に広げるための足がかり
- 何が問われるか
- 2進数・論理演算・確率・統計など、IT全般の土台となる数学・離散構造の理解度。
- 学習の進め方
- 公式の暗記ではなく、ビット表現や真理値表を「手で書ける」状態を作る。例題を3パターン以上手で解いて感覚化する。
- 関連キーワード
- 2進数論理演算シフト演算誤差確率情報量
AI コパイロット
この問題を AI と深掘りする
用語解説・選択肢分析・類題生成をその場で対話。クイズモードでは解答→解説がゼロ遷移。
共有
ショート動画
関連する問題
基礎理論 の他の問題
- システム監査技術者2009年度 春期 午前I 問1(1+a)ⁿの計算を、1+n×aで近似計算ができる条件として、適切なものはどれか。
- システム監査技術者2009年度 春期 午前I 問2次に示す有限オートマトンが受理する入力列はどれか。ここで、S₁は初期状態を, S₃は受理状態を表している。
- システム監査技術者2009年度 春期 午前I 問8論理式 X = A・B + A・B + A・Bと同じ結果が得られる論理回路はどれか。ここで、Dは論理積(AND), Dは論理和(OR), Doは否定論理積(NAND), Doは否定論理和(NOR)を表す。
- システム監査技術者2010年度 春期 午前I 問1多数のクライアントが、LAN に接続された1台のプリンタを共同利用するときの印刷要求から印刷完了までの所要時間を、待ち行列理論を適用して見積もる場合について考える。プリンタの運用方法や利用状況に関する記述のうち、M/M/1 の待ち行列モデルの条件に反しないものはどれか。
- システム監査技術者2010年度 春期 午前I 問2流れ図は、シフト演算と加算の繰返しによって2進整数の乗算を行う手順を表したものである。この流れ図中のa,bの組合せとして、適切なものはどれか。ここで、乗数と被乗数は符号なしの16ビットで表される。X, Y, Z は 32 ビットのレジスタであり、けた送りには論理シフトを用いる。最…