从txt读取状态转换矩阵,输出DFA矩阵