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