* Это чё ваще за херня в верхушке статьи? o_0 [[Участник:Kirelagin|Кирилл Елагин]]== Упрощение доказательства нерегулярности примера == ** Ну у меня просто были проблемы с самим содержанием: а) Предположим, что язык - регулярный, значит, для него существует ДКА (пусть в нём не отображалась ключевая лемма$n$ состояний). Подадим на него $n+1$ слово вида $ab^i$, где $i$ принадлежит промежутку от $1$ до $n + 1$. Согласно принципу Дирихле, что уже нехорошохотя бы 2 слова должны попасть в одно и то же состояние; б) Оно автоматически помещалось после леммыпусть это слова $ab^k$, $ab^l$, тогда, если подать на автомат слова $ab^kc^k$ и $ab^lc^k$, т. еони также попадут в одно состояние. близко к концуЗаметим, что само по себе нелогично$ab^kc^k$ принадлежит языку, а как вручную задать его положение, я чего$ab^lc^k$ {{-то не знаю (википедийных шаблонов TOC-left/TOC-right здесь почему-}} не принадлежит. Получается противоречие, ведь оба слова перейдут в одно и то нет); же состояние, но так как $ab^kc^k$ переходит в) терминальное состояние, то и $ab^lc^k$ тоже переходит в содержании неправильно отображались формулы (это неудивительно). В общемнего, если чего быть не нравитсяможет, то можно вообще снести содержаниеследовательно, статья небольшая — наш язык не заблудишьсярегулярный. [[Участник:DrozdovVA|DrozdovVA]]*** Есть же <nowiki>__TOC__</nowiki>. --[[Участник:Rybak|Андрей Рыбак]] 22:48, 2 ноября 2011 (MSK)
