We propose a numerical method for studying the cogrowth of finitely presented
groups. To validate our numerical results we compare them against the
corresponding data from groups whose cogrowth series are known exactly.
Further, we add to the set of such groups by finding the cogrowth series for
Baumslag-Solitar groups BS(N,N)= and prove
that their cogrowth rates are algebraic numbers.Comment: This article has been rewritten as two separate papers, with improved
exposition. The new papers are arXiv:1309.4184 and arXiv:1312.572