原始状态表 现态 次态 输出() So S1 0 S1 S2 0 S2 Sa Sa So / 原始状态图 原始状态表 现态 次态 输出(Z) S0 S1 0 S1 S2 0 S2 S3 0 S3 S0 1 原始状态图