Gramatyka bezkontekstowa prawostronnie liniowa

[vous93]

Nie miałem gdzie umieścić tego pytania ale myślę, że tu pasuje najlepiej. Chciałem się dowiedzieć jak dokładnie wygląda gramatyka bezkontekstowa prawostronnie liniowa. Jej definicja to "wszystkie jej produkcje sa postaci A->wB lub A->w gdzie w to zbiór słów nad np {0,1}, natomiast A i B to nieterminale. I tu moja wątpliwość czy w "A->wB" to B może być jednym nieterminalem czy dwoma? np S-> AB znacznie ułatwia mi zrobienie gramatyki która przedstawia ciąg 00011, 00111, 01 czyli 0^n 1^m gdzie m i n są naturalne.