.minimize a DFA

[andrew-johnson-4]

export .minimize(DFA): DFA;