Counting

Counting and Sampling Traces in Regular Languages