Изменения

Пусть <tex dpi="150">L</tex> - некоторый регулярный язык. <tex dpi="150">|L \cap \Sigma^n|= a_n</tex> = a_n - количество слов длины n в языке <tex>L</tex>. Тогда <tex>L(t)=a_0 + a_1t + ...</tex> - это '''Производящая производящая функция для регулярных языковрегулярного языка''' (англ. ''generating function for of a regular languageslanguage'') — это формальный степенной ряд вида <tex>G(z)=\sum\limits_{n=0}^\infty a_n z^n</tex>, порождающий (производящий) последовательность <tex>(a_0, a_1, a_2, \ldots)L</tex>.