Да се докаже, че ако G е контекстно-свободна граматика...

[asdf]

Да се докаже, че ако G е контекстно-свободна граматика, то не е възможно L(G) да е празният език.

[Baronov]

Сигурен ли си, че е вярно това? Например ако всички правила са от вида A->B, където A и B са нетерминали се получава празен език. Какви точно бяха аксиомите за контекстно-свободна граматика?

[asdf]

Прав си, всъщност е възможно да е празният език. Тази задача уж се е падала на някакво контролно по време на лекциите по ЕАИ, но явно не е била така формулирана сори за спама