FPRAS

Counting and Sampling Traces in Regular Languages