Regular Language

Counting and Sampling Traces in Regular Languages