Expresiones Regulares: Las expresiones regulares (ER) son un método de

representación de lenguajes regulares.

• L(∅) = ∅
• L(a) = {a} ∀a∈Σ
• Si α , β ∈ ER entonces L((αβ)) = L(α)L(β)
• Si α , β ∈ ER entonces L((α+β)) = L(α) ∪ L(β) o L((α|β)) = L(α) ∪ L(β)
• Si α ∈ ER entonces L(α*) = L(α )*

Propiedades :

1) α+∅=α
2) α+α=α
3) α+β=β+α
4) α + (β + γ ) = ( α + β ) + γ
5) α (βγ ) = (αβ )γ
6) αε = εα = α
7) (α + β )γ = αγ + βγ
8) γ (α + β ) = γα + γβ
9) α* α* = α*
10) (α*)* = α*
11) αα* = α*α
12) α* = ε + α + α2 + α3 + ... + αk + αk+1α* ∀k ≥ 0
13) α* = ε + αα*
14) (α* + β * )* = (α + β )*
15) (α*β * )* = (α + β )*
16) (αβ )* α = α (βα )*
17) (α*β )* α* = (α + β )*
18) α* (βα* )* = (α + β )*
19) (α*β )* = (α + β )*β + ε
20) f (α1, α2, ..., αn) ⊆ (α1 + α2 + ... + αn )* donde las imágenes obtenidas por medio
de f son combinaciones de las expresiones regulares αi utilizando sólo
operaciones regulares: unión (+), concatenación (·) y estrella de Kleene (*).
1. Determinar si son verdaderas o falsas las siguientes igualdades,
justificando la respuesta

a) a(a+ba)* = (a + ab)*a
b) a(a+ba)+ = (a + ab)+a
c) a(a+ba)* = aa* b*a
d) a(a+ba)* = aa*(ba)*
e) a(a+ba)* = aa* + a(ba)*
f) (aa* b)* - ε = (ab+ a)* ab
g) (αα*β )* - ε = (α β +α )* α β con α = (ε+a), β=ε
h) (a+b)* b = a* b(a*b)*
i) a*+a* b+a* = a*b*a
j) (a+ba)* = (bb*a)* b*