Изменения
→Необходимые определения
|id=def_rational.
|neat = 1 - параметр нужен для того, чтобы определение не растягивалось на всю страницу(не обязательно)
|definition=[[Производящая функция#main|Производящая функция]] <tex>F(t)</tex> называется '''дробно-рациональной'''(англ. ''rational''), если она представима в виде отношения двух многочленов, то есть <tex>F(t) = \dfrac{P(t)}{Q(t)}</tex>, где <tex>P(t), Q(t)</tex> {{---}} многочлены конечной степени
}}
|id=def_linear.
|neat = 1 - параметр нужен для того, чтобы определение не растягивалось на всю страницу(не обязательно)
|definition=Последовательность <tex>a_0, a_1, \ldots, a_n, \ldots </tex> называется '''заданной линейной рекуррентой ''' (англ. ''constant-recursive''), если её члены <tex>a_0 \ldots a_{k - 1} </tex> заданы, а <tex>\forall n \geqslant k </tex> выполняется <tex> a_n = c_1 \cdot a_{n - 1} + \ldots + c_k \cdot a_{n - k}</tex>
}}
== Теорема о связи этих понятий ==
