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