The comments of the anonymous FSMNLP and CL reviewers were extremely useful.
the advantage of this approach is that the subset construction algorithm can remain simple because the input automaton is c-free.