minimize

fun minimize(aInput: Automaton, determinizeWorkLimit: Int): Automaton