[1] プログラム言語 Pascal (ISO/IEC7185:1990, JISX3008-1994) の文法記述に使われている BNF 変種について。

規格票では4章に説明があります。実際の Pascal の構文定義は6.1にあります。

• DEF = "=" ;; 定義する
• PDEF = ">" ;; 部分的に定義する
• OR = "|"
• EOD = "." ;; 定義の終わり
• option = "[" elements "]" ;; 0*1
• repetition = "{" elements "}" ;; 0*∞
• group = "(" elements ")" ;; 集団化
• char-val = "‘" 1*CHAR "’" ;; 終端記号
• 超識別子 = 1*超識別子文字 ;; 非終端記号
• 超識別子文字 = 漢字 / 仮名 / 英字 ;; 仮名・漢字は JIS で追加。

• rule = rule-name defined-as elements [FWS] EOD
• rule-name = 超識別子
• defined-as = [FWS] (DEF / PDEF) [FWS]
• elements = [FWS] alternation [FWS]
• alternation = concatenation *(or-operator concatenation)
• or-operator = [FWS] OR [FWS]
• concatenation = element *(FWS element)
• element = rule-name / group / repetition / option / char-val

• [2] Pascal では一般に大文字・小文字を区別しません。従って Pascal 仕様書ではこの構文を使って定義する際に文字列 (終端記号) に小文字を使っていますが、大文字でもよいことになります。
• [3] 構文使用例: 識別子 = 英字 { 英字 | 数字 }. (6.1.3 より)
• [4] 規格票には ‘'’ というのも出てきます。構文規則を ASCII で表記するとすると ]] になってしまいそうですが、そういうことは考えていないようです。まあ印刷文書だしいいんでしょう。