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