Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Ejemplos:
Cadena
| 01101 | = 5
| |=0,
| a |=1,
| abc |=3
Conceptos básicos
Concatenación
⇒ xy= A1A2...AnB1B2...Bm
Ejemplos:
x =abc, y =da, definidos sobre Σ ={a,b,c,d} xy=abcda ; |xy|=|
x|+|y|=5
Operaciones con palabras
Propiedades de la concatenación
Operación cerrada: sí
Si x e y están definidos sobre Σ, entonces xy está definido sobre Σ.
asociativa: sí
x(yz)=(xy)z
Elemento neutro:
x = x=x
Conmutatividad: no
xy ≠ yx
Operaciones con palabras
Potencia
Ejemplos:
x =abc ⇒ x1=abc x2=abcabc x3=abcabcabc
Propiedades de la potencia:
Para todo i, j > 0
• xi+1=xxi=xix
xi xj=xi+j
= ; x=x; x =x
• |xi|=i . |x|
Operaciones con palabras
Palabra inversa
Ejemplos:
x =abc ⇒ x-1=cba
|x-1|=|x|
Lenguaje Universal
Ejemplos:
Σ1 ={a}
⇒Σ1* ={, a, aa, aaa, ...}
Propiedades de la unión:
Concatenación de lenguajes:
={a,b,c}
¿Qué pasa si L1 o L2 es ?
Operaciones con lenguajes
Propiedades de la concatenación:
Li = LLL...L (i veces)
Propiedades de la potencia:
■ Cerrada: L Σ* ⇒ Li Σ*
■ Li+1 = LiL = LLi (i >0)
¿Que pasa si i, j = 0?
Se define L0 = {}
L0+1 = L1 = L = {}L=L0L L0L0= {}{} ={}=L0 = L0+0
Operaciones con lenguajes
Ejemplos:
L1 = {,ab, ac}
⇒ L12 ={,ab,ac,abab,abac,acab,acac}
⇒ L13 = {,ab,ac,abab,abac,acab,acac,ababab,ababac,
abacab,abacac,acabab,acabac,acacab,acacac}
⇒ L2 2 = ¿?
⇒ L23 = ¿?
Operaciones con lenguajes
Clausura positiva
La clausura positiva de un lenguaje L se define por:
ꝏ i
L + = Ui 1 L
L ={a,aa,aaa,aaaa,...} = {an | n 1}
Propiedades de la clausura
■
L*=L0(Ui 1 Li )= L0L+={}L+
Operaciones con lenguajes
Reflexión
Sea L un lenguaje. Se llama lenguaje inverso (lenguaje reflejo)
de L, y se representa por L-1 al lenguaje: L-1={x-1|x L}.
L ={a,aa,aaa,...} ⇒ ¿L-1?
Propiedades de la reflexión
Cerrada: L Σ* ⇒ L-1 Σ*
Operaciones con lenguajes
Intersección
Propiedades de la intersección
Definición (Diferencia)
Propiedades de la diferencia
■ No es idempotente: L: L-L=
■ A-=A
Operaciones con lenguajes
Leyes de complemento Leyes de Morgan
_
■
L L = •
_ L1 L2= L1 L2
■ L L =Σ*
• L1 L2= L L
1 2
L1 -L2=L1 L 2 = L1 L2
_
L = Σ* -L
Distributividad
■ L1(L2 L3)= (L1L2)( L1L3)