19
правок
Изменения
Нет описания правки
|id=th1.
|statement=
Пусть <tex dpi="150">L</tex> {{---}} регулярный язык над алфавитом <tex dpi="150">\Sigma</tex>, распознающийся детерменированным конечным автоматом <tex dpi="150">A</tex>.|proof=доказательство (необязательно)
}}
