Backus-Naur-Form

$n::=B_1|\cdots |B_m$ $B_i=w_{0}n{w}_{1}n\dots n{w}_k\text{ mit }{w}_0,\dots ,w_k\in T^{\ast }$ $B_1,\dots ,B_m\in (N\cup T{)}^{\ast }$