次の BNF で定義されるビット列 S であるものはどれか。
<S> ::= 01 | 0 <S> 1
|は、「または」の意味である。
0 <S> 1 は、先頭が0で最後が1で、その間は、ビット列 S である。
よって、「イ」は、最後が0なので誤りである。
また、間のビット列も先頭が0で最後が1である必要があるので、 「ア」が正解となる。