Question

Construye AFDs que acepten cada uno de los siguientes lenguajes definidos
sobre el alfabeto Σ = {a,b}:
a ) L = { x ∈Σ* : la longitud de x es divisible por 3}
b ) L = { x ∈Σ*: aba no es subpalabra de x }
c ) L = { x ∈Σ* : x comienza por a y termina por ab }
d ) L = { x ∈Σ* : x tiene un número par de a's y un número par de b's }
e ) L = { x ∈Σ* : x tiene tres a's consecutivas }
f ) L = { x ∈Σ* : toda aparición de la subpalabra aba en x, o bien va seguida de
bb, o está al final de la palabra }
g ) L = { x ∈Σ* : si x empieza por a no contiene la subpalabra aa y si x empieza
por b contiene la subpalabra aa }
h ) L = { x ∈Σ* : x tiene un número par de apariciones de la cadena ab }
i ) L = { x ∈Σ* : ab es subpalabra de x si y sólo si ba es subpalabra de x }
j ) L = { x ∈Σ* : x está formada por la concatenación de un número arbitrario
de cadenas de la forma yyR , con |y|=2 }
k ) L = { x ∈Σ* : x no contiene ningún prefijo en el que la diferencia entre el
número de a's y b's sea mayor que tres (a favor de cualquiera de ellos) }

Answer 1

Respuesta:

Explicación paso a paso: