3622
правки
Изменения
→Лемма о разрастании в общем виде
}}
'''Замечание.'''Поскольку лемма в общем виде накладывает более жесткие требования на язык, то она может быть использована для доказательства нерегулярности многих других языков, таких как <tex> L =\{ a^mb^nc^n : m \geqslant 1 , n \geqslant 1 \}</tex>.
== Использование леммы для доказательства нерегулярности языков ==
