A Representation Theorem for Holonomic Sequences Based on Counting Lattice Paths
Tomer Kotek, Johann A. Makowsky · Fundamenta Informaticae · 2012
Using a theorem of N. Chomsky and M. Schützenberger one can characterize sequences of integers which satisfy linear recurrence relations with constant coefficients (C-finite sequences) as differences of two sequences counting words in regular languag