In practice, for the automata generated in our model, minimization removes at most half the states, which is not sufficient to counteract the exponential growth.
we need to find a way to approximate a message µ(w) using a simpler automataμ(w; θ) taken from a restricted class parameterized by θ.