MATEMTICA DISCRETA

Javier S. Ramn Espinoza

 ALFABETOS,
LENGUAJES Y
OPERACIONES CON
PALABRAS
 ALFABETO
Un alfabeto es un conjunto finito no vaco de
smbolos y se denota como .
La pertenencia de un smbolo a un alfabeto
se denota como .

= {a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s,
t, u, v, w, x, y, z}; y sabemos que la letra a
pertenece a este alfabeto entonces a .
 CADENA
Una cadena o palabra es una secuencia finita de
smbolos que pertenecen a un alfabeto y comnmente
se denota con la letra w.
S el alfabeto es el espaol, algunas cadenas pueden
ser perro, gato y hombre. Dada la definicin anterior,
cualquier palabra que contenga los smbolos del
alfabeto es una cadena vlida, sin importar si esta
tiene o no significado alguno.
 LENGUAJE
Un lenguaje L es un conjunto de cadenas sobre un
alfabeto definido , stas pueden ser cualquier cadena
w, que cumpla con lo siguiente, w esta formada por
los smbolos donde
 OPERACIONES CON
PALABRAS

El concepto de concatenacin se puede

extender a los lenguajes. Se define la concatenacin
de lenguajes como sigue: A . B = {a . b| a A y b B}

Si A = {hola, adis} y B = {casa} entonces A . B =

{holacasa, adioscasa}
 OPERACIONES CON
PALABRAS
La definicin de potencia, tambin puede
extenderse a los lenguajes de la misma manera

Por lo tanto, si A = {ab} sobre un algn alfabeto, se

tiene que
 EXPRESIONES REGULARES
Dado un alfabeto , las expresiones regulares sobre se definen
de forma recursiva por las siguientes reglas:
1. Las siguientes expresiones son expresiones regulares
primitivas:


a, siendo a .
2. Sean y expresiones regulares, entonces son expresiones
regulares derivadas:
+ (unin)
. (o simplemente ) (concatenacin)
* (cierre)
EXPRESIONES REGULARES

3. No hay ms expresiones regulares sobre que las

construidas mediante estas reglas.

Precedencia de los operadores (orden de aplicacin):

1. ()
2. * cierre
3. . concatenacin
4. + unin

Ejemplo:
01* + 1 se aplica as ((0(1*)) + 1)
(01)* + 1 : concatenacin antes del *
0(1* + 1) unin antes de concatenacin
 EXPRESIONES REGULARES
UNIN
L1 U L2 = {x o z| x en L1 y z en L2}
(a + b) = (a U b) = (b U a); tiene la
propiedad conmutativa
Ejemplo
L1 = {00, 10} L2 = {10, 1}
L1 U L2 = L2 U L1 = {00, 10, 1}
 EXPRESIONES REGULARES
CONCATENACIN
L1 . L2 = {x . z| x en L1 y z en L2}

Ejemplo
L1 = {00, 10} L2 = {10, 1}
L1 . L2 = {0010, 001, 1010, 101}
L2 . L1 = {1000, 1010, 100, 110}
 EXPRESIONES REGULARES
CLAUSURA DE KLEENE (L*)
L* = , donde = {} y = L.
= propiedades: = si en L y = - {} si en L

Ejemplo
L = {00, 10}
= UUUU
= {, 00, 10, 0000, 0010, 1000, 1010, 000000,
000010, 001010, 101010, 101000, 100010, }
 AUTMATAS FINITOS
Es un grafo de dirigido con valores o signos.
Un autmata finito es un vector de tres elementos
M = (I ,S , , F)
donde I es el conjunto finito de entradas, S es el
conjunto finito de estados (no
vaco), es la funcin de transicin de estados y F es
el conjunto finito de
estados finales (incluidos en S).
DIAGRAMAS DE ESTADO
Los diagramas de estado muestran el conjunto de
estados por los cuales pasa un objeto durante su vida
en una aplicacin en respuesta a eventos (por
ejemplo, mensajes recibidos, tiempo rebasado o
errores), junto con sus respuestas y acciones
 a b
-> p q -
*q t r
t - r
r t - a
p q

b
a

b
r t

a
 AUTMATAS FINITOS
DETERMINISTAS (AFD)
Un autmata finito es un vector de tres elementos
M = (I ,S , , F)
donde I es el conjunto finito de entradas, S es el
conjunto finito de estados (no
vaco), es la funcin de transicin de estados y F es
el conjunto finito de
estados finales (incluidos en S).
 a
b
a b
a
-> p q p
p q
*q q p

abbaaba
Los autmatas son modelos de
computo que reconocen palabras
abcaabbccba a b c

a ->
q2 q2 q1
q1
c
a *q
q2 q3 -
2
q1 q2 q3 - q3 q1
b

c b
q3
Q = {q1, q2, q3}
= {a, b, c}
= {q1}
= {11}
F = {{q1q2},{q1q1q2},{q1q1q2q2},
b
{q1q2q3q2q2}}
AUTMATAS FINITOS NO
DETERMINISTAS (AFND)
Un autmata finito no determinista (abreviado
AFND) es un autmata finito que, a diferencia de los
autmatas finitos deterministas (AFD), posee al
menos un estado q Q, tal que para un smbolo a
del alfabeto, existe ms de una transicin (q,a)
posible.
 a b

a ->
q2 - -
q1 q2 *q1

q2 - q1q3 q4
b
q3 - q1q4 q3q4

b
q4 - - q4
b

q3 q4

abcaabbccba
a
c
a b

q1 q2

c b a b c
q3
-> q1 q2 q2 q1

*q2 q2 q3 -

b q3 - q3 Q1