Abstract
In this paper, we develop a new relation between certain types of generating functions using formal algorithmic methods. As an application, we give a relation between the generating function and finite-type relations between polynomial sequences.