＜英数字＞::＝＜英字＞｜＜数字＞
＜数字＞::＝０｜１｜２｜…｜７｜８｜９
＜英字＞::＝ａ｜ｂ｜ｃ｜…｜ｘ｜ｙ｜ｚ
ＢＮＦ記法の記号
①”::(is defined as)"は、左辺と右辺の区切りを意味する。（右辺で左辺を定義する）。
②"｜"は、「または(or)｝を意味する。
③非終端記号は、"＜ ＞"でくくる(＜数字＞，＜英維持＞)。
④ａ,ｂ,ｃ…や０,１,２…,９を終端記号という。
再帰的定義
・「自分の定義に自分を用いる」
構文図
構文木
３つ組み
Ｌ１（＊,２,３）
Ｌ２（＊,４,７）
Ｌ３（＋,Ｌ１,Ｌ２）
Ｌ４（－,Ｌ３,５）
Ｌ５（＝,Ｘ,Ｌ４）
４つ組み
Ｌ１（＊,２,３,ＥＸ１）
Ｌ２（＊,４,７,ＥＸ２）
Ｌ３（＋,ＥＸ１,ＥＸ２,ＥＸ３）
Ｌ４（－,ＥＸ３,５,ＥＸ４）
Ｌ５（＝,ＥＸ４,φ,Ｘ）
逆ポーランド表記法
Ｘ＝２＊３＋４＊７－５
[Ｘ，（２＊３＋４＊７－５）]＝
[Ｘ，[（２＊３＋４＊７），５]－]＝
[Ｘ，[（２＊３），（４＊７）]＋，５]－]＝
[Ｘ，[[２，３]＊，[４，７]＊]＋，５]－]＝
Ｘ