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