BNF(Backus-Naur Form)是由John Backus所開發，可用來表示與上下文無關文法的語言，也就是一種用來描述語言的中繼語言(meta-language)。一個BNF表示式是由一個非終端符號(non-terminal)和它的產生式所組成，產生式可以是一個終端符號(terminal)和非終端符號組成的序列。(終端符號中的標點符號一般使用單引號括起來，而字串則使用雙引號) 底下為一個簡單的範例： sent := subj verb '.' subj := “Birds” verb := “sing” 在上面的例子裡面，如Birds、sing及句點('.')表示終端符號。而sent及verb表示為非終端符號。這條BNF句子定義了一條文法，表示的意思為，一個sent是由subj及verb再以一個句點為結尾所構成。 BNF表示式有以下幾種主要表示形式： (1) S := A B C (2) S := A | B | C (3) S := {A} 第一條表示說，S是由ABC三個符號所定義， 而ABC是以序列的形式依序出現，也就是說A之後一定跟著一個B，而B之後一定跟著一個C。第二條表示說，由S可推導出A或B或C其中之一。第三條表示說，由S可以推導出一個或多個A。 範例： S := x A A := y | z (1) xy (O) (2) xz (O) (3) xx (X) (4) yz (X) 以上4個範例中，只有(1)(2)是符合上面BNF文法定義的句子，因為x之後只能接y或z所以(3)不符合文法，因為S只能以x開頭為句子所以(4)也文法錯誤。 範例： id := alpha {alpha} alpha := a | b | c | d (1) aabbbcdd (O) (2) cabbbda (O) (3) baccab (O) (4) bdax (X) (5) 5acd (X) 在上面的5個範例裡面，其中(1)(2)(3)項是正確符合上面BNF的文法定義。而(4)因為alpha裡不包含x符號所以語法不正確。而(5)因為alpha裡面不包含5所以也不正確。 範例： S := '-' FN | FN FN := DL | DL '.' DL DL ...
(單步/執行結果)
(玩家屬性)
(任務原始碼)
(字串表)
(單步/執行結果)
(玩家屬性)
(任務原始碼)
(字串表)
留言
張貼留言