1、构造状态转换表 AB 000111 I02 初始状态少 INIT AC0A0A1A10 A上捕获一个0 AO OKO OK0A1A10 A上捕获一个1少A1A0ADOK1oK10 A上连续两个0→OK0 OKO OKO OK1BA11 A上连续两个1÷OK1A0 OKOB OK1oK11 因B而OK,A为1→oK1BA0 OKOB OK1oK11 因B而oK,A为0 OKOB OKO OKO OK1BA11 状态含义S AB 00 01 11 10 S* Z 状态含义 初始状态 → INIT A0 A0 A1 A1 0 A上捕获一个0 → A0 A上捕获一个1 → A1 OK0 OK0 0 A上连续两个0 → OK0 A1 A1 A0 A0 OK1 0 A上连续两个1 → OK1 OK1 OK0 OK0 OK1B A1 1 因B而OK，A为1 →OK1B A0 OK0B OK1 OK1 1 因B而OK，A为0 →OK0B A0 OK0B OK1 OK1 1 OK0 OK0 OK1B A1 1 1、构造状态转换表