第8讲模型检测讲述.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 构造自动机A?? 初始状态是包含?? (即a U b )的状态 s2 ?ab? s1 ?a ?b ?? s4 ab? a ?b ? s3 a ?b ?? s?3 ? =a U b 构造自动机A?? 构造状态迁移关系 s2 ?ab? s1 ?a ?b ?? s4 ab? a ?b ? s3 a ?b ?? s?3 ? =a U b 构造自动机A?? ( s, s? )属于状态迁移关系，当且仅当 若X? ?s，则? ?s? 若?X? ?s，则?? ?s? s2 ?ab? s1 ?a ?b ?? s4 ab? a ?b ? s3 a ?b ?? s?3 ? =a U b 构造自动机A?? ( s, s? )属于状态迁移关系，当且仅当 若?1U ?2 ?s且?2?s，则?1U ?2 ?s? s2 ?ab? s1 ?a ?b ?? s4 ab? a ?b ? s3 a ?b ?? s?3 ? =a U b 构造自动机A?? ( s, s? )属于状态迁移关系，当且仅当 若?(?1U ?2) ?s且?1 ?s，则：?