Restricted k-ary words and functional equations

AbstractWe present an algorithm for finding a system of recurrence relations for the number of k-ary words of length n that satisfy a certain set of conditions. A rewriting of these relations automatically gives a system of functional equations satisfied by the multivariate generating function that counts k-ary words by their length and the indices of the corresponding recurrence relations. We propose an approach to describing such equations. In several interesting cases the algorithm recovers and refines results on τ-avoiding k-ary words and k-ary words containing τ exactly once, where τ is either a classical, a generalized, or a distanced pattern of length three