假設我們利用 BNF(Backus-Naur Form)定義一個程式的語法(grammar)如下: <statement> → <id> := <integer> <id> → x | y <integer> → 0 | 1| 2 此語法<statement>會產生下列那個語句(sentence)?
Ax = 2
Bx := 3
Cy := 1正確答案
Dy→ 0
答案與詳解
y 屬於 <id>、:= 為語法定義的賦值符號、1 屬於 <integer>,完全符合 <statement> 的產生式,可由此語法合法推導。
