Zdefiniować gramatyki bezkontekstowe dla danych języków

[patryk007]

Zdefiniować gramatyki bezkontekstowe dla podanych języków:

• język słów nad alfabetem binarnym (\(\displaystyle{ \Sigma = \{0,1\}}\)) takim, że suma jedynek jest większa od liczby poprzedzających par zer,
• język słów nad alfabetem binarnym (\(\displaystyle{ \Sigma = \{0,1\}}\)) takim, że słowa nad tym alfabetem NIE są w postaci \(\displaystyle{ ww}\) (\(\displaystyle{ w\in\Sigma^{*}}\) i \(\displaystyle{ w}\) jest skończonej długości),
• \(\displaystyle{ \{a^ib^jc^k:\ \neg (i=j=k)\}}\)