In the random walk whose state space is a subset of the non-negative integers explicit representations for the generating functions of the n-step transition and the first return probabilities are ...