On the computation of Hilbert series and Poincare series for algebras with infinite Grobner bases

In this paper we present algorithms to compute finite state automata which, given any rational language, recognize the languages of normal words and n-chains. We also show how these automata can be used to compute the Hilbert series and Poincare series for any algebra with a rational set of leading words of its minimal Grobner basis.