Участник:Wasteed

Определение:

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