Участник:Wasteed — различия между версиями
Wasteed (обсуждение | вклад) |
Wasteed (обсуждение | вклад) |
||
Строка 9: | Строка 9: | ||
|id=th1. | |id=th1. | ||
|statement= | |statement= | ||
− | |||
|proof=доказательство (необязательно) | |proof=доказательство (необязательно) | ||
}} | }} |
Версия 20:37, 20 мая 2021
Определение:
Пусть
— некоторый регулярный язык, — количество слов длины в языке .
Тогда — это производящая функция для регулярного языка (англ. generating function of a regular language).