Участник:Wasteed

Материал из Викиконспекты
Перейти к: навигация, поиск
Определение:
Пусть [math]L[/math] - некоторый регулярный язык. [math]|L \cap \Sigma^n|[/math] = a_n - количество слов длины n в языке [math]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].