Участник:Wasteed — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 3: Строка 3:
 
|neat = 1
 
|neat = 1
 
|definition=
 
|definition=
Пусть L - некоторый регулярный язык. <tex dpi="150">|L \cap \Sigma^n| = an - количество слов длины n в языке 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>.  
+
Пусть <tex dpi="150">L</tex> - некоторый регулярный язык. <tex dpi="150">|L \cap \Sigma^n|</tex> = 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>.  
 
}}
 
}}

Версия 20:09, 20 мая 2021

Определение:
Пусть [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].