19
правок
Изменения
Нет описания правки
Тогда <tex dpi="150">L(t)=a_0 + a_1t + a_2t^2 + ... </tex> — это '''производящая функция для регулярного языка''' <tex dpi="150">L</tex> (англ. ''generating function of a regular language'').
}}
{{Теорема (Производящая функция регулярного языка)|id=идентификатор (необязательно), пример: th1. |author=Автор теоремы (необязательно)|about=О чем теорема (необязательно)|statement=Пусть <tex dpi="150">L</tex> {{---}} регулярный язык над алфавитом <tex dpi="150">\Sigma</tex>, распознающийся детерменированным конечным автоматом <tex dpi="150">A</tex>.
|proof=доказательство (необязательно)
}}
