程序根据用户输入的dfa或者文件中的dfa，能最小化dfa，并根据最小化dfa来测试字符串-Program based on user input or file in dfa dfa, minimizes dfa, and according to the test string minimizing dfa