λ-Cl(q3) = {q1,q3}

λ-Cl(q3) U λ-Cl(q1) = λ-Cl(q3)

λ-Cl(q2) = Ø

λ-Cl(q3) U λ-Cl(q1) = λ-Cl(q1)

Aplicando el lema de pumping, con la palabra se demuestra que no es regular.

L es un lenguaje regular.

Aplicando el lema de pumping, con la palabra se demuestra que no es regular, siendo la constante de dicho lema.

no es regular, pero no se puede demostrar aplicando el lema de pumping ya que puede no existir una palabra en que cumpla , siendo la constante de dicho lema.

Siempre será mayor que el número de estados finales del AFN con lambda-movimientos original.

A veces será mayor que el número de estados finales del AFN con lambda-movimientos original.

A veces será menor que el número de estados finales del AFN con lambda-movimientos original.

Siempre será igual que el número de estados finales del AFN con lambda-movimientos original.

4 estados

7 estados

5 estados

6 estados

Cuatro.

Tres.

Seis.

Cinco.

Un AFD que reconoce ese lenguaje tendrá como mínimo 6 estados.

Un AFD que reconoce ese lenguaje tendrá como mínimo 3 estados.

Un AFD que reconoce ese lenguaje tendrá como mínimo 4 estados.

Un AFD que reconoce ese lenguaje tendrá como mínimo 5 estados.

Sea M un AFD que verifica que q1 y q2 son ambos finales, o ambos no finales, y además se cumple que δ(q1,x)=δ(q2,x) para todo símbolo x del alfabeto. Entonces, podemos asegurar que Lq1=Lq2.

Un estado p es accesible desde el estado inicial q0 sí, y sólo sí, , siendo el alfabeto.

No es posible minimizar un AFD con todos sus estados finales ni con todos sus estados no finales.

Un AFN con todos sus estados finales tendrá siempre un AFD mínimo equivalente con un único estado.

Palabras que tienen como máximo dos 0's.

Palabras que no contienen la subcadena "00".

Palabras con exáctamente dos ceros.

Palabras que tienen como máximo dos 0's, y como mínimo tres 1's.

lq0=alq1+balq1

lq2=alq1+b(a+b)*

lq1=(ba)*a(a+b)*

El AFD reconoce el siguiente lenguaje: "Cadenas de a's y b's que contienen al menos una vez la subcadena aa"

(a+b*)(a*+b) = aa*+b*b+b*a*+ab

a*b+b*a = (a*+b*)(b+a)

(a+b)* = (a*+b*)

(abab)* = ((ab)*ab)*