接受语言 L={w | 的最小状态确定性有限自动机w ε {0,1} *, w 中 0 和 1 的个数分别被 3 和 5 整除} 有
(一) 15个州
(B) 11 个州
(C) 10 个州
(D) 9 个州答案：(一)
解释：
这里0和1的字符串w应该具有这样的性质，字符串w中0的个数应该可以被3整除( N(0) % 3 =0 )，并且字符串w的1的个数应该被整除5 (N(1) % 5 = 0)。
话虽如此，Language 将包含这样的字符串：{ε, 000, 11111, 00011111, 00111101, 11111000, 10101011, 00000011111,….等等}
因此，自动机接受的字符串长度必须为 0, 3, 5, 8, 11, 13, 14, 16….等等，即长度方程将为 3x + 5y(其中 x,y>=0 )
模 3 的余数为 ( 0, 1, 2 ) ，模 5 的余数为 ( 0, 1, 2, 3, 4 )。因此有 3 * 5 个状态，即自动机中有 15 个状态来表示这一点。
如果您发现上面的帖子有任何错误，请在下面发表评论。
这个问题的测验