Furthermore, redundancy and circularity detection algorithm is constructed.

• 在此基础上给出了基于可达矩阵的冗余和环路检测算法。