Mazurkiewicz Traces

Counting and Sampling Traces in Regular Languages