Probability Generating Function

The probability generating function (PGF) of a distribution is defined as

$$G_X(s)=\mathbb{E}[s^X]=\sum _{k=0}^{\infty }P(X=k)s^k.$$