Изменения
Нет описания правки
'''Лемма о разрастании'''<ref>Лемму также часто называют ''леммой (лемма о накачке''.</ref> (, англ. ''Pumping pumping lemma'') — лемма, позволяющая во многих случаях проверить, является ли данный язык [[Регулярные языки: два определения и их эквивалентность|регулярным]].
== Лемма о разрастании ==
== См. также ==
* [[Лемма о разрастании для КС-грамматик]]
* [[Интерпретация булевых формул Булевые формулы с кванторами как игр игры для двух игроков]]== Примечания ==<references/>
== Источники информации ==
* [http://en.wikipedia.org/wiki/Pumping_lemma_for_regular_languages Wikipedia — Pumping lemma for regular languages]
