Изменения

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