応用情報技術者 試験情報＆徹底解説

BNFとは、プログラム等の文法を定義する規則のことです。
例えば「＜プログラム＞::=＜宣言部＞＜実行部＞」は、「＜プログラム＞は＜宣言部＞と＜実行部＞をつなげたものである」という意味になります。
また、本問で解答する「非終端記号又は終端記号」とは、本文より「非終端記号」が図2の「＜＞」で囲まれた名前(プログラム、宣言部等)、「終端記号」が＜数＞および＜識別子＞です。
以上を踏まえて、イ→ア→ウの順で解説を進めます。

〔イについて〕
「図1の最初の行 "short aa　;" は，図2の＜宣言部記述＞の定義に従っていて，＜宣言記述子＞と'short'，＜イ＞ と'aa' 更に';'同士がそれぞれ対応している」からわかるように、[イ]は'aa'に対応するものです。本文中に「＜識別子＞は英字で始まる1文字以上の英字又は数字からなる文字列を表す。」とあることから、'aa'は＜識別子＞です。よって、[イ]には「識別子」が当てはまります。

∴イ＝識別子

〔アについて〕
[ア]は＜宣言部記述＞のあとに0回以上繰り返されるものです。図1の＜宣言部＞について考えると、先程確認したように1行目が＜宣言部記述＞ですから、2～3行目は[ア]が繰り返されたものと推測できます。
ここで、2・3行目に現れる'long'は、図2の5行目より＜宣言記述子＞、そして'b1'および'c'はどちらも＜識別子＞です。これより、2・3行目はそれぞれ＜宣言部記述＞の定義に合致します。＜宣言部記述＞を2回繰り返しているとみなせるので、[ア]には「宣言部記述」が当てはまります。
＜宣言部＞は1つ以上の＜宣言部記述＞から成るという意味です。

∴ア＝宣言部記述

〔ウについて〕
＜項＞は[ウ]の後ろに0つ以上の「'*' ＜因子＞」または「'/' 因子」が続いたものなので、[ウ]は単独で＜項＞として扱えることがわかります。これをヒントに図1中で＜項＞を表す箇所に注目して考えていきます。

まず＜式＞の定義より、＜項＞は'+'および'-'の前後に現れることに着目します。図1のプログラムで'+'および'-'の前後に現れているのは、'aa'、'1'、'2 * b1'で、それぞれが＜項＞です。ここで、'aa'は＜識別子＞、'1'は＜数＞ともみなせます。また'2 * b1'は'*'を含むことから、「＜[ウ]＞'*'＜因子＞」の形の＜項＞です。以上より、＜識別子＞および＜数＞は単独で＜項＞として扱えることがわかります。したがって、[ウ]に入るのは「＜識別子＞または＜数＞」を表すものになります。ここで、＜因子＞の定義より「＜識別子＞または＜数＞」は＜因子＞に変換できます。よって、[ウ]には「因子」が当てはまります。

∴ウ＝因子

1. 'short'は＜宣言部記述子＞、'abc'は＜識別子＞です。
   よって、①は「＜宣言部記述子＞＜識別子＞';'」と表すことができ、＜宣言部記述＞の定義に当てはまります。
2. 'short'は＜宣言部記述子＞、'def'・'ghi'は＜識別子＞です。
   よって、②は「＜宣言部記述子＞＜識別子＞＜識別子＞';'」と表すことができます。＜宣言部記述＞の定義には＜識別子＞は1個しか現れないので、②にあてはまる構文規則はありません。したがって、②はエラーとなります。
3. 'long'は＜宣言部記述子＞、'mno'は＜識別子＞です。
   よって、③は「＜宣言部記述子＞＜識別子＞';'」と表すことができ、＜宣言部記述＞の定義に当てはまります。
4. 'abc'・'def'は＜識別子＞、'34'は＜数＞です。
   よって、④は「＜識別子＞'='＜識別子＞'+'＜数＞';'」と表すことができます。これを構文規則に従って変換していくと、
   • ＜因子＞の定義より「＜識別子＞'='＜因子＞'+'＜因子＞';'」
   • ＜項＞の定義より「＜識別子＞'='＜項＞'+'＜項＞';'」
   • ＜式＞の定義より「＜識別子＞'='＜式＞';'」
   となり、＜文＞の定義に当てはまります。
5. 'ghi'・'mno'は＜識別子＞、'2'は＜数＞です。
   よって、⑤は「＜識別子＞'=''-'＜数＞'*'＜識別子＞';'」と表すことができます。これを構文規則に従って変換していくと、
   • ＜因子＞の定義より「＜識別子＞'=''-'＜因子＞'*'＜因子＞';'」
   • ＜項＞の定義より「＜識別子＞'=''-'＜項＞';'」
   ここで、＜式＞の定義では初めに＜項＞が必ず現れるので、「'-'＜項＞」を「＜式＞」に変換することはできません。よって、＜式＞の定義を適用した結果は「'-'＜項＞」→「'-'＜式＞」と'-'が残った形になります。このとき⑤は「＜識別子＞'=''-'＜式＞';'」となりますが、これにあてはまる構文規則はありません。したがって、⑤はエラーとなります。
6. 'mno'・'abc'は＜識別子＞、'0'は＜数＞です。
   よって、⑥は「＜識別子＞'='＜識別子＞'/'＜数＞';'」と表すことができます。これを構文規則に従って変換していくと、
   • ＜因子＞の定義より「＜識別子＞'='＜因子＞'/'＜因子＞';'」
   • ＜項＞の定義より「＜識別子＞'='＜項＞';'」
   • ＜式＞の定義より「＜識別子＞'='＜式＞';'」
   となり、＜文＞の定義に当てはまります。
   ※なお、ゼロ除算は大抵のプログラムで実行時エラーが発生しますが、今回は構文規則に反するかどうかのみを考えることに注意してください。
7. 'xyz'・'def'は＜識別子＞、'7'は＜数＞です。
   よって、⑦は「＜識別子＞'='＜識別子＞'-'＜数＞';'」と表すことができます。これを構文規則に従って変換していくと、
   • ＜因子＞の定義より「＜識別子＞'='＜因子＞'-'＜因子＞';'」
   • ＜項＞の定義より「＜識別子＞'='＜項＞'-'＜項＞';'」
   • ＜式＞の定義より「＜識別子＞'='＜式＞';'」
   となり、＜文＞の定義に当てはまります。

以上より、構文規則に反するエラーとなるのは②と⑤の2つです。

∴②，⑤

〔エについて〕
[エ]が含まれている関数bun()は、＜文＞の構文解析を行う関数です。
検査の対象となる文字列が正常な＜文＞、すなわち「＜識別子＞'='＜式＞」となる場合を考えて、処理を順に追っていきます。解説の便宜上、プログラムに行番号を振っておきます。まず、1つ目の分岐処理(関数bun()の2～6行目)を追っていきます。
2行目は変数 token との比較処理です。このときの変数 token の値について考えます。本文に「構文解析を行う各関数実行開始時の変数 token の値は，検査の対象となる文字列の最初の字句に対する関数 gettoken() の戻り値である。」とあります。今回検査の対象として考えている「＜識別子＞'='＜式＞」の最初の字句は＜識別子＞ですから、表より変数 token の値は'I'です。これより、分岐先は3行目になります。反対に変数 token の値が'I'と異なれば（最初の字句が＜識別子＞でなければ）エラーとして終了します。

3行目では変数 token に値が代入されています。この値が何になるか考えます。代入元である関数 gettoken() は本文より「字句を先頭から順番に抽出し，その種類を判定」して返す関数です。よって、＜識別子＞の次の字句である'='に対応する戻り値、すなわち'='が変数 token に代入されます。

次に、2つ目の分岐処理(関数bun()の7～11行目)を追っていきます。
10行目にあるように、7行目の条件[エ]が偽の場合、-1を返して関数は終了します。本文より関数 bun() の戻り値は「エラーが検知された場合は-1」です。すなわち[エ]は「構文が正しい場合は真、間違っていた場合は偽」となるような条件となります。ここで、構文が正しい場合、7行目での変数 token の値は、1つ目の分岐処理で確認したように'='となっているはずです。これを元に条件を設定すればよいので、[エ]には「tokenと'='が等しい」が当てはまります。

∴エ＝tokenと'='が等しい

〔オについて〕
[オ]が含まれている関数shiki()は、＜式＞の構文解析を行う関数です。
[エ]と同様に、検査の対象となる文字列が正常な＜式＞、すなわち「＜項＞{'+'＜項＞|'-'＜項＞}」の形となっている場合を考えます。解説の便宜上、プログラムに行番号を振っておきます。関数shiki()の2行目について考えます。
条件[オ]が真の場合、-1を返して関数が終了するので、[オ]は「構文が間違っている場合は真、正しい場合は偽」であるような条件です。ここで、正常な＜式＞であれば先頭の字句は必ず＜項＞であることから、[オ]に入る条件は「＜項＞の構文解析がエラーである」となります。＜項＞の構文解析を行う関数はkou()ですから、これを利用して条件を書けばよいです。関数kou()はエラーが検知された場合に-1を返すので、解答は「kou()と-1が等しい」となります。

∴オ＝kou()と－1が等しい