巴科斯範式(BNF)

什麼是 巴科斯範式(BNF) , 是一種用形式化符號來描述給定語言的語法。

如今,幾乎每一位新編程語言書籍的做者都使用巴科斯範式來定義編程語言的語法規則。
-----------------------------------------------------------------------------
巴科斯範式的內容
在雙引號中的字("word")表明着這些字符自己。而double_quote用來表明雙引 號。
在雙引號外的字(有可能有下劃線)表明着語法部分。
尖括號( < > )內包含的爲必選項。
方括號( [ ] )內包含的爲可選項。
大括號( { } )內包含的爲可重複0至無數次的項。
豎線( | )表示在其左右兩邊任選一項,至關於"OR"的意思。
::= 是「被定義爲」的意思。
巴科斯範式示例
這是用BNF來定義的Java語言中的For語句的實例:
FOR_STATEMENT ::=
"for" "(" ( variable_declaration |
( expression ";" ) | ";" )
[ expression ] ";"
[ expression ] ";"
")" statement

詳細內容:請參考百度百科之 巴科斯範式(BNF) 閱讀全文
類別: 編程日記  查看評論
相關文章
相關標籤/搜索