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