次のバッカス・ナウア記法 (BNF) で定義された文法を考える。
<S> :: = <A><B>
<A> :: = a | a<A>
<B> :: = b | b<B> | c | c<B>
ここで、< > で囲まれたものは非終端記号、英小文字1文字は終端記号とし、開始記号を <S> とする。次のうち、この文法によって生成される文を正規表現で表したものとして最も適切なものはどれか。ただし、正規表現において
* は直前のものの0回以上の繰り返しを、 | は選択を表すものとする。
① aa*(bb*|cc*)
② aa*(bc)(bc)*
③ aa*(b|c)(b|c)*
④ a*b*c
⑤ a*(b|c)*
③
① BNFでは、例えば abc が表現可能であるが、正規表現では生成できない。
② BNFでは、例えば abb や acc が表現可能であるが、正規表現では生成できない。
③ 正しい。
④ a*b*c* の正規表現では、例えば a が0回、すなわち a がなくてもよいが、BNFでは、
<S> :: = <A><B>
つまり、 (a | a<A>)<B>により、a が少なくとも1つ以上は現れなければならない。
⑤ ④と同様であり、誤り。
| 目次 | Ⅲ－２ |