Taller de lenguajes formales

Duvan F. Pulgarín Martínez

201322006

1. Obtener la ER para:

a. El lenguaje {w ∈ Σ*|w = anbak, n, k ≥ 0}

.
ER=a*ba*
b. Conjunto de cadenas en {a, b} que no contienen ni aa ni bb.

q0 c q2: a(b+a)
q0 c q2(pasa por q3): b(a+b)

ER=(a+b) + (a+b) (a+b)

c. El lenguaje {101, 1110}.

ER= 1*01*
2. Demostrar la siguiente equivalencia por identidades de Expresiones Regulares:
(ab*)*a = a + a(a + b) *a

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

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

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

(aa*) *a
(ab*) *a

Factor común

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

3. Verificar que las ER (ab + a) *a y a (ba + a) * son equivalentes aplicando identidades de

algebra de expresiones regulares.

Regla de algebra de expresiones regulares.

r1. (r2. r3) = (r1. r2). r3

(ab +a) *a = a (ba + a) *

ab=ba (El orden de los factores no afecta el producto)

(ab+a) * = ((ab)*a*) *

(ba + a) * = ((ba)*a*) *