次の BNF で定義されるビット列 S であるものはどれか。
<S> ::= 01 | 0 <S> 1
ア | 000111 |
イ | 010010 |
ウ | 010101 |
エ | 011111 |
BNF(バッカス・ナウア記法)とは、文脈自由文法を定義するのに用いられるメタ言語のことで、一般にBNFやBN記法と略される。
BNFでは、「<S>::=」はS を定義するという意味で、「|」は、「または」を意味する。
これより
事が分かる。
ア | ○ | |
イ | × | 1及び3の条件に当てはまらない。 |
ウ | × | 3の条件に当てはまらない。 |
エ | × | 2の条件に当てはまらない。 |