Изменения

|id=th_main.

|statement=<tex>a_0, a_1, ..., a_n, ... </tex> задана линейной рекуррентой с <tex>k</tex> первыми заданными членами <tex>\Leftrightarrow</tex> её производящая функция <tex>F(t)</tex> является дробно-рациональной, причём она представима в виде <tex>F(t) = \frac{P(t)}{Q(t)}, deg Q(t) = k, deg P(t) < k</tex>

}}