177
правок
Изменения
м
→Пример языка, удовлетворяющего лемме в общем виде
:Если дубликаты разделены нулями или единицами, накачаем один из двух остальных символов в строке, которые не повлияют на подстроку, которая содержит дубликаты,
:Если дубликаты разделены двойками или тройками, накачаем 2 символа, разделяющих их. Накачка также уменьшает или увеличивает результат во время создания подстроки размера 3, которая содержит 2 продублированных символа
Второе условие языка <tex>L</tex> обеспечивает, что <tex>L</tex> - — нерегулярный, то есть в нем бесконечное число строк, которые принадлежат <tex>L</tex>, но не могут быть получены путям разрастания некоторой меньшей строки в <tex>L</tex>
== См. также ==
