Para S & en; (0 + 1) * sea d(s) el valor decimal de s (por ejemplo, d(101) = 5). Sea L = {s ∈ (0 + 1)* d(s)mod5 = 2 y d(s)mod7 != 4}.
¿Cuál de las siguientes afirmaciones es verdadera?
(A) L es recursivamente enumerable, pero no recursivo
(B) L es recursivo, pero no libre de contexto
(C) L es libre de contexto, pero no regular
(D) L es regular
Respuesta: (D)
Explicación: Es regular
L1=d(s) mod 5 =2 es regular con 5 estados
L2=d(s) mod 7 =4 es regular con 7 estados
por lo tanto L1 ^ L2′ debería ser regular
porque la gramática regular está cerrada bajo intersección y complementa
Prueba de esta pregunta
Publicación traducida automáticamente
Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA