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