Контекстно-свободный язык или нет

[Flaminga]

iifat в сообщении #1019418 писал(а):

В Википедии лемма Огдена доказывается для регулярных языков. Есть другая формулировка? Иначе никакого отношения к вопросу она не имеет, не?

"В теории формальных языков, лемма Огдена предоставляет расширение гибкости леммы о разрастании для контекстно-свободных языков." Из той же википедии

[iifat]

В доказательстве, что в Википедии, идёт речь о конечном детерминированном автомате, то бишь, о регулярных языках. То бишь, согласно этой лемме, язык не является регулярным. Про контекстную свободу ничего сказать нельзя. Есть ещё какое-нибудь доказательство?

[Flaminga]

https://ru.wikipedia.org/wiki/%D0%9B%D0%B5%D0%BC%D0%BC%D0%B0_%D0%BE_%D1%80%D0%B0%D0%B7%D1%80%D0%B0%D1%81%D1%82%D0%B0%D0%BD%D0%B8%D0%B8_%D0%B4%D0%BB%D1%8F_%D0%BA%D0%BE%D0%BD%D1%82%D0%B5%D0%BA%D1%81%D1%82%D0%BD%D0%BE-%D1%81%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D1%8B%D1%85_%D1%8F%D0%B7%D1%8B%D0%BA%D0%BE%D0%B2

[whitefox]

И что?
Любое слово Вашего языка, длины больше двух, прекрасно накачивается. А это говорит только о том, что гипотеза о принадлежности КС не опровергнута.

[iifat]

Flaminga, спасибо

[whitefox]

whitefox в сообщении #1019313 писал(а):

Видимо, верно и обратное — все слова Вашего языка порождаются данной грамматикой.

Верно без всяких "видимо", Ваш язык принадлежит КС.
Грамматику пришлось немного подправить.

[Flaminga]

Благодарю!