确定有穷自动机（DFA）的化简（最小化）