1.空行 ■一个CA如果没有EC与之相关，说明该CA无 法实现。 ■仔细分析CA,并定义相应的EC。 O N o 2.空列 ■一个EC不与任何CA相关联。 ■多余的EC使得关系矩阵变得冗余。 ■删除这类EC。 过 ⊙ 可 o 人 9一个CA如果没有EC与之相关，说明该CA无 法实现。 仔细分析CA，并定义相应的EC。 1.空行 8 一个EC不与任何CA相关联。 多余的EC使得关系矩阵变得冗余。  删除这类EC。 2.空列 9