对给定的正规式r1、r2，已知它们的NFA分别为M1、M2(其状态转换矩阵及初态、终态信息分别保存在指定文件中)。构造一程序，由此程序构造正规式r1r2（连接运算）的NFA(将其状态转换矩阵及初态、终态信息保存在指定文件中)。-Given formal type r1, r2, known to the NFA that they were M1, M2 (the state transition matrix and the initial state, final state informa