3622
правки
Изменения
→Свойства конечных автоматов
# Исправить багу с примечаниями
# Англоязычные термины
<li> ''взялиfixed'' [[Контексты и синтаксические моноиды]] (1) </li>
# Оформить примеры красиво
# Оформить красиво двусторонние доказательства
