1:
2:
3:
4:
5:
6:
7:
8:
9:

<Binaerzahl>:== 0 | <Nichtnulldarstellung>
<Binaerzahl> = <Nichtnulldarstellung>
<Binaerzahl> = 1 <Binaerzahl>*
<Binaerzahl> = 1 <Binaerzahl><Binaerzahl><Binaerzahl>
<Binaerzahl> = 1 0 <Nichtnulldarstellung> 0
<Binaerzahl> = 1 0 1<Binaerzahl>* 0
<Binaerzahl> = 1 0 1 0