##article.return## Counting and Sampling Traces in Regular Languages Download Download PDF