DMTCS Proceedings, 2007 Conference on Analysis of Algorithms, AofA 07

Font Size:  Small  Medium  Large

Counting occurrences for a finite set of words: an inclusion-exclusion approach

F. Bassino, J. Clément, J. Fayolle, P. Nicodème

Abstract


In this paper, we give the multivariate generating function counting texts according to their length and to the number of occurrences of words from a finite set. The application of the &IEP; to word counting due to Goulden and Jackson (1979, 1983) is used to derive the result. Unlike some other techniques which suppose that the set of words is reduced (i.e., where no two words are factor of one another), the finite set can be chosen arbitrarily. Noonan and Zeilberger (1999) already provided a Maple package treating the non-reduced case, without giving an expression of the generating function or a detailed proof. We give a complete proof validating the use of the inclusion-exclusion principle and compare the complexity of the method proposed here with the one using automata for solving the problem.

Full Text: GZIP Compressed PostScript PostScript PDF

Valid XHTML 1.0 Transitional