403
правки
Изменения
→Альтернативное доказательство
|proof=
[[file:Автомат1.png|200px|right]]
Рассмотрим автоматный язык <tex>L</tex> и ДКА для него. Для доказательства теоремы достаточно построить регулярное выражение, порождающее язык <tex>L</tex>.
