Alfabeto: conjunto finito no vaco de smbolos

Cadena sobre un alfabeto: sucesin finita de smbolos (en los que

un smbolo puede aparecer varias veces).
Cadena vaca :
Se denotar por
A : conjunto de todas las cadenas sobre A (lenguaje universal)
Slide 1
#A = 0
Lenguaje sobre un alfabeto A: subconjunto de A = conjunto de
cadenas sobre A: L A ; L P(A )
L(A) = P(A )
#L(A) = c (cardinal del continuo)

Concatenacin. Propiedades
Asociatividad: (x y) z = x (y z)
No conmutatividad: x y 6= y x (en general)
Elemento neutro: x = x = x
Slide 2

Leyes de cancelacin:
xy =xz y =z
xy =zy x=z
Longitudes :
|| = 0
|x y| = |x| + |y|

Subcadenas, subsecuencias
y A es un prefijo de x A si (def) z A / x = y z
y A es un sufijo de x A si (def) z A / x = z y
y A es una subcadena de x A si (def)
z, w A / x = z y w
Slide 3

y A es una subsecuencia de x A si (def) y puede ser

obtenida borrando de x cualquier cantidad de sus smbolos
Ejemplo: aaba
prefijos: {, a, aa, aab, aaba}
subcadenas: {, a(prefijo), a(posicin 2), b, a(posicin 4),
aa(prefijo), ab, ba, aab(prefijo), aba, aaba(prefijo)}
subsecuencias: adems de todas las subcadenas:
{ab(posiciones 1,3), aa(posiciones 1,4), aa(posiciones 2,4),
aaa, aba(posiciones 1,3,4)}

Slide 4

Otras operaciones con cadenas

si n = 0
Potencia xn :=
xn1 x si n > 0

si x =
Reflexin xR :=
a y R si x = y a con y A a A
Propiedades:
|xn | = n|x|
R

xR = x
(x y)R = y R xR
Palndromo: x = xR

Operaciones con lenguajes I

unin: asociativa, conmutativa, idempotente,
elemento neutro (), elemento anulador (A )
interseccin: asociativa, conmutativa, idempotente
elemento neutro (A ), elemento anulador ()
complementacin: L = L, = A
Slide 5

Propiedades de distribucin:
L1 (L2 L3 ) = (L1 L2 ) (L1 L3 )
L1 (L2 L3 ) = L1 L2 L1 L3
Leyes de De Morgan:
L1 L2 = L1 L2
L1 L2 = L1 L2

Operaciones con lenguajes II

(concatenacin):
L1 L2 := {x y / x L1 y L2 }

Slide 6

asociativa, no conmutativa, no cumple leyes de cancelacin,

elemento neutro ({}), elemento anulador ()
Se considera con ms precedencia que la interseccin.
Propiedades de distribucin:
L1 (L2 L3 ) = (L1 L2 ) (L1 L3 )
(L1 L2 ) L3 = (L1 L3 ) (L2 L3 )
No lo cumple respecto a la interseccin

Operaciones con lenguajes III

- Diferencia L1 L2 := L1 L2
4 Diferencia simtrica L1 4 L2 := L1 L2 L2 L1

{}
si n = 0
Potencia Ln :=
Ln1 L si n > 0
Reflexin LR := {xR / x L}

Slide 7

Algunas propiedades:
0 := {} n = si n > 0

{}n = {} n

LR = L
R
(L1 L2 )R = LR
2 L1
R
(L1 L2 )R = LR
1 L2
R
(L1 L2 )R = LR
1 L2

...

Operaciones con lenguajes IV

Cierre de Kleene

L :=

Ln = {} L L2 . . . Ln . . .

n=0
+

Cierre positivo
L+ :=

Slide 8

Ln = L L2 . . . Ln . . .

n=1

Se consideran con mayor precedencia que la concatenacin.

Algunas propiedades:
= {}

{} = {}

+ =

{}+ = {}

L+ = L L = L L
L = L
...

Ejemplos de alfabetos
U
I

IB =

Slide 9

{|}
{0, 1}

A2

{a, b}

A3

{a, b, c}

E3

{a1 , a2 , a3 }

Amin

{a, b, c, . . . z}

ID =

{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}

{azul, amarillo, rojo}

DRAE

palabras del DRAE, edicin de 2000

Ejemplos de lenguajes
Sobre el alfabeto IB

Slide 10

L0

= {} =

L1

= {}

L2

= {0}

L3

= {0, 1} ' IB

L4

= {0, 00, 01}

L5

= {, 0, 00}

L6

= {0n / n 0} = L2 = L5 = L+
5

L7

= {0n / n 1} = L+
2 = L2 L6

L8

= IB = L3

L9

= {x0 / x IB } = IB L2 = nmeros pares

L10

= {1x0 / x IB } {0} = nmeros pares sin ceros sobrantes

Expresiones regulares
representar al lenguaje vaco {} =
representar al lenguaje {} y a A, a al lenguaje {a}
Si y son expresiones regulares que representan
respectivamente a los lenguajes L y L , entonces
Slide 11

() representar (tambin) a L
()|() () + () representar a L L
() () ()() representar a L L
() representar a L
Convenio: se considera que la operacin de cierre tiene ms
prioridad (precedencia) que la concatenacin, y sta ms que la
unin, y en los tres casos asociacin por la izquierda.
(((()|(() ())) ) (() )) () se escribir ( | )

Propiedades de las expresiones regulares

Si , son expresiones regulares, diremos que y son
equivalentes ( = ) si (def) representan al mismo lenguaje.
Si , y son expresiones regulares:
1. | =
2. | =
Slide 12

3. | = |
4. (|)| = |(|)
5. () = ()
6. = =
7. (|) = |
8. (|) = |
9. =

10. ( ) =
11. =
12. = ||2 | . . . |k |k+1 k 0
13. = |
14. ( | ) = (|)
Slide 13

15. ( ) = (|)
16. () = ()
17. ( ) = (|)
18. ( ) = (|)
19. ( ) = (|) |
20. Si f es una funcin cualquiera que combina sus argumentos
mediante los operadores | (unin), (concatenacin) y
(cierre), entonces f (1 , 2 , . . . , n ) (1 |2 | . . . |n )