3622
правки
Изменения
→Свойства конечных автоматов
=== Свойства конечных автоматов ===
<ol>
<li value="14"> '''взялиfixed''' [[Доказательство нерегулярности языков: лемма о разрастании]] (6) </li>
# Ещё один пример нерегулярного языка, для которого выполнена лемма о разрастании (с википедии)
# Доказательство леммы о накачке в общем виде
