3.1.expresiones Regulares
3.1.expresiones Regulares
3.1.expresiones Regulares
Formales
Expresiones
Regulares
▪ Símbolos base: son los símbolos del alfabeto del lenguaje que
queremos describir, λ para describir la palabra vacía y ∅ para
describir un lenguaje vacío.
Expresiones regulares
Dado un alfabeto y los símbolos: (lenguaje vacío), λ (palabra vacía),
· (concatenación), + (unión), *(clausura), se cumple que:
1. Paréntesis ( )
2. Clausura *
3. Concatenación ·
4. Unión +
Lenguajes de las Expresiones Regulares
A cada expresión regular le corresponde un lenguaje regular:
• Si α= , L(α) =
• Si α=λ, L(α) = {λ}.
• Si α=a, a , L(α) = {a}
• Si α y β son dos expresiones regulares entonces:
• L(α+β) = L(α)L(β)
• L(αβ) = L(α)L(β)
• L(α*) = (L(α))*
• L((α)) = L(α)
Propiedades de la concatenación:
• Asociativa: α (βγ ) = (αβ )γ
• No es conmutativa: αβ≠ βα
• Elemento neutro la expresión → lambda: λα=αλ=α
• Tiene como elemento anulador la expresión → vacío: α =α =
• Distributiva respecto al operador de unión: α (β+γ ) =αβ+αγ
Propiedades de la clausura:
• λ*=λ
• *=λ
• α *=λ+ αα*
• αα*=α*α
• (α*+β*)* = (α+β )*
• (α+β)* = (α*β*)*
Teorema de Kleene
Kleene enuncio dos teoremas que permiten demostrar la
equivalencia entre E.R y A.F, en cuanto a que los dos
representan de una forma u otra Lenguajes Regulares.
Los teoremas son:
▪ Teorema de Análisis: Todo lenguaje aceptado por un AF es regular.
▪ Teorema de Síntesis: Todo lenguaje regular es aceptado por un AF.
Teorema de Kleene: Solución al Teorema de
Análisis
Teorema de Análisis: para demostrar que a partir de un AF se puede obtener el
lenguaje que este acepta y que es regular.
Ecuación característica o fundamental.
1. Se define xi como el conjunto de palabras que permiten pasar desde el estado qi a
un estado final.
2. Si qi F → λ xi , ya que q Q, q f(q, λ). También,
Si qi F → λ no tiene porque estar en xi
3. Si f(qi , a) = qj F, entonces el símbolo a debe pertenecer a xi
4. Si f(qi , a) = qj , entonces la concatenación en la entrada del símbolo a, xj (conjunto
de cadenas que permiten pasar desde qj a un estado final) debe estar en xi (conjunto
de cadenas que permiten transitar desde qi a un estado final). Así axj xi
Teorema de Kleene: Solución al Teorema de
Análisis
5. Para cada estado qi se puede definir el denominado sistema de ecuaciones de
conjunto lineales por la derecha que se calcula como:
Donde:
λ qi F
(según 2) Ci = qi F
si i=0 y q0 F
Ci = {a / f(qi, a) = qj F } λ
en caso contrario
1:
Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.
Alternative Proxies: