Backus-Naur-Form n::=B1∣⋯∣Bmn::=B_1|\cdots| B_mn::=B1∣⋯∣Bm Bi=w0nw1n…nwk mit w0,…,wk∈T∗B_i=w_0 n w_1 n \ldots n w_k \text { mit } w_0, \ldots, w_k \in T^*Bi=w0nw1n…nwk mit w0,…,wk∈T∗ B1,…,Bm∈(N∪T)∗B_1, \ldots, B_m \in(N \cup T)^*B1,…,Bm∈(N∪T)∗