Description

Minimizes the size of a by removing unuseful states and transitions. From the languages point of a view, the minimized version of a is strictly equivalent to the original one.