对给定的正规式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 information were kept in the designated file). Construction of a procedure, the resulting program structure formal ceremony r1r2 (connected computing) of the NFA (its state transition matrix and the initial state, final state information saved in the specified file).