对于 S ∈ (0 + 1) * 让 d(s) 表示 s 的十进制值(例如 d(101) = 5)。令 L = {s ∈ (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′ 应该是规则的
因为常规语法在交集和恭维下是封闭的
这个问题的测验