二進数（零を含める）の加算式は，文生成システム（NＶ,TＶ,Ｐ,Ｓ）の生成する文として，つぎのように定式化できる。
(1) NＶ：
| Ｓ | ： | 開始記号（可算式生成に関する）
| | Ｎ | ： | 二進数生成に関する
| | STR | ： | 数記号列(空列を含む)生成に関する
|
(2) TＶ＝｛1，0，＋｝
(3) Ｐ：
| Ｓ | → | Ｓ＋Ｎ
| | Ｓ | → | Ｎ
| | Ｎ | → | 0
| | Ｎ | → | 1STR
| | STR | → | STR0
| | STR | → | STR1
| | STR | → | ε
|
プロダクションをＢＮＦで書けば，つぎのようになる：
| (1) | 〈加算式〉 | ::＝ | 〈可算式〉＋〈数〉
｜〈数〉 |
| (2) | 〈数〉 | ::＝ | 0
｜1〈数記号列〉 |
| (3) | 〈数記号列〉 | ::＝ | 〈数記号列〉0
｜〈数記号列〉1
｜ ε |
|