Matematické Fórum

Zdravím,
chtěl bych požádat o kontrolu zápisu bezkontextové gramatiky.
Děkuji.

L: slovo w náleží do {0,1}* ; |w|1 (tj. počet výskytů znaků 1 ve slově w) je mod 3 = 1,

S-> A1A1A1A1B         (po prvním dělení tj. 4/3 je zbytek 1)
A-> epsilon|0A           (umožní mezi znaky 1 vložit libovolný počet znaků 0)
B ->epsilon|A1A1A1B (umožní přidávat k původním čtyřem znakům další tři znaky 1 aby byl zbytek po dělení jedna)