巴科斯范式(BNF: Backus-Naur Form. 的縮寫)是由 John Backus 和 Peter Naur 首次引入一種形式化符號來描述給定語言的語法（最早用于描述ALGOL 60 編程語言）。

現在，幾乎每一位新編程語言書籍的作者都使用巴科斯范式來定義編程語言的語法規則。

巴科斯范式的內容

在雙引號中的字("word")代表著這些字符本身。而double_quote用來代表雙引號。

在雙引號外的字（有可能有下劃線）代表著語法部分。

尖括號( < > )內包含的為必選項。

方括號( [ ] )內包含的為可選項。

大括號( { } )內包含的為可重復0至無數次的項。

豎線( | )表示在其左右兩邊任選一項，相當于"OR"的意思。

::= 是“被定義為”的意思。

巴科斯范式示例

這是用BNF來定義的Java語言中的For語句的實例：

FOR_STATEMENT ::=

"for" "(" ( variable_declaration |

( expression ";" ) | ";" )

[ expression ] ";"

[ expression ]

")" statement