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