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

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 3: Строка 3:
 
|neat = 1
 
|neat = 1
 
|definition=
 
|definition=
Пусть <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>.  
+
Пусть <tex dpi="150">L</tex> - некоторый регулярный язык. <tex dpi="150">|L \cap \Sigma^n| = a_n</tex> - количество слов длины n в языке <tex>L</tex>.  
 +
Тогда <tex>L(t)=a_0 + a_1t + ...</tex> - это '''производящая функция для регулярного языка''' (англ. ''generating function of a regular language'') <tex>L</tex>.
 
}}
 
}}

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

Определение:
Пусть [math]L[/math] - некоторый регулярный язык. [math]|L \cap \Sigma^n| = a_n[/math] - количество слов длины n в языке [math]L[/math]. Тогда [math]L(t)=a_0 + a_1t + ...[/math] - это производящая функция для регулярного языка (англ. generating function of a regular language) [math]L[/math].