对于S＆in; (0 + 1)*令d(s)表示s的十进制值(例如d(101)= 5)。令L = {s＆in; (0 + 1)* d(s)mod5 = 2且d(s)mod7！= 4}。
下列哪一项是正确的?
(A) L是递归可枚举的，但不是递归的
(B) L是递归的，但不是上下文无关的
(C) L是上下文无关的，但不是常规的
(D) L是正规的答案： (D)
说明：正常
L1 = d(s)mod 5 = 2在5个状态下是正规的
L2 = d(s)mod 7 = 4在7个状态下是正规的
因此L1 ^ L2’应该是规则的
因为规则语法在交集和称赞下是封闭的
这个问题的测验