次の生成規則によって <S> を定義する。
<S> ::= <T> "+" <S> | <T> "-"
<T> | <T>
<T> ::= <F> "*" <T> | <F> "/"
<F> | <F>
<F> ::= "1" | "2" | "3" | "x" | "(" <S> ")"
ここでは、BNF (Backus Naur Form) で示した。非終端記号は < > でくくり、終端記号は " "
でくくって表す。 <S> から導出されるもののうち誤っているものを次の中から選べ。
① ((1)) ② 1+2-3 ③ 1+x*2+2
④ 1+x*2*3 ⑤ 1+x/2/3
⑤
<T> ::= <F> "*" <T> | <F> "/" <F> に着目する。
2*3 を <T>として、再帰的に <F> "*" <T> によって x*2*3 は導出できるが
2/3 を <T>としても、<F> "/" <T> が定義されていないため、x/2/3 は導出できない。
| Ⅳ－５ | 目次 | Ⅳ－７ |