给定有限状态机M1和M2的状态图如图8-15所示。证明:
a)当且仅当输入申是能被3整除的二进制数时,有限状态机M1输出为1,其他为0;
b)当且仅当输入串是能被4整除的二进制数时,有限状态机M2输出为1,其他为0。
在自然推理系统中,构造下列推理的证明。
(1)偶数都能被2整除。6是偶数。所以6能被2整除。
(2)凡大学生都是勤奋的。王晓山不勤奋。所以,王晓山不是大学生。
A.随便分组
B.简单随机分组
C.分层随机分组
D.整群随机分组
E.联合随机分组
A.随便分组
B.简单随机分组
C.分层随机分组
D.整群随机分组
E.联合随机分组