748
правок
Изменения
→Свойства конечных автоматов
=== Свойства конечных автоматов ===
<li>взяли [[Доказательство нерегулярности языков: лемма о разрастании]] 0.5</li>
# оформить правильно английские термины
<li>взяли [[Интерпретация булевых формул с кванторами как игр для двух игроков]] 2</li>
# Создать новый конспект и вынести материал из статьи "Исчисление предикатов"
<li>[[Решение уравнений в регулярных выражениях]]</li>
<li>[[Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчет числа слов)]]</li>
<li>[[Контексты и синтаксические моноиды]] 0.5</li>
# поправить тех
=== Другие автоматы ===
<li>[[Локальные автоматы]]<tex> ^\star </tex> 0.5 </li>
