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.
in our setting, however, n-best lists are problematic; early experiments showed that a 10,000-best list for a typical message only accounts for 50% of message log perplexity.