177
правок
Изменения
м
→Лемма о разрастании в общем виде
|about=о разрастании, о накачке в общем виде
|statement=
Если язык <tex>L</tex> является регулярным, то существует число <tex>p n \geqslant 1</tex> такое что для любого слова <tex>uwv</tex> из языка <tex>L</tex>, где <tex>|w| \geqslant pn</tex> может быть записано в форме <tex>uwv = uxyzv</tex>,где слова <tex>x</tex>, <tex>y</tex> и <tex>z</tex> такие, что <tex>|xy| \leqslant pn</tex>, <tex>|y| \geqslant 1</tex> и <tex>uxy^izv</tex> принадлежит языку <tex>L</tex> для любого целого числа <tex>i \geqslant 0</tex>.
|proof=
Исходя из формулировки леммы в общем виде, стандартная версия леммы, которая описана выше, является особым случаем, в котором строки <tex>u</tex> и <tex>v</tex> пусты.
