基本情報技術者 2019年 秋期 午前（科目A） 問07

要点まとめ

• 結論：正解は エ（F5_1）。先頭は必ず英字（この定義では A〜F の大文字）で始まります。
• 根拠：BNFは <変数名> を再帰的に定義しており、先頭が <英字>、以降は <英数字>（A〜F、0〜9、_）が連結されます。
• 差がつくポイント：先頭が数字や'_'だと不正、英字の範囲は A〜F に限定、大文字小文字の扱いも確認が必要です。

正解の理由

よくある誤解

• 「英字」は任意のアルファベットと誤解し、a〜z や小文字を許容してしまう点。定義では A〜F のみです。
• アンダースコアが先頭に来ても良いと勘違いする点。BNF では先頭は必ず <英字> です。
• BNF の再帰表現を読み飛ばして、途中の文字だけを見て有効/無効を判断するミス。

解法ステップ

1. BNF の各非終端記号の定義を確認する（<英字> = A|B|...F、<英数字> = <英字>|<数字>|_）。
2. 変数名の先頭文字が <英字> に合致するかをチェックする（ここでは A〜F の大文字）。
3. 先頭以降のすべての文字が <英数字>（A〜F、0〜9、_ のいずれか）か確認する。
4. 上の条件を満たす選択肢を正解とする。

選択肢別の誤答解説

• ア: _B39
  • 先頭が '_' であり、BNF の <変数名> は先頭が <英字>（A〜F）である必要があるため不正。
• イ: 246
  • 先頭が数字 '2' のため不正。<変数名> は必ず <英字> で開始する。
• ウ: 3E5
  • 同様に先頭が数字 '3' のため不正。先頭文字の制約に違反。
• エ: F5_1
  • 先頭が 'F'（<英字> に一致）、続く '5'、'_'、'1' はすべて <英数字> に一致するため正しい。

補足コラム

• BNF の再帰定義 "<変数名> ::= <英字> | <変数名><英数字>" は「先頭に必ず英字があり、その後に英数字が任意個続く」ことを示します。試験対策では再帰を展開して「開始文字の条件」と「残り文字の許容集合」の二点を素早く確認する練習が有効です。
• 実務的にはこのようなルールは字句解析（レキサー）で正規表現に変換して扱います。例：

  ^[A-F][A-F0-9_]*$

  を使えば自動判定可能です。

import re
pat = re.compile(r'^[A-F][A-F0-9_]*$')
for s in ["_B39","246","3E5","F5_1"]:
    print(s, bool(pat.match(s)))

FAQ