Instituto Politcnico Nacional

Escuela Superior de Ingeniera Mecnica y

Elctrica

* MATEMTICAS
. DISCRETAS *
Alumnas:
Arregun Ros Ana Beln
Partida Herrera Alma Karen
Grupo:
2CV24
Profesor:
Rodrguez Gmez Juan ngel.

p g. 1
La palabra conjunto generalmente la asociamos con la idea de agrupar
objetos, por ejemplo un conjunto de discos, de libros, de plantas de
cultivo y en otras ocasiones en palabras como hato, rebao, piara,
parcelas, campesinado, familia, etc., es decir la palabra conjunto denota
una coleccin de elementos claramente entre s, que guardan alguna
caracterstica en comn. Ya sean nmeros, personas, figuras, ideas y
conceptos.

En matemticas el concepto de conjunto es considerado primitivo y ni se

da una definicin de este, sino que se trabaja con la notacin de
coleccin y agrupamiento de objetos, lo mismo puede decirse que se
consideren primitivas las ideas de elemento y pertenencia.

La caracterstica esencial de un conjunto es la de estar bien definido, es

decir que dado un objeto particular, determinar si este pertenece o no al
conjunto. Por ejemplo si se considera el conjunto de los nmeros dgitos,
sabemos que el 3 pertenece al conjunto, pero el 19 no. Por otro lado el
conjunto de las bellas obras musicales no es un conjunto bien definido,
puesto que diferentes personas puedan incluir distintas obras en el
conjunto.

Los objetos que forman un conjunto son llamados miembros o

elementos. Por ejemplo el conjunto de las letras de alfabeto; a, b, c,...,
x, y, z. que se puede escribir as:

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

Como se muestra el conjunto se escribe entre llaves ({}), o separados

por comas (,).

El detallar a todos los elementos de un conjunto entre las llaves, se

denomina forma tabular, extensin o enumeracin de los
elementos.

Dos conjuntos son iguales si tienen los mismos elementos, por

ejemplo:

El conjunto {a, b, c} tambin puede escribirse:

{ a, c, b }, { b, a, c }, { b, c, a }, { c, a, b }, { c, b, a }

p g. 2
En teora de conjuntos se acostumbra no repetir a los elementos por
ejemplo:

El conjunto {b, b, b, d, d} simplemente ser {b, d}.

Los conjuntos se denotan por letras maysculas: A, B, C,... por ejemplo:

A= {a, c, b}

B= {primavera, verano, otoo, invierno}

Ejemplo:

Sea B= {a, e, i, o, u}, a B y c B

SUBCONJUNTO
Sean los conjuntos A={ 0, 1, 2, 3, 5, 8 } y B={ 1, 2, 5 }

En este caso decimos que B esta contenido en A, o que B

es subconjunto de A. En general si A y B son dos conjuntos cualesquiera,
decimos que B es un subconjunto de A si todo elemento de B lo es de A
tambin.

Por lo tanto si B es un subconjunto de A se escribe B A. Si B no es

subconjunto de A se indicar con una diagonal .

UNIVERSO O CONJUNTO UNIVERSAL

El conjunto que contiene a todos los elementos a los que se hace
referencia recibe el nombre de conjunto Universal, este conjunto
depende del problema que se estudia, se denota con la letra U y algunas
veces con la letra S (espacio muestral).

Por ejemplo si solo queremos referirnos a los 5 primeros nmeros

naturales el conjunto queda:

U= {1, 2, 3, 4, 5}

Forma alternativa para indicar conjuntos de gran importancia:

Conjunto de nmeros naturales (enteros mayores que cero)

representados por la letra N donde

N= {1, 2, 3,....}

p g. 3
 Conjunto de nmeros enteros positivos y negativos representados
por la letra Z donde

Z={..., -2, -1, 0, 1, 2, ... }

Conjunto de nmeros racionales (nmeros que se representan

como el cociente de dos nmeros enteros {fracciones}). Estos
nmeros se representan por una Q

Conjunto de nmeros irracionales (nmeros que no puedan

representarse como el cociente de dos nmeros enteros)
representados por la letra I.

Conjunto de los nmeros reales que son los nmeros racionales e

irracionales es decir todos, representados por R.

Todos estos conjuntos tienen un nmero infinito de elementos, la forma

de simbolizarlos por extensin o por enumeracin es de gran utilidad
cuando los conjuntos a los que se hace referencia tienen pocos
elementos para poder trabajar con ellos se emplean la notacin
llamada comprensin.

PROBLEMAS DE CONJUNTOS:

p g. 4
En los conjuntos se pueden realizar algunas operaciones
bsicas, que parten de algunos conjuntos dados y se obtienen
nuevos conjuntos.

Sean dos conjuntos, A y B del conjunto universal U.

Las operaciones bsicas que podemos definir entre conjuntos

son;

Nota: El resultado de las operaciones representado en un

diagrama de Venn lo pintaremos del siguiente color;

Unin de conjuntos:

La unin de dos conjuntos A y B, que se escribe A U B, se

define como el conjunto formado por los elementos comunes
y no comunes a ambos conjuntos.

Las uniones las podemos representar en diagramas de

Venn de la siguiente forma;

p g. 5
a) Cuando los dos conjuntos tienen elementos en comn la
unin se representa de la siguiente forma;

b) Cuando los conjuntos no tienen elementos en comn la

unin se representa;

c) Cuando todos los elementos de A pertenecen a B la unin

se representa;

p g. 6
Propiedades de la unin de conjuntos;

1 (A U A) = A

2 (A U B) = B U A

3 A U (B U C) = (A U B) U C

4 A U = A

5 A U U = U

Representar A U B en un diagrama de Venn.

Para poder resolver este ejercicio, como los conjuntos A y B

estn definidos por comprensin, primero es conviene escribir
estos conjuntos por extensin, para poder ver todos sus
elementos;

Y luego, representamos la unin en diagrama de Venn;

p g. 7
Interseccin de conjuntos:

La interseccin de dos conjuntos A y B, que se escribe A B,

se define como el conjunto formado por los elementos
comunes de A y B pero.

Las intersecciones las podemos representar en diagramas de

Venn de la siguiente forma;

a) Cuando los dos conjuntos tienen elementos en comn la

interseccin se representa de la siguiente forma;

p g. 8
b) Cuando los conjuntos no tienen elementos en comn, la
interseccin es igual a conjunto vaco () y se representa;

c) Cuando todos los elementos de A pertenecen a B la unin

es igual a A, y se representa;

Propiedades de la interseccin de conjuntos;

1 (A A) = A Idempotencia

2 (A B) = (B A) Conmutativa

3 (A B) C = A (B C) Asociativa

4 A = Identidad

p g. 9
5 A U = A Identidad

Nota: La idempotencia es la propiedad para realizar la

operacin varias veces, y siempre obtener el mismo resultado
que se obtendra si se realizara solo una vez.

Ejemplo:

Determina dos conjuntos que puedan dar origen a la

interseccin;

Para determinar dos conjuntos que den origen a esta

interseccin debemos buscar conjuntos que contengan estas
letras, nosotros haremos los siguientes conjuntos, pero t
puedes formar otros;

Si representamos la interseccin en un diagrama de Venn

quedara de la siguiente forma;

Diferencia de conjuntos:

p g. 10
La diferencia de dos conjuntos A y B, que se escribe A - B, se
define como el conjunto formado por los elementos A que no
pertenecen a B.

La diferencia de conjuntos las podemos representar

en diagramas de Venn de la siguiente forma;

a) Cuando los dos conjuntos tienen elementos en comn la

diferencia se representa de la siguiente forma;

b) Cuando los conjuntos no tienen elementos en comn, la

diferencia es igual al conjunto A y se representa;

c) Cuando todos los elementos de A pertenecen a B la

diferencia es igual a conjunto Vaco (), y se representa;

p g. 11
d) Cuando todos los elementos del conjunto B pertenecen a A,
la diferencia se representa;

Propiedades de
diferencia de conjuntos;

1 (A - B) B - A

2 A - B = A B

3 A - = A

4 A - U =

5 - A =

6 A (B C) = (A B) (A C)

Ejemplo:

Sean los conjuntos A = {2, 4, 6, 8, 10} y B = {1, 2, 3, 4, 5}.

p g. 12
Cul es la diferencia de A - B

Conjunto complementario:

Dado el conjunto A U, se define el conjunto complementario

de A, que se escribe Ac, el cual est formado por los
elementos que pertenecen al conjunto universal (U), pero que
no pertenecen a A.

El conjunto complemento de A lo podemos representar en un

diagrama de Venn de la siguiente forma;

Es decir, tambin podemos interpretarlo como;

Propiedades de conjunto complementario;

1 A U AC = U

p g. 13
 2 A AC =

3 UC =

4 C = U

5 (AC)C = A

Ejemplo:

Sea U = { a, e, i, o, u } y A = { i, u } cul es el complemento

de A?

Entonces, si quitamos las letras i y u, obtenemos A c.

A B
1
x
2
y
3
z
4
w

p g. 14
Producto Cartesiano

A*B = {(a,b) | aA, bB}

Ejemplo:

A= {a,b} A*B={(a,1)}

B= {1, 2,3}

A2= {aa, ab, ba, bb}

A1 x A2 x A3 x... = {(a1, a2, a3) |

Definicin de una relacin

R tomando en cuenta si habr una relacin s A y B son

conjuntos mientras NO sean vacos.

Una relacin A R B es un subconjunto de AxB. S (a,b) R se

acostumbrar a escribir aRb. "a est relacionado con b".

S (a,b) / R por lo tanto aRb

PROPIEDADES DEL CONJUNTO CARTESIANO

Sean AyB, CyD conjuntos arbitrarios y distintos entre s.

Partiendo de la definicin de producto cartesiano entre
conjuntos se listan algunas propiedades bsicas de esta
operacin.

A x B B xA

Ax0=0xA=0

(A x B) x C A x (B x C)

(A B) x (CD) = (A x C) (B x D)

(A u B) x (CuD) (AxC) u (BxD)

p g. 15
Ax(BnC)= (AxB) n (AxC)

Ax(BuC) = (AxB) u (AxC)

a x

b y

c z

Una funcin f de A en B es una relacin de A a B que satisface la

condicin de que para todo elemento de condicin b B tal qu ( a , b )
f. El conjunto A es llamado dominio de F, y el conjunto B es llamado
condominio de f.

Una funcin f con dominio A y condominio B

generalmente se representa f: A -> B adems de
que en lugar de escribir ( a, b ) f, Se
acostumbrar a escribir f = (a) b y se dice que b
es el valor de f en a.

Dominio:

f es el subconjunto Dom f (o D) de elementos que tienen imagen. Es

decir, el conjunto de elementos x de la variable independiente X que
tienen imagen en Y. Tambin se le llama campo de existencia de la
funcin.

Recorrido:

f es el conjunto Im f (o Rec f) de todos los elementos que toma la

variable dependiente. Es decir, el conjunto de todas las imgenes.
Tambin se le llama rango de una funcin o condominio.

p g. 16
Formalmente se define
el recorrido de una
funcin como:

Las funciones en que el

recorrido de la funcin Im f es el
mismo que el conjunto
final Y son funciones sobreyectivas.

FUNCIN CONSTANTE:
Una funcin f es constante si la variable dependiente y toma el mismo
valor a para cualquier elemento del dominio (variable independiente x).

En trminos matemticos, la funcin f es constante si para cualquier

par de puntos x1 y x2 del dominio tales que x1<x2, se cumple
que f(x1) = f(x2).

La grfica de una funcin constante es

una recta paralela al eje de abscisas X.

Tambin se puede definir una funcin

constante a partir de la derivada.
Una funcin f ser constante si para todo
punto x del dominio la derivada es nula, es
decir f (x) = 0.

La derivada de la funcin constante es 0 porque no depende del valor de

la variable independiente x.

p g. 17
Ejemplo:

Sea la funcin f definida como:

Estudiar si
la funcin f es constante en
el intervalo [2,4].

En el intervalo [2,4] f est definida como f(x)=1, cuya derivada es

nula: f(x)=0.

FUNCIN IDENTIDAD:
Una funcin identidad es una funcin tal que la imagen de cualquier
elemento es ste mismo:

La funcin identidad es una funcin

lineal de pendiente m = 1 que pasa
por el origen de coordenadas, es
decir, por el punto (0,0). Divide el
primer y el tercer cuadrante en partes
iguales, o sea, es su bisectriz.

La pendiente es la inclinacin con

respecto al eje X (eje de abscisas). Al
ser sta positiva (m > 0), la funcin es creciente.

Que la pendiente de la funcin identidad sea m = 1 significa que si

aumentamos la x en una unidad, la y tambin aumenta en una unidad.

Formar un ngulo de 45 con

x x
cualquiera de los ejes.
-4 -4 = -4
FUNCIN PISO: -3.5 -3.5 = -4
-0.5 -0.5 = -1
0 0 = 0
0.5 0.5 = 0
1.375 1.375 = 1
22.2 22.2 = 22 p g. 18
1394.7 1394.75 = 1394
5
Es una funcin que vuelve el nmero entero ms grande
inferior o igual la discusin. Se denota la funcin piso x].

FUNCIN TECHO:
En matemtica, las funciones de parte entera son aquellas
funciones:

F= RZ

Que toma un numero real y devuelven un

numero entero mayor o menor a ese
nmero. Las funciones ms conocidas son
la funcin piso y funcin techo.

La funcin techo se aplica a un nmero

real x y devuelve el mnimo nmero
entero k no inferior a x:

FUNCIN INYECTIVA:

p g. 19
La funcin f es inyectiva si cada elemento del conjunto final Y tiene
como mximo un elemento del conjunto inicial X al que le corresponde.
Es decir, no pueden haber ms de un valor de X que tenga la
misma imagen y.

En trminos matemticos,
una funcin f es inyectiva si:

Ejemplo de funcin inyectiva

La funcin f(x) = 2x+1 es inyectiva.

Veamos que se cumple la condicin de inyectividad:

p g. 20
En efecto, si x y y tienen la misma imagen, necesariamente deben ser el
mismo elemento. Por lo tanto, f es inyectiva.

FUNCIN SOBREYECTIVA :
Una funcin f es sobreyectiva (o suprayectiva) si todo elemento del
conjunto final Y tiene al menos un elemento del conjunto inicial X al que
le corresponde.

Es decir, una funcin

es sobreyectiva si
el recorrido de la funcin es
el conjunto final Y.

En trminos matemticos,
una funcin f es sobreyectiv
a si:

Ejemplo de funcin sobreyectiva

La funcin en los nmeros reales definida por f(x) = x+1

es sobreyectiva.

Esta funcin si que es sobreyectiva.

Vamos a verlo demostrando que
el recorrido de la funcin son todos los
nmeros reales.

p g. 21
El recorrido de la funcin es el mismo que el conjunto final Y, por lo que
la f es sobreyectiva.

FUNCIN BIYECTIVA :
Una funcin f es biyectiva si es al mismo
tiempo inyectiva y sobreyectiva. Es decir, si todo elemento del conjunto
final Y tiene un nico elemento del conjunto inicial X al que le
corresponde (condicin de funcin sobreyectiva) y todos los elementos
del conjunto inicial X tiene una nica imagen en el conjunto
final Y (condicin de funcin inyectiva).

Tericamente, una funcin f es biyectiva si:

p g. 22
Las tablas de verdad son parte de la lgica proposicional que consiste
en convertir un lenguaje natural a uno simblico o matemtico.

Una de sus funciones es encargarse de demostrar la validez de un

argumento, por medio de la relacin que se establece entre las
proposiciones.

Para la demostracin de la validez se utiliza el clculo proposicional, que

es la simbolizacin de proposiciones simples o compuestas y que siguen
determinadas reglas.

El clculo proposicional se construye ms formalizado, donde las

proposiciones se convierten en signos que se enlazan entre s, siguiendo
reglas que las convierten en un proceso de clculo.

Para ello necesitamos conocer los elementos que conforman a la

utilizacin de la lgica proposicional. Toda proposicin es una frase
declarativa o un juicio en lenguaje natural, que podemos verificar si es
verdadero o falso. Aplicando los principios lgicos recuerda que una
proposicin no puede ser verdadera y falsa al mismo tiempo. Esto nos da
a entender que dado un enunciado tenemos que descifrar si es simple o
compuesto. La respuesta a esto es el uso de Conectivas Lgicas.

p g. 23
Las Conectivas Lgicas son los trminos que por s solos no dicen nada,
pero sirven para conectar una proposicin simple con otra.

CONECTIVAS LGICAS

Nombre Lenguaje Lenguaje Ejemplos

natural Proposicional
Negacin No Los Arboles no
No es verdad crecen en el
que desierto p
No es cierto que
Conjuncin Y Es verano y
llueve
pq
Disyuncin O Vamos al
parque o al
centro
comercial p q
Condicional Si Entonces Si llueve
entonces crece
la cosecha p
q
Bicondicional Si y solo si Apruebo mis
materias si y
solo si estudio
todo el
semestre p q

Para la utilizacin de la lgica proposicional y comodidad de

entendimiento remplazamos el contenido de las proposiciones por
variables, siendo las letras minsculas del abecedario y partiendo por la
p, s, t, etc. las utilizadas para el entendimiento del enunciado.

Tambin es necesario el uso de llaves, corchetes y parntesis, para

reflejar la jerarqua de las conectivas en las proposiciones compuestas.

Ahora ya explicados los elementos de una tabla de verdad

procederemos a enunciarlas.

Negacin ( p )
V F
F V

p g. 24
La negacin habla de que si un enunciado es verdadero, el valor al ser
negado se invierte, es decir, pasa a ser falso. Ejemplo. El perro es de
color caf (p) El perro no es de color caf (p).

Conjuncin ( p q )
p q pq
V V V
V F F
F V F
F F F
La conjuncin es verdadera cuando las dos variantes son verdaderas.
Ejemplo. Necesito un 9 y un 8 para pasar (p q). El enunciado implica
que si no saco un 9 no paso, si no saco un 8, tampoco paso, y si no saco
ninguna de esas calificaciones, tampoco paso.

Disyuncin ( p q )
p q pq
V V V
V F V
F V V
F F F

La disyuncin es falsa si sus dos variantes son falsas. El uso de este

conector habla de que si se cumple al menos una de las condiciones o
las dos, el resultado seguir siendo verdadero.

Condicional ( p q )
p q pq
V V V
V F F
F V V
F F V

p g. 25
Solo es falsa cuando la primera variante (antecedente) es verdadera y la
segunda (consecuente) es falsa. Un ejemplo de este conector es el
siguiente, Si apruebo todas mis materias, entonces me voy de
vacaciones a la playa.

Bicondicional ( p q )
p q pq
V V V
V F F
F V F
F F F

Es verdadera si sus dos variantes son verdaderos o falsos. Un ejemplo

es, Aprobare el examen si y solo si estudio todos los das.

Desarrollo en la Resolucin de la Tabla de Verdad.

Escribir valores de p, q, iniciando con verdadero.

Localizamos la(s) conectiva(s) que tiene(n) menor jerarqua,

y le colocamos el nmero uno.

Localizamos la conectiva que tiene mayor jerarqua y le

colocamos el siguiente nmero.

Observa que tenemos formados, Binomios.

1 2 1
p q (p q) (p q)
V V V V V
V F V F F
F V V F F
F F F V F

p g. 26
Desarrollo de Tabla de Verdad con tres variables.

2 4 3 5 2 4 1 3 1
p q r [(p q) (p q)] [(q r) (
p q)]
V V V V V V V V V F V F
V V F V F F F V V F V F
V F V F F V F V V F V V
V F F F F F V F F F V V
F V V V F F V V F V F F
F V F V V V F V F V F F
F F V V F F F V V V V V
F F F V V V F F F V V V

A. Escribir los valores de p, q, r, recuerda siempre iniciamos con

verdadero.

Recuerda observar siempre la formacin de binomios.

B. En este caso localizamos la(s) conectiva(s) que tiene(n)

menor jerarqua, y estn dentro de parntesis, le colocamos el
nmero uno y continuamos con los nmeros consecutivos.

C. Localizamos la conectiva que tiene mayor jerarqua y est

fuera del parntesis, pero dentro del corchete, y le colocamos el
siguiente nmero.

D. Empezamos a resolver los nmeros uno, dos, tres, etc., el

resultado de esta tabla ser el nmero cinco, guate por los
nmeros y las lneas que unen los binomios y su resultado.

p g. 27
Ejercicio: resuelve lo siguiente

p g. 28
Conversin de nmeros decimales a binario, octal, y hexadecimal.

1810/2 = 905, el residuo es 0

905/2 = 452, el residuo es 1 BINARIO :
1110001001
452/2 = 226, el residuo es 0
226/2 = 113, el residuo es 0 OCTAL:
3422
113/2 = 56, el residuo es 1
56 /2 = 28, el residuo es 0 HEXADECIMAL:
712
28 /2 = 14, el residuo es 0
14 /2 = 7, el residuo es 0
7/2 = 3, el residuo es 1
3/2 = 1, el residuo es 1
1/2 = 0, el residuo es 1

1325/2 = 662, el residuo es 1

662/2 = 331, el residuo es 0
331/2 = 165, el residuo es 1 BINARIO:
165/2 = 82, el residuo es 1
1010010110
82/2 = 41, el residuo es 0 OCTAL:
41/2 = 20, el residuo es 1
2455
20/2 = 10, el residuo es 0 HEXADECIMAL:
52D
10/2 = 5, el residuo es 0
5/2 = 2, el residuo es 1
2/2 = 1, el residuo es 0
1/2 = 0, el residuo es 1

2017/2 = 1008, el residuo es 1

1008/2 = 504, el residuo es 0
504/2 = 252, el residuo es 0 1111110000
BINARIO:
252/2 = 126, el residuo es 0
126/2 = 63, el residuo es 0 3741
OCTAL:
63/2 = 31, el residuo es 1
31/2 = 15, el residuo es 1 7E1
HEXADECIMAL:
15/2 = 7, el residuo es 1
7/2 = 3, el residuo es 1
3/2 = 1, el residuo es 1
1/2 = 0, el residuo es 1

p g. 29
1521/2 = 760, el residuo es 1
760/2 = 380, el residuo es 0
380/2 = 190, el residuo es 0 1111110000
BINARIO:
190/2 = 95, el residuo es 0
95/2 = 47, el residuo es 1 OCTAL:
3741
47/2 = 23, el residuo es 1
23/2 = 11, el residuo es 1 7E1
HEXADECIMAL:
11/2 = 5, el residuo es 1
5/2 = 2, el residuo es 1
2/2 = 1, el residuo es 0
1/2 = 0, el residuo es 1

1910/2 = 955, resto es 0

955/2 = 477, el resto es 1
477/2 = 238, el resto es 1
1110111011
BINARIO:
238/2 = 119, el resto es 0
119/2 = 59, el resto es OCTAL: 1 3566
59/2 = 29, el resto es 1
29/2 = 14, el resto es HEXADECIMAL: 1 776
14/2 = 7, el resto es 0
7/2 = 3, el resto es 1
3/2 = 1, el resto es 1
1/2 = 0, el resto es 1

1824/2 = 912, resto es 0

912/2 = 456, el resto es 0
456/2 = 228, el resto es 0
228/2 = 114, el resto es BINARIO: 1110010000
0
114/2 = 57, resto es 0
OCTAL: 3440
57/2 = 28, el resto es 1
28/2 = 14, resto es 0 720
14/2 = 7, el resto es 0 HEXADECIMAL:
7/2 = 3, el resto es 1
3/2 = 1, el resto es 1
1/2 = 0, el resto es 1

1827/2 = 913, el resto es 1

913/2 = 456, el resto es 1
456/2 = 228, el resto es BINARIO: 01110010001
228/2 = 114, el resto es 0
OCTAL: 3443

HEXADECIMAL: p g. 30
114/2 = 57, resto es 0
57/2 = 28, el resto es 1
723
28/2 = 14, resto es 0
14/2 = 7, el resto es 0
7/2 = 3, el resto es 1
3/2 = 1, el resto es 1
1/2 = 0, el resto es 1

1527/2 = 763, el resto es 1

763/2 = 381, el resto es BINARIO: 1
1011111011
381/2 = 190, el resto es 1
2767
190/2 = 95, resto es 0 OCTAL:
95/2 = 47, el resto es 1
5F7
47/2 = 23, el resto es HEXADECIMAL: 1
23/2 = 11, el resto es 1
11/2 = 5, el resto es 1
5/2 = 2, el resto es 1
2/2 = 1, el resto es 0
1/2 = 0, el resto es 1

p g. 31
*
SEGUNDO
PARCIAL*

p g. 32
En matemticas, el producto cartesiano de dos conjuntos es
una operacin, que resulta en otro conjunto, cuyos elementos son todos
los pares ordenados que pueden formarse de forma que el primer
elemento del par ordenado pertenezca al primer conjunto y el segundo
elemento pertenezca al segundo conjunto.

Ejemplo, dados los conjuntos:

A = {1, 2, 3,4} y B = {a, b}

Su producto cartesiano es:

Que se representa:

Un par ordenado es una coleccin de dos objetos distinguidos

como primero y segundo, y se denota como (a, b), donde a es el primer
elemento y b el segundo elemento. Dados dos conjuntos A y B, su

p g. 33
producto cartesiano es el conjunto de todos los pares ordenados que
pueden formarse con estos dos conjuntos:

Punto Cartesiano

Puede definirse entonces el cuadrado cartesiano de un conjunto

como A2 = A A.

Ejemplo

Sean los conjuntos T de tubos de pintura, y P de pinceles:

El producto cartesiano de estos dos conjuntos, T P, contiene todos los

posibles emparejamientos de pinceles y tubos de pintura. De manera
similar al caso de un plano cartesiano en el ejemplo anterior, este
conjunto puede representarse mediante una tabla:

p g. 34
Cardinalidad
Dado A un conjunto, se define la cardinalidad de A, y se denota |A|,
como la cantidad de elementos que pertenecen a A.

Ejemplo

Ejercicio: Aplicacin de cardinalidad de conjuntos

Se encuest a 100 personas sobre sus preferencias en relacin a dos
programas (no excluyentes) municipales contra la delincuencia. Los
programas recibieron los nombres A y B
Los resultados fueron los siguientes:

65 no prefieren el programa A

45 no prefieren el programa B

50 prefieren los programas A o B, pero no ambos

Se pide determinar el nmero de encuestados que prefieren ambos

programas.

Solucin: Usamos el siguiente Diagrama de Venn:

p g. 35
Segn los datos, podemos armar las siguientes ecuaciones:

Al resolver el sistema, los valores son los siguientes:

Luego, el nmero de encuestados que prefieren ambos programas es 20.

Particin de un conjunto

Una particin de un conjunto es una divisin del mismo en trozos

separados y no vacos. Esta divisin se representa mediante una
coleccin o familia de subconjuntos de dicho conjunto que lo recubren.

p g. 36
El concepto de particin es equivalente al de relacin de equivalencia:
toda relacin de equivalencia sobre un conjunto A define una particin
de A, y viceversa. Cada elemento de la particin corresponde a
una clase de equivalencia de la relacin.

Ejemplos

Dado un conjunto no vaco X arbitrario, la familia P = {X} es una

particin de X.

Un conjunto con un slo elemento {x} tiene como nica particin

a P = { {x} }.

El conjunto {1, 2, 3} tiene exactamente 5 particiones:

{ {1}, {2}, {3} }

{ {1, 2}, {3} }

{ {1, 3}, {2} }

{ {1}, {2, 3} }

{ {1, 2, 3} }

Relaciones
Dados dos conjuntos A y B una relacin es un subconjunto del producto
cartesiano A x B.
Un elemento a, que pertenece al conjunto A, est relacionado con un
elemento b, que pertenece al conjunto B, si el par (a, b) pertenece a un
subconjunto G (llamado grafo) del producto cartesiano A x B.

Ejemplo: Sean A = {a, b, c} y B = {1, 2} dos conjuntos.

El producto cartesiano A x B = {(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)}.
Una relacin sera R = {(a, 1), (c, 2)}.

A las relaciones tambin se les llama correspondencias.

p g. 37
Induccin Matemtica

En matemticas, la induccin es un razonamiento que

permite demostrar proposiciones que dependen de una variable n que
toma una infinidad de valores enteros. En trminos simples, la induccin
matemtica consiste en el siguiente razonamiento:
El nmero entero a tiene la propiedad P El hecho de que cualquier
nmero entero n tambin tenga la
propiedad P implica que n+1 tambin la tiene.
Entonces todos los nmeros enteros a partir de a tienen la propiedad P.

Tcnicas de Conteo
El principio fundamental en el proceso de contar ofrece un mtodo
general para contar el nmero de posibles arreglos de objetos dentro de
un solo conjunto o entre carios conjuntos. Las tcnicas de conteo son
aquellas que son usadas para enumerar eventos difciles de cuantificar.

Si un evento A puede ocurrir de n1 maneras y una vez que este ha

ocurrido, otro evento B puede n2 maneras diferentes entonces, el
nmero total de formas diferentes en que ambos eventos pueden ocurrir
en el orden indicado, es igual a n1 x n2.

Ejemplo:

De cuntas maneras pueden repartirse 3 premios a un conjunto de 10

personas, suponiendo que cada persona no puede obtener ms de un
premio?

Aplicando el principio fundamental del conteo, tenemos 10 personas que

pueden recibir el primer premio. Una vez que ste ha sido entregado,

p g. 38
restan 9 personas para recibir el segundo, y posteriormente quedarn 8
personas para el tercer premio. De ah que el nmero de maneras
distintas de repartir los tres premios.

n
10 x 9 x 8 = 720

Para facilitar el conteo utilizamos las siguientes tcnicas

La tcnica de la multiplicacin
La tcnica aditiva
La tcnica de la suma o Adicin
La tcnica de la permutacin
La tcnica de la combinacin.

Principios Bsicos de Conteo

Principio de la multiplicacin
Si se desea realizar una actividad que consta de r pasos, en donde el
primer paso de la actividad a realizar puede ser llevado a cabo de N1
maneras o formas, el segundo paso de N 2 maneras o formas y el r-simo
paso de Nr maneras o formas, entonces esta actividad puede ser llevada
a efecto de.
El principio multiplicativo implica que cada uno de los pasos de la
actividad debe ser llevado a efecto, uno tras otro. Si un evento E1 puede
suceder de n1 maneras diferentes, el evento E2 puede ocurrir de n2
maneras diferentes, y as sucesivamente hasta el evento Ep el cual
puede ocurrir de np maneras diferentes, entonces el total de maneras
distintas en que puede suceder el evento ocurren E1 y E2..y Ep es
igual a producto.

N1 x N2 x..........x Nr maneras o formas

Ejemplo:

Se dispone de 3 vas para viajar de C1 a C2 y de 4 vas para viajar de

C2 a C1. De cuntas formas se puede organizar el viaje de ida y vuelta
de C1 a C2?

p g. 39
 Solucin: (3) (4)=12

Principio aditivo.

Si se desea llevar a efecto una actividad, la cual tiene formas

alternativas para ser realizada, donde la primera de esas alternativas
puede ser realizada de M maneras o formas, la segunda alternativa
puede realizarse de N maneras o formas..... Y la ltima de las
alternativas puede ser realizada de W maneras o formas, entonces esa
actividad puede ser llevada a cabo de:

M + N +.........+ W maneras o formas

Ejemplos:

1) Una persona desea comprar una lavadora de ropa, para lo cual ha

pensado que puede seleccionar de entre las marcas Whirpool, Easy y
General Electric, cuando acude a hacer la compra se encuentra que la
lavadora de la marca W se presenta en dos tipos de carga ( 8 u 11
kilogramos), en cuatro colores diferentes y puede ser automtica o
semiautomtica, mientras que la lavadora de la marca E, se presenta en
tres tipos de carga (8, 11 o 15 kilogramos), en dos colores diferentes y
puede ser automtica o semiautomtica y la lavadora de la marca GE, se
presenta en solo un tipo de carga, que es de 11 kilogramos, dos colores
diferentes y solo hay semiautomtica. Cuntas maneras tiene esta
persona de comprar una lavadora?

Solucin:

M = Nmero de maneras de seleccionar una lavadora Whirpool

N = Nmero de maneras de seleccionar una lavadora de la marca Easy
W = Nmero de maneras de seleccionar una lavadora de la marca
General Electric

M = 2 x 4 x 2 = 16 maneras

N = 3 x 2 x 2 = 12 maneras

W = 1 x 2 x 1 = 2 maneras

p g. 40
M + N + W = 16 + 12 + 2 = 30 maneras de seleccionar una lavadora

Principio de la suma o adiccin

Si una primera operacin puede realizarse de m maneras y una segunda

operacin de n maneras, entonces una operacin o la otra pueden
efectuarse de:

m+n maneras.

Ejemplo:

1) Una pareja que se tiene que casar, junta dinero para el enganche
de su casa, en el fraccionamiento lomas de la presa le ofrecen un
modelo econmico o un condominio, en el fraccionamiento Playas
le ofrecen un modelo econmico como modelos un residencial, un
californiano y un provenzal. Cuntas alternativas diferentes de
vivienda le ofrecen a la pareja?

PRESA PLAYAS

Econmico Residencial
Condominio Californiano
Provenzal
m=2 n=3

2+3= 5 maneras

Principio de permutacin

A diferencia de la frmula de la multiplicacin, se la utiliza para

determinar el nmero de posibles arreglos cuando solo hay un solo
grupo de objetos. Permutacin: un arreglos o posicin de r objetos
seleccionados de un solo grupo de n objetos posibles. Si nos damos
cuenta los arreglos a, b, c y b, a, c son permutaciones diferentes, la
frmula que se utiliza para contar el nmero total de permutaciones
distintas es:

p g. 41
 FRMULA: n P r = n! (n - r)

Ejemplo:

Cmo se puede designar los cuatro primeros lugares de un concurso,

donde existen 15 participantes?

Solucin: Aplicando la frmula de la permutacin tenemos:

n P r = n! (n - r)! = 15! = 15*14*13*12 *11*10*9*8*7*6*5*4*3*2*1 (15-

4)! 11*10*9*8*7*6*5*4*3*2*1 = 32760

Dnde: n= nmero total de objetos r= nmero de objetos seleccionados!

= factorial, producto de los nmeros naturales entre 1 y n.

NOTA: se puede cancelar nmeros cuando se tiene las mismas cifras en

numerador y denominador. !

Principio de combinacin

En una permutacin, el orden de los objetos de cada posible resultado es

diferente. Si el orden de los objetos no es importante, cada uno de estos
resultados se denomina combinacin.

Por ejemplo, si se quiere formar un equipo de trabajo formado por 2

personas seleccionadas de un grupo de tres (A, B y C). Si en el equipo
hay dos funciones diferentes, entonces s importa el orden, los
resultados sern permutaciones. Por el contrario si en el equipo no hay
funciones definidas, entonces no importa el orden y los resultados sern
combinaciones. Los resultados en ambos casos son los siguientes:

Permutaciones: AB, AC, BA, CA, BC, CB

Combinaciones: AB, AC, BC

Combinaciones: Es el nmero de formas de seleccionar r objetos de un

grupo de n objetos sin importar el orden.

La frmula de combinaciones es:

p g. 42
 n C r = n! r! (n r)!

Ejemplo:
En una compaa se quiere establecer un cdigo de colores para
identificar cada una de las 42 partes de un producto. Se quiere marcar
con 3 colores de un total de 7 cada una de las partes, de tal suerte que
cada una tenga una combinacin de 3 colores diferentes. Ser
adecuado este cdigo de colores para identificar las 42 partes del
producto?

Usando la frmula de combinaciones:

n C r = n! = 7! = 7! = 35
r! (n r )! 3! (7 3)! 3! 4!

El tomar tres colores de 7 posibles no es suficiente para identificar las 42

partes del producto.

PERMUTACIONES

Permutaciones simples

En esta permutacin se reduce el nmero de opciones en cada paso.

Si se hiciera una eleccin ente un grupo de bolas de billar tu primera

eleccin tiene 16 posibilidades, y tu siguiente eleccin tiene 15
posibilidades, despus 14, 13, etc. Y el total de permutaciones ser:

16 15 14 13 ... = 20,922,789,888,000

Pero a lo mejor no quieres elegirlas todas, solo 3 de ellas, as que ser

solamente:
16 15 14 = 3360

Es decir, hay 3,360 maneras diferentes de elegir 3 bolas de billar de

entre 16.
Pero como lo escribimos matemticamente? Respuesta:
La funcin factorial (simbolo: !) significa que se multiplican nmeros
descendentes.

Asi que si quieres elegir todas las bolas de billar las permutaciones
serian:

p g. 43
 16! = 20,922,789,888,000

Pero si solo quieres elegir 3, tienes que dejar de multiplicar despus de

14. Como lo escribimos? Hay un buen truco... dividimos entre 13!...
Lo ves? 16! / 13! = 16 15 14

Ejemplos:
Nuestro "ejemplo de elegir en orden 3 bolas de 16" ser:

16! 16! 20,922,789,888,000

= = = 3360
(16-3)! 13! 6,227,020,800

Notacin
En lugar de escribir toda la formula, la gente usa otras notaciones como:

PERMUTACIONES CON REPETICION DE m ELEMENTOS.

Permutaciones con repeticin de m elementos donde el primer elemento

se repite a veces, el segundo b veces , el tercero c veces, ...(m = a + b
+ c + ... = n) son los distintos grupos que pueden formarse con esos m
elementos de forma que :
Si entran todos los elementos.
Si importa el orden.
Si se repiten los elementos.

EJEMPLO:
Con las cifras 2, 2, 2, 3, 3, 3, 3, 4, 4; cuantos nmeros de nueve cifras se
pueden formar?
m=9 a=3 b=4 c=2 a+b+c=9
Si entran todos los elementos.
Si importa el orden.
Si se repiten los elementos.

p g. 44
Muestra

El uso de muestras para deducir fiablemente caractersticas de la

poblacin requiere que se trate con muestras aleatorias. Si la muestra
estadstica considerada no constituye una muestra aleatoria las
conclusiones basadas en dicha muestra no son fiables y en general
estarn sesgadas en algn aspecto.
En trminos matemticos, dada una variable aleatoria X con
una distribucin de probabilidad F, una muestra aleatoria de
tamao N es un conjunto finito de N variables independientes, con la
misma distribucin de probabilidad F.1
Otra forma ms intuitiva, de entender una muestra es considerar que
una muestra es una sucesin de N experimentos independientes de una
misma cantidad. Es importante diferenciar una muestra de tamao N, o
ms exactamente un muestreo de tamao N, del resultado concreto de
los N experimentos (que como conjunto de valores fijos, en s mismo, no
es una muestra). El concepto de muestra incluye de alguna manera el
procedimiento escogido para obtener los datos (es decir, si las variables
aleatorias consideradas son independientes entre s, y si tienen la
misma distribucin).
En general, resulta muy fcil comprobar si una determinada muestra es
o no aleatoria, cosa que slo puede hacerse considerando otro tipo de
muestreos aleatorios robustos que permitan decir si la primera muestra
era aleatoria o no

Muestreo
En la referencia estadstica se conoce como muestreo a la tcnica para
la seleccin de una muestra a partir de una poblacin estadstica.1
Al elegir una muestra aleatoria se espera conseguir que sus propiedades
sean extrapolables a la poblacin. Este proceso permite ahorrar
recursos, y a la vez obtener resultados parecidos a los que se
alcanzaran si se realizase un estudio de toda la poblacin. En las
investigaciones llevadas por empresarios y de la medicina se usa
muestreo extensivamente en recoger informacin sobre poblaciones.2
Cabe mencionar que para que el muestreo sea vlido y se pueda realizar
un estudio adecuado (que consienta no solo hacer estimaciones de la
poblacin sino estimar tambin los mrgenes de error correspondientes
a dichas estimaciones), debe cumplir ciertos requisitos. Nunca podremos
estar enteramente seguros de que el resultado sea una muestra
representativa, pero s podemos actuar de manera que esta condicin se
alcance con una probabilidad alta.

p g. 45
En el muestreo, si el tamao de la muestra es ms pequeo que el
tamao de la poblacin, se puede extraer dos o ms muestras de la
misma poblacin. Al conjunto de muestras que se pueden obtener de la
poblacin se denomina espacio muestral. La variable que asocia a cada
muestra su probabilidad de extraccin, sigue la llamada distribucin
muestral.

COMBINACIONES

COMBINACIONES DE m ELEMENTOS TOMADOS

DE n EN n.

Se llaman combinaciones de m elementos tomados de n en n (m - n) a

todas las agrupaciones posibles que pueden hacerse con los m
elementos de forma que:
No entran todos los elementos.
No importa el orden.
No se repiten los elementos.

Tambin podemos calcular las combinaciones mediante factoriales:

Las combinaciones se denotan por

EJEMPLO:

En una clase de 35 alumnos se quiere elegir un comit formado por tres

alumnos. Cuantos comits diferentes se pueden formar?

p g. 46
No entran todos los elementos.
No importa el orden: Juan, Ana.
No se repiten los elementos.

El principio del palomar

Muchos resultados de la teora combinatoria provienen de la siguiente

proposicin casi evidente.

Principio del palomar: Si n casillas en el palomar las ocupan n + 1

palomas, entonces por lo menos una casilla est ocupada por ms de
una paloma.

Ejemplos:

a) Suponga que en un rea escolar hay 13 profesores y dos de ellos

(palomas) nacieron el mismo mes (casillas).

b) Encuentre el nmero mnimo de elementos que es necesario

tomar del conjunto S= {1, 2, 3,, 9} para tener la certeza de que
la suma de dos nmeros es 10.
Aqu las casillas son los cinco conjuntos: {1,9}, {2,8}, {3,7}, {4,6},
{5}. Por tanto cualquier eleccin de seis elementos (palomas) de S
garantiza que la suma de dos nmeros es 10.

Entonces, el principio del palomar se generaliza como sigue.

Principio del palomar generalizado: Si n casillas estn ocupadas por kn +

1 o ms palomas, donde k es un entero positivo, entonces por lo menos
una casilla est ocupada por k + 1 o ms palomas.

p g. 47
Ejemplos:

c) Encuentre el nmero mnimo de estudiantes en un curso para

asegurar que tres de ellos nacieron el mismo mes.
Aqu n = 12 meses son las casillas y k + 1 = 3, de modo que k = 2.
Entonces, entre kn + 1 = 25 estudiantes (palomas) cualesquiera, tres de
ellos nacieron el mismo mes.

Factorial y Coeficiente Binomial

A continuacin se analizan dos funciones matemticas importantes por
su uso continuo en teora combinatoria.

Funcin factorial

El producto de los enteros positivos desde 1 hasta n, incluso, se denota

por n! y se lee n factorial. A saber:

n !=12 3 ( n2 )( n1 ) n=n ( n1 )( n2 ) 3 21

En consecuencia 1! = 1 y n! = n(n - 1)! Tambin es conveniente definir

0! = 1.

Ejemplos

a) 3! = 3 2 1 = 6; 4! = 4 3 2 1 = 24; 5! = 5 4! =
5(24) = 120
12 11 10 1211 10 9 ! 12 !
b) = = , y en forma ms general,
3 21 3 2 19 ! 3!9!

n ( n1 ) (nr +1) n ( n1 ) ( nr +1 )( nr ) ! n!
= =
r ( r 1 ) 3 2 1 r ( r1 ) 3 21 ( nr ) ! r ! ( nr ) !

c) Para n ms grande, se aplica la aproximacin de Stirling

(donde e = 2.7128):

n != 2 n nn en

Coeficientes binomiales

p g. 48
El smbolo (nr) , que se lee nCr o de n elementos se eligen r, donde

r y n son enteros positivos con r <= n, se define como sigue:

n = n ( n1 ) (nr+ 1) o en forma equivalente n = n!

() r r ( r1 ) 3 21 ()
r r ! ( nr ) !

Un grafo G consta de dos partes:

Un conjunto V = V(G) cuyos elementos se denominan vrtices,

puntos o nodos de G.

Un conjunto E = E(G) de pares no ordenados de vrtices distintos

denominados aristas de G.
Cuando se desea recalcar las dos partes de un grafo G, grafo se denota
G(V, E).

Los vrtices u y v de un adyacentes o vecinos si hay una arista e = {u,

v}. En este caso, u y v se denominan extremos de u y v. los grafos se
representan mediante diagramas en el plano de forma natural.
Especficamente, cada vrtice v en V se representa por un punto (o un
circulo pequeo), y cada arista e = {v1, v2} se representa por una curva
que une sus puntos extremos v1 y v2. Por ejemplo, la figura representa el
grafo G(V, E), donde:

V consta de los vrtices A, B, C, D.

E consta de las aristas e1 = {A, B}, e2 = {B, C}, e3 = {C, D}, e4 =

{A, C},

e5 = {B, D},

De hecho, un grafo suele denotarse al trazar su diagrama en lugar de

enumerar explcitamente sus vrtices y aristas. e1 D
A D A
e4
e5 e2 e3

e1 e3

e4
C e5 C p g. 49
e2

Grafo Multgrafo
Considere el diagrama de la figura b). Las aristas e4 y e5 se denominan
aristas mltiples puesto que unen los mismos puntos extremos, y la
arista e6 se denomina lazo porque sus extremos tienen el mismo vrtice.
Este diagrama se denomina multgrafo; la definicin formal de grafo no
permite aristas mltiples ni lazos. Por tanto, un grafo se define como un
multgrafo sin aristas mltiples ni lazos.

Subgrafos

Considere un grafo G = G(V, E). Un grafo H = H(V, E) se denomina

subgrafo de G si los vrtices y las aristas de H estn contenidas en los
vrtices y en las aristas de G; es decir, si V V y E E. en particular:

Un subgrafo H(V, E) de G(V, E) se denomina subfrafo inducido por

sus vrtices V si su conjunto de aristas E contiene todas las
aristas en G cuyos puntos extremos pertenecen a los vrtices H.

Si v es un vrtice en G, entonces G v es el subgrafo de G

obtenida al eliminar v de G y al eliminar todas las aristas en G que
contienen a v.

Si e es una arista en G, entonces G e es el subgrafo de G

obtenida al eliminar v de G y al eliminar todas las aristas en G que
contienen a v.

Si e es una arista en G, entonces G e es el subgrafo de G

obtenido al eliminar la arista e de G. Grafos isomorfos.

Subgrafo
G=G ( V , E ) De un grafo H=H ( V ' , E ' ) subgrafo de h si los vrtices
y artistas de h estn contenidas en los vrtices. A

Isomorfo F

p g. 50M

R
 VE
Se dice que los grafos G=( V , E ) y son isomorfos si existe una
G
correspondencia uno a uno tal que { u , v } es una arista en h SI Y SOLO
SI { f ( u ) , f ( v ) } es una arista de G*

-Normalmente se establece ninguna diferencia entre grafos isomorfos.

Homeomorfos
Dado cualquier grafo h, es posible obtener un nuevo grafo al dividir una
arista e G con vrtices adicionales.

Dos grafos GyG* son homeomorfos si es posible obtenerlos a partir del

mismo grafo o grafos isomorfos al aplicar este mtodo.

Homeomorfo

Isomorfo

x
x x

1. En las siguientes graficas especifica el conjunto de vrtices y de

las vrtices/artistas (v(G), A(G)) el grado de cada vrtice.

D G
5 I? v(G)= grad(D)=4
1 C
3 4
A I? E(G)= grad(e)=1
E 6
2
F grad(A)=2 grad(F)=3
B 7

grad(B)=4 grad(G)=3

grad(c)=1 grad(T)=18

I? v(H)=
1 9 grad(e)=e
I? E(H)=
grad(f)=4
2 4 6 7 grad(A)=3
grad(g)=22
grad(B)=4
p g. 51
grad(c)=5
A C E

B D F
3 8

Camino y conectividad

Componentes conexos

Distancia y dimetro

Puntos de corte y puentes

Recorridos y grafos eulerianos

Euleriano pero no hamiltoniana

Es un multigrafo G que consta de una secuencia alternada de vertices y

aristas de la forma Vo , e 1, V 1, e 2 en2, en ,Vn
C
Donde cada arista
O Vi=1 n longitud del numero
de aristas/camino.
N
ei V1
Cuando no hay
T
ambigedad un camino
I se denota por su
secuencia de vrtices
E
(V 0,V 1, Vn)
N

E
Canino cerrado

p g. 52
Si Vo=Vn en otro caso es de Vo a Vn.

Camino
Sea G= (V, A) un grafo no dirigido, para x, y V se dice que hay un
camino en G de x a y si existe una sucesin no vaca y finita de aristas
distintas de A como: {x, x1}, {x1, x2},, {xn, y}.
Cuando x=y el camino se denomina ciclo. El nmero de aristas de un
camino (ciclo) se denomina longitud de camino (ciclo). Un camino es
simple si slo pasa una sola vez por cada nodo. Todos estos conceptos
se ilustran en la figura.

Camino simple
Es un camino en que todas sus vrtices son diferentes (no repite
vrtices) de cualquier longitud de un vrtice a s mismo. S el ciclo es de
longitud 1, entonces se denomina bucle o lazo.

A B

D
C

E p g. 53
Recorrido: Camino dnde TODOS los aristas son
distintas
Los grafos se pueden recorrer de 2 formas:
Por profundidad y Amplitud o Anchura.
Recorridos de Grafos
En muchas aplicaciones es necesario visitar todos los vrtices del grafo
a partir de un nodo dado. Algunas aplicaciones son:
Encontrar ciclos
Encontrar componentes conexas
Encontrar rboles cobertores
Hay dos enfoque bsicos:
Recorrido (o bsqueda) en profundidad (depth-first search):
La idea es alejarse lo ms posible del nodo inicial (sin repetir
nodos), luego devolverse un paso e intentar lo mismo por otro
camino.

Recorrido (o bsqueda) en amplitud (breadth-first search):

Se visita a todos los vecinos directos del nodo inicial, luego a los

p g. 54
 vecinos de los vecinos, etc.

Ejemplo:
Considere el grafo G P2 P3
P1

P6
P5
P4

A={P4,P1,P2,P5,P1,P2,P3,P6} Camino de P4 a P6 - No es
recorrido debido a la arista {P1,P2} que se usa dos veces

B={P4,P1,P5,P2,P6} Falta P2 a P6, No es camino

C={P4,P1,P5,P2,P3,P5,P6} Recorrido

D={P4,P1,P5,P3,P6}

p g. 55
 NOTA: S se eliminan aristas innecesarias No es difcil ver que
cualquier camino desde un vrtice u hasta un vrtice v puede sustituirse
por un camino simple de u a v.

Teorema
Hay un camino de un vertice "u"a un vertice "v"

S y slo s existe un camino simple de U a V.

Conectividad

Componentes Conexos

Grafo G es conexo s existe un camino entre dos de sus vertices

C
B

E F

D NO es conexo

p g. 56
 Considere un grafo conexo: La distancia entre dos vrtices U y V en G que escribe
d(u,v) es la longitud de la ruta ms corta entre u y v.

Dimetro: De G lo cual se escribe diam(G) es la distancia mxima entre dos puntos.

B
E

A H

C F

B
E

D F

H p g. 57

C
* TERCER
PARCIAL*

p g. 58
Se utilizan los vocabularios de los ejemplos del epgrafe abcb es una
cadena del alfabeto V2 a+2*b es una cadena del alfabeto V2 000111 es
una cadena del alfabeto V3 if a>b then b=a; es una cadena del alfabeto

Longitud de cadena La longitud de una cadena es el nmero de smbolos

que contiene.

La notacin empleada es la que se indica en los siguientes ejemplos

Ejemplos

Se utilizan las cadenas de los ejemplos del epgrafe

| abcb | 4 | a + 2*b | 5 | 000111 | 6 | if a > b then a = b ; | 92.5

Cadena vaca Existe una cadena denominada cadena vaca, que no tiene
smbolos y se denota con , entonces su longitud es : | | 02.6
Concatenacin de cadenas

Sean y dos cadenas cualesquiera, se denomina concatenacin de y

a una nueva cadena constituida por los smbolos de la cadena
seguidos por los de la cadena .

El elemento neutro de la concatenacin es : = = -4-

Universo del discurso

El conjunto de todas las cadenas que se pueden formar con los smbolos
de un alfabeto V se denomina universo del discurso de V y se representa
por W(V). Evidentemente W(V)es un conjunto infinito.

La cadena vaca pertenece a W(V).Ejemplo 2.7.1 Sea un alfabeto con

una sola letra V = { a }, entonces el universo del discurso es :

W(V) = { , a, aa, aaa, aaaa, . . . } que contiene infinitas cadenas.

p g. 59
Lenguaje

Se denomina lenguaje sobre un alfabeto V a un subconjunto del

universo del discurso. Tambin se puede definir como un conjunto de
palabras de un determinado alfabeto. Alguien puede pensar que los
lenguajes se pueden definir por enumeracin de las cadenas que
pertenecen a dicho lenguaje, pero este mtodo adems de ineficiente,
es en muchos casos imposible (habitualmente un lenguaje tiene infinitas
cadenas). As los lenguajes se definen por las propiedades que cumplen
las cadenas del lenguaje.

El conjunto de palndromos (cadenas que se leen igual hacia adelante,

que hacia atrs) sobre el alfabeto {0,1}.

Evidentemente este lenguaje tiene infinitas cadenas. Algunas cadenas

de este lenguaje son: 0 1 00 11 010 0110 000000 101101 111111 -5-

EXPRESIONES REGULARES

Anteriormente se estudiaron los lenguajes formales, y se vio como en

algunos ejemplos no era fcil representar los lenguajes de una manera
condensada

Las expresiones regulares, para describir lenguajes de tipo 3 o lenguajes

regulares. Las expresiones regulares se introducen para describir los
lenguajes regulares, entonces las expresiones regulares sern
metalenguajes. Es decir las expresiones regulares son un metalenguaje
para describir los lenguajes regulares

Operaciones con los lenguajes regulares

a) Unin o alternativa : Sean dos lenguajes definidos sobre un mismo

alfabeto, se denomina unin de los dos lenguajes al conjunto formado
por las cadenas que pertenezcan indistintamente a uno u otro de los dos
lenguajes.

Formalmente se puede expresar : L1 L2 = {x/x L1 x L2}

p g. 60
b) Concatenacin : Sean dos lenguajes definidos sobre el mismo
alfabeto, se denomina concatenacin de los dos lenguajes al conjunto de
todas las cadenas formadas concatenando una palabra del primer
lenguaje con otra del segundo. Formalmente se puede expresar : L1L2 =
{x1x2/x1 L1 x2 L2}

c) Potencia de un lenguaje : Desde un punto de vista estricto esta no es

una nueva operacin, sino un caso particular de la anterior. Se denomina
potencia i-sima de un lenguaje a la operacin que consiste en
concatenarlo consigo mismo i-veces. En el caso de i=0, el resultado es el
conjunto vacio.

Se dice que un lenguaje es regular si y slo si se cumple cualquiera de

las siguientes proposiciones:

Tiene al menos una gramtica regular G que lo produce.

Puede ser reconocido por un autmata finito A.

Existe una expresin regular Er que representa a todas las cadenas

de L.

Dentro de la Jerarqua de Chomsky se refiere a los lenguajes de tipo 3,

el subconjunto de lenguajes formales mas restringido dentro de la
jerarqua, como se ve en la imagen.

Tambin puede realizarse una definicin recursiva-constructiva de los

lenguajes regulares mediante el lgebra de lenguajes formales.

Un lenguaje regular sobre un alfabeto T LR(T) es:

1. El lenguaje vaco {}.

p g. 61
 2. El lenguaje conformado por la cadena vaca o lenguaje trivial.

3. Un lenguaje {x} conformado por un nico smbolo x de T.

4. Si A y B son lenguajes regulares sobre T,

entonces AB (Concatenacin de lenguajes), (Unin de

lenguajes), A* (Clausura de lenguaje o Estrella de Kleene) son

tambin lenguajes regulares sobre T.

5. Cualquier otro lenguaje que pueda obtenerse a partir de 1 a 4.

Considere un conjunto A de smbolos no vaco, en el que una palabra

o cadena w sobre el conjunto A es una secuencia finita de sus
elementos. Por ejemplo, suponga A={a , b , c } . Entonces las siguientes
secuencias son palabras sobre A :

u=ababb y v=accbaaa

Cuando se analizan palabras sobre A , a menudo A se denomina

alfabeto y sus elementos, letras. Tambin se abrevia la notacin y se
escribe a2 por aa , a3 por aaa , etc.; de modo que la secuencia
anterior de palabras queda como u=aba b2 y v=a c 2 b a3 .

La secuencia vaca de letras, que se denota con (letra griega

lambda) o con (letra griega psilon) o 1, tambin se considera una
palabra sobre A , que se denomina palabra vaca. El conjunto de todas
las palabras sobre A se denota por A (que se lee: A estrella ).

La longitud de una palabra u , que se escribe u o l(u) , es el

nmero de elementos en su secuencia de letras. Para las palabras
anteriores u y v , se tiene l(u)=5 y l(v )=7 . Tambin, l()=0 ,
donde es la palabra vaca.

Observacin

A menos que se establezca otra cosa, el alfabeto A es finito, los

smbolos u , v , w se reservan para palabras sobre A y los
elementos de A provienen de las letras a , b , c .

p g. 62
 Concatenacin

Considere dos palabras u y v sobre el alfabeto A . La

concatenacin de u y v , que se escribe uv , es la palabra que se
obtiene al escribir las letras de u seguidas de las letras de v . Por
ejemplo, para las palabras anteriores u y v , se tiene
2 2 3
uv=ababbaccbaaa=aba b a c b a

As como ocurre con las letras, para cualquier palabra u se define

u2=uu , u3=uuu , y, en general, un+ 1=u un .

Resulta evidente que para palabras arbitrarias u , v , w , las

palabras (uv) w y u(vw) son idnticas, ya que consta slo de las
letras u , v y w escritas una despus de la otra. Tambin, al
adjuntar la palabra vaca antes o despus de una palabra u no se
modifica la palabra u . Es decir:

Teorema

La operacin concatenacin para palabras sobre un alfabeto A es

asociativa. La palabra vaca es un elemento identidad para la
operacin.

(En trminos generales, la operacin no es conmutativa; por ejemplo,

uv vu para las palabras anteriores u y v .)

Subpalabras, segmentos iniciales

Considere cualquier palabra u=a1 a2 . . . an sobre un alfabeto A .

Cualquier secuencia w=a j a j +1 . . . ak se denomina subpalabra de u . En
particular, la subpalabra w=a1 a2 . .. a k que empieza con la primera letra
de u , se denomina segmento inicial de u . En otras palabras, w
es una subpalabra de u si u=v 1 w v2 y w es un segmento inicial de
u si u=wv . Observe que ambas y u son subpalabras de uv
puesto que u= u .

p g. 63
Considere la palabra u=abca . Las subpalabras y los segmentos
iniciales de u son los siguientes:

1) Subpalabras: , a , b , c , ab , bc , ca , abc , bca ,

abca=u

2) Segmentos iniciales: , a , ab , abc , abca=u

Observe que la subpalabra w=a aparece en dos sitios en u . La

palabra ac no es una subpalabra de u , aun cuando todas sus letras
pertenecen a u .

Semigrupo libre, monoide libre

Sea F el conjunto de todas las palabras no vacas de un alfabeto A

con la operacin de concatenacin. Como ya se observ, la operacin es
asociativa. Por tanto, F es un semigrupo; se denomina
semigrupo libre sobre A , o semigrupo libre generado por A . Resulta
fcil demostrar que F satisface las leyes de cancelacin por la
izquierda y por la derecha. Sin embargo, F no es conmutativa cuando
A tiene ms de un elemento. Cuando se desea especificar el conjunto
A , para el semigrupo libre sobre A se escribe F A .

Ahora, sea M = A el conjunto de todas las palabras de A incluso la

palabra vaca . Puesto que es un elemento identidad para la
operacin de concatenacin, M es un monoide, denominado
monoide libre sobre A .

Un lenguaje L sobre un alfabeto A es una coleccin de palabras

sobre A . Recuerde que A denota el conjunto de todas las palabras
sobre A . As, un lenguaje L es simplemente un subconjunto de
A .

Ej. Sea A={a , b } . Algunos lenguajes sobre A son los siguientes.

p g. 64
 2 m m
a) L1={a , ab , a b ,. . . } c) L3={a b m> 0 }
m n m n
b) L2={a b m>0, n> 0} d) L4=b ab m 0, n 0 }

La descripcin verbal de estos lenguajes es:

a) L1 consta de todas las palabras que empiezan con una a

seguida de cero o ms b .

b) L2 consta de todas las palabras que empiezan con una o ms

a seguidas de una o ms b .

c) L3 consta de todas las palabras que empiezan con una o ms

a seguidas por el mismo nmero de b .

d) L4 consta de todas las palabras que tienen exactamente una

a .

Operaciones sobre los lenguajes

Suponga que L y M son lenguajes sobre un alfabeto A . Entonces

la concatenacin de L y M , que se denota por LM , es el
lenguaje definido como sigue:

LM ={uvu L, v V }

Es decir, LM denota el conjunto de todas las palabras que provienen

de la concatenacin de una palabra de L con una de M . Por
ejemplo, suponga que

L1={ a , b 2 } , L2= { a2 ,ab ,b 3 } , L3={a2 , a4 , a 6 , . . .}

Entonces:

L1 L1= { a2 , ab2 ,b 2 a , b 4 } , L1 L2={a3 , a2 b , ab3 ,b 2 a2 , b 2 ab , b 5 }

L1 L3={a3 , a5 , a7 , .. . , b2 a2 , b2 a4 , b2 a6 , .. . }

Resulta evidente que la concatenacin de lenguajes es asociativa, ya

que la concatenacin de palabras es asociativa. Las potencias de un
lenguaje L se definen como sigue:

p g. 65
 m+1 m
L0= { } , L1=L , L2= , L =L L para m>1

La operacin unaria L (que se lee L estrella ) de un lenguaje L ,

que se denomina cerradura de Kleene de L porque Kleene demostr el
teorema, que se define como la unin infinita:

L=L 0 L1 L 2. . .= k=0 LK

La definicin de L coincide con la notacin A, que consta de

todas las palabras sobre A . Algunos textos definen L+ como la
unin de L1 , L2 , . . . es decir, L+ es lo mismo que L, aunque
sin la palabra vaca .

Sea A un alfabeto (no vaco). En esta seccin se definen una

expresin regular r sobre A y un lenguaje L(r ) sobre A en
asociacin con la expresin regular r . La expresin r y su lenguaje
correspondiente L(r ) se definen inductivamente como sigue.

Definicin 12.1: Cada una de las siguientes expresiones es regular sobre

un alfabeto A .

1) El smbolo (palabra vaca) y el par () (expresin vaca) son

expresiones regulares.

2) Cada letra a en A es una expresin regular.

3) Si r es una expresin regular, entonces (r ) es una expresin
regular.

4) Si r 1 y r 2 son expresiones regulares, entonces (r 1 r 2 ) es

una expresin regular.

5) Si r 1 y r 2 son expresiones regulares, entonces (r 1 r 2) es una

expresin regular.

Todas las expresiones regulares se forman de esta manera.

Observe que una expresin regular r es un tipo especial de palabra

(cadena) que usa las letras de A y los cinco smbolos:

()

p g. 66
Se recalca que ningn otro smbolo se usa para las expresiones
regulares.

Definicin

El lenguaje L(r ) sobre A que define una expresin regular r

sobre A es:

1) L( )={ } y L(( ))= , el conjunto vaco.

2) L(a)={a } . donde a es una letra en A .

3) L(r )=(L(r )) (la cerradura de Kleene de L(r ) ).

4) L(r 1 r 2 )=L(r 1 ) L(r 2 ) (la unin de los lenguajes).

5) L(r 1 r 2)= L(r 1) L(r 2 ) (la concatenacin de los lenguajes).

Observacin

Cuando es posible, en las expresiones regulares se omiten los

parntesis. Puesto que la concatenacin de lenguajes y la unin de
lenguajes son asociativas, es posible omitir muchos de los parntesis.
Tambin, al adoptar la convencin de que * tiene precedencia sobre la
concatenacin y sta a su vez tiene precedencia sobre , es posible
omitir otros parntesis.

Definicin

Sea L un lenguaje sobre A . Entonces L se denomina lenguaje

regular sobre A si existe una expresin regular r sobre A tal que
L=L(r ) .

Ej. Sea A={a , b } . Cada una de las siguientes es una expresin r y su

lenguaje correspondiente es L(r ) :

a) Sea r=a . Entonces L(r ) consta de todas las potencias de a

incluso la palabra vaca .

b) Sea r=a a . Entonces L(r ) consta de todas las potencias

positivas de a excepto la palabra vaca .

c) Sea r=a b . Entonces L(r ) consta de a o de cualquier

palabra en b ; es decir, L(r )={a , , b , b2, } .

p g. 67

d) Sea r=(a b) . Observe que L(a b)={a }{b }= A ; por tanto,
L(r )= A todas las palabras sobre A .

e) Sea r=(a b)bb . Entonces L(r ) consta de la concatenacin de

cualquier palabra en A con bb ; es decir, todas las palabras
que terminan en b 2 .

f) Sea r=a b . L(r ) no existe puesto que r no es una expresin

regular. (En este caso no es uno de los smbolos que se usan
para expresiones regulares.)

Ej. Considere los siguientes lenguajes sobre A={a , b } .

a) L1={ambnm> 0,n> 0 } ; b) L2={bmabnm>0, n> 0} ; c)

L3={ambmm>0 } .

Encontrar una expresin regular r sobre A={a , b }tal que Li=L(r ) para
i=1, 2,3 .

a) L1 consta de aquellas palabras que empiezan con una o ms a

seguidas por una o ms b . Por tanto, r=aa bb . Observe que
r no es nica; por ejemplo, r=a abb es otra solucin.

b) L2 consta de todas las palabras que empiezan con una o ms

b seguidas por una sola a que luego es seguida por una o ms
b ; es decir, todas las palabras que contienen exactamente una
a que no es la primera o la ltima letra. Por tanto, r=bb abb es
una solucin.

c) L3 consta de todas las palabras que empiezan con una o ms a

seguidas por el mismo nmero de b . No existe ninguna
expresin regular r tal que L3=L(r ) ; es decir, L3 no es un
lenguaje regular.

Unautmata de estado finito o, simplemente, un autmata M , consta de

cinco partes:

1) Un conjunto finito (alfabeto) A de datos de entrada.

p g. 68
 2) Un conjunto finito S de estados (internos).

3) Un subconjunto Y de S (que se denominan estados de

aceptacin o estados s).

4) Un estado inicial s0 en S .

5) Una funcin F de estado siguiente de SA en S .

Un autmata M as se denota por M =( A , S , Y , s 0, F) cuando se

quieren indicar sus cinco partes.

En algunos textos la funcin de estado siguiente se define

F : S A S e n(5) por medio de una coleccin de funciones fa :S S ,
una para cada a A . Al hacer F(s , a)=fa (s) se demuestra que
ambas definiciones son equivalentes.

Ej.

A continuacin, se define un autmata M con dos smbolos de

entrada y tres estados:

1) A={a , b } , smbolos de entrada.

2) S={s 0 , s1 , s 2 } , estados internos.

3) Y ={s 0 , s1 } , estados s.

4) s 0 , estado inicial.

5) La funcin de estado siguiente F:S AS

Diagrama de estado de un autmata M

A un autmata M se le define por su diagrama de estado D=D( M ) ,

en lugar de enumerar sus cinco partes. El diagrama de estado
D=D(M ) es una grfica dirigida etiquetada como sigue.

1) Los vrtices de D(M ) son los estados en S y un estado de

aceptacin se denota por medio de un crculo doble.

p g. 69
 2) Hay una flecha (arista dirigida) en D( M ) del estado s j al estado
s k identificada por una entrada a si F ( s j , a )=s k o, en forma
equivalente, si f a (s j )=s k .

3) El estado inicial s 0 se indica por medio de una flecha especial

que termina en s 0 pero que, en cambio, no tiene vrtice inicial.

Para cada vrtice s J y cada letra a en el alfabeto A , hay una

flecha identificada por a que sale de s j ; por tanto, el grado de salida
de cada vrtice es igual al nmero de elementos en A . Por
conveniencia en la notacin, una sola flecha identifica todas las entradas
que ocasionan el mismo cambio de estado, en lugar de tener una flecha
para cada una de tales entradas.

El autmata M determina el lenguaje L( M )

Cada autmata M con alfabeto de entrada A define un lenguaje

sobre A , que se denota con L( M ) , como sigue.

Sea w=a 1 a 2 am una palabra sobre A . Entonces, w determina la

siguiente ruta en la grfica del diagrama de estado D( M ) , donde s 0
es el estado inicial y F(si1, ai )=si para i 1 :

P=(s 0, a1, s 1, a2, s 2, , am , sm)

Se dice que M reconoce la palabra w si el estado final sm es un

estado de aceptacin en Y. El lenguaje L(M ) de M es la coleccin de
todas las palabras de A que M acepta.

Ej.

p g. 70
Determine si el autmata M en la figura 12-2 acepta o no las palabras:

w 1=ababba ; w 2=baab ; w 3= la palabra vaca.

Para obtener los siguientes caminos respectivos se usan la figura 12-2 y

las palabras w 1 y w 2 :

P1=s0 a s 0 b s 1 a s 0 b s1 b s 2 b s 2 y P2=s0 b s 1 a s 0 a s 0 b s1

El estado final en P1 es s , que no est en Y ; por tanto, w no es

aceptada por M . Por otra parte, el estado final en P2 es s 1 , que
est en Y ; por tanto, w 2 es aceptada por M . El estado final
determinado por w 3 es el estado inicial s 0 , puesto que w 3= es la
palabra vaca. As, w 3 es aceptada por M puesto que s 0 Y .

Ej.

El lenguaje L( M ) del autmata M se describe en la figura 12-2.

L( M ) consta de todas las palabras w sobre A que no tienen dos b

consecutivas. Esto se debe a los hechos siguientes:

1) El estado s 2 se introduce si y slo si hay dos b consecutivas.

2) Nunca es posible dejar w2 .

3) El estado s 2 es el nico estado de rechazo (no aceptacin).

La relacin fundamental entre los lenguajes regulares y los autmatas

aparece en el siguiente teorema (cuya demostracin rebasa el alcance
de este texto).

Teorema (de Kleene)

Un lenguaje L sobre un alfabeto A es regular si y slo si existe un

autmata de estado finito M tal que L=L( M ) .

La operacin estrella L sobre un lenguaje L a veces se denomina

cerradura de Kleene de L , ya que Kleene fue el primero en demostrar
el resultado fundamental anterior.

p g. 71
Ej.

Sea A={a , b } . Construya un autmata M que acepte precisamente

las palabras de A que terminan en dos b .

Puesto que b2 es aceptada, pero no o b , se requieren tres

estados: s 0 , el estado inicial, y s 1 y s 2 con una flecha identificada
por b que va de s 0 a s 1 y una de s 1 a s 2 . Adems s 2 tiene un
estado de aceptacin, pero s 0 no, tampoco s 1 . As se obtiene la
grfica en la figura 12-3a). Por otra parte, si hay una a, entonces es
recomendable retroceder a s 0 , y si se est en s 2 y hay una b ,
entonces es recomendable permanecer en s 2 . Estas condiciones
adicionales proporcionan el autmata requerido M , que se muestra en
la figura 12-3b)..

Lema de bombeo

Sea M un autmata sobre A con k estados. Suponga que

w=a1 a1 . .. a n es una palabra sobre A aceptada por M y suponga que
w n>k , el nmero de estados. Sea

P=(s 0 , s 1 , . .. , s n )

la secuencia correspondiente de los estados que determina la palabra

w . Puesto que n>k , deben ser iguales dos de los estados en P ,

p g. 72
por ejemplo, s i=s j donde i< j . Sean x , y , z las subpalabras
en que se dividi w :

x=a1 a2 . .. a i , y=ai+1 . .. a j , z=a j+1 .. . an

Como se muestra en la figura 12-4, xy termina en s i=s j ; por tanto,

xy m tambin termina en si. As, para cualquier m , w m=xy m z
termina en s n , que es un estado de aceptacin.

El anlisis anterior demuestra el siguiente resultado importante.

Teorema (lema de bombeo)

S uponga que M es un autmata M sobre A tal que: i) M tiene

k estados. ii) M acepta una palabra w de A donde w k . Entonces
w= xyz , donde, para cualquier m positivo, m , wm=xymz lo
acepta M.

El siguiente ejemplo constituye una aplicacin del lema de bombeo.

EJEMPLO 12.8 Demuestre que el lenguaje L={ambmmes positivo } no es

regular. Se supone que L es regular. Entonces, por el teorema 12.2,
existe un autmata de estado finito M que acepta a L . Se supone
que M tiene k estados. Sea w=akbk . Entonces w k . Por el
lema de bombeo (teorema 12.3), w=xyz , donde y no es vaca y
w 2=xy 2 z tambin es aceptada por M . Si y consta slo de a o
slo de b , entonces w 2 no tiene el mismo nmero de a que de
b . Si y consta tanto de a como de b , entonces w 2 tendr a
despus de las b . En cualquier caso, w 2 no pertenece a L , lo que
es una contradiccin. Por tanto, L no es regular.

GRAMTICAS

p g. 73
En la figura 12-5 se muestra la construccin gramatical de una oracin
especfica. Observe que hay:

1) varias variables; por ejemplo (oracin), (frase nominal), . . . ;

2) varias palabras terminales; por ejemplo, El, muchacho, . . . ;

3) una variable inicial (oracin);

4) varias sustituciones o producciones; por ejemplo,

( oracin ( frase nominal )(verbo frase)

(frase objetual)(artculo)(sustantivo)

manzana
sustantivo )

La oracin final slo contiene terminales, aunque aparecen tanto

variables como terminales en su construccin por las producciones. La
descripcin intuitiva se proporciona a fin de motivar la siguiente
definicin de una gramtica y el lenguaje que genera.

Definicin

Una gramtica de estructura de frases o, simplemente, una gramtica G,

consta de cuatro partes:

1) Un conjunto finito (vocabulario) V.

p g. 74
 2) Un subconjunto de
cuyos elementos se denominan
T V

terminales; los elementos de N=V se denominan no terminales
o variables.

3) Un smbolo no terminal S se denomina smbolo inicial.

4) Un conjunto finito P de producciones. (Una produccin es un par

ordenado (, ), que suele escribirse , donde y
son palabras en V , y la produccin debe contener por lo menos
una no terminal en su miembro izquierdo.)

Una gramtica G as se denota por G=G(V , T , S , P) cuando se

quieren indicar sus cuatro partes.

La siguiente notacin, a menos que se establezca o implique otra cosa,

se usa para las gramticas en este texto. Los terminales se indican con
minsculas cursivas a , b , c , , y los no terminales se indican con
maysculas cursivas A , B , C , , con S como smbolo inicial.
Tambin, las letras griegas , , , denotan palabras en V ; es decir,
palabras en terminales y no terminales. Adems, se escribe

( 1 , 2 , , k ) en lugar de 1 , 2 , , k

Observacin: A menudo una gramtica G se define al proporcionar

slo sus producciones, se supone que S es el smbolo inicial y que los
terminales y no terminales de G son slo los que aparecen en las
producciones.

Ej.

A continuacin, se define una gramtica G con S como smbolo inicial:

V = { A , B , S , a , b } , T ={ a , b } , P={S 1 AB, A 2 Aa , B 3 Bb, A 4 a , B 5 b }

Las producciones pueden abreviarse como sigue:

S AB , A ( Aa , a) , B (Bb , b) .

Lenguaje L(G) de una gramtica G

Suponga que w y w ' son palabras sobre el conjunto vocabulario

V de una gramtica G . Se escribe

p g. 75
 '
ww

si w puede obtenerse a partir de w mediante el uso de una de las

producciones; es decir, si existen palabras u y v tales que w=uv
y w=uv y hay una produccin . Adems, se escribe

w w' o w w '

si w ' puede obtenerse a partir de w con un nmero finito de

producciones.

Ahora, sea G una gramtica con conjunto terminal T . El lenguaje

de G , denotado por L(G) , consta de todas las palabras en T que
pueden obtenerse a partir del smbolo inicial S mediante el proceso
anterior; es decir,

L(G)={w T S w }

Ej.

Considere la gramtica G en el ejemplo anterior, Observe que

w=a2 b 4 puede obtenerse a partir del smbolo inicial S como sigue:
2 4
S AB AaB aaB aaBb aaBbb aaBbbb aabbbb=a b

Aqu se han usado las producciones 1, 2, 4, 3, 3, 3, 5, respectivamente.

Por tanto, es posible escribir S a2 b 4 . Entonces, w=a2 b 4 pertenece a
L(G) . En trminos ms generales, la secuencia de producciones:

1,2(r veces) , 4, 3( s veces),5

produce la palabra w=a r abs b , donde r y s son enteros no

negativos. Por otra parte, ninguna secuencia de producciones puede
producir una a despus de una b . En consecuencia,
m n
L(G)={a b m y n son enteros positivos }

Es decir, el lenguaje L(G) de la gramtica G consta de todas las

palabras que empiezan con una o ms letras a seguidas por una o
ms b .

p g. 76
Ej.

Encuentre el lenguaje L(G) sobre {a ,b , c } generado por la gramtica

G :

S aSb ,aS Aa , Aab c

Primero es necesario aplicar la primera produccin una o ms veces

para obtener la palabra w ' =an Sb n , donde n>0 . Para eliminar S es
necesario aplicar la segunda produccin para obtener la palabra
w ' =am Aabb m , donde m=n 1 0 . Ahora slo hay que aplicar la tercera
produccin para obtener finalmente la palabra w ' =am cb m , donde
m 0 . En consecuencia,

L(G)={amcbmm es no negativo }

Es decir, L(G) consta de todas las palabras con el mismo nmero no

negativo de letras a y b separadas por a c.

Tipos de gramticas

Las gramticas se clasifican segn los tipos de produccin que se les

permiten. La siguiente clasificacin de gramticas se debe a Noam
Chomsky.

Una gramtica tipo 0 no tiene restricciones en sus producciones. Los

tipos 1, 2 y 3 se definen como sigue:

1) Una gramtica G es de tipo 1 si cualquier produccin es de la

forma , donde , o de la forma .

2) Una gramtica G es de tipo 2 si cualquier produccin es de la

forma A , donde el miembro izquierdo A es un no
terminal.

3) Una gramtica G es de tipo 3 si cualquier produccin es de la

forma A a o A aB ; es decir, donde el miembro izquierdo
A es un no terminal simple y el miembro derecho es un terminal
simple o un terminal seguido por un no terminal, o de la forma
S .

Observe que las gramticas constituyen una jerarqua; es decir, toda

gramtica tipo 3 es una gramtica tipo 2, toda gramtica tipo 2 es una
gramtica tipo 1 y toda gramtica tipo 1 es una gramtica tipo 0.

p g. 77
Las gramticas tambin se clasifican en trminos de sensibles al
contexto, libres del contexto y regulares como sigue.

a) Una gramtica es sensible al contexto si las producciones son de la

forma

' '
A a a

La expresin sensible al contexto proviene del hecho de que es posible

sustituir la variable A por en una palabra slo cuando A est
entre y .

b) Una gramtica es libre del contexto si las producciones son de la

forma

La expresin libre del contexto proviene del hecho de que ahora es

posible sustituir la variable A por sin tomar en cuenta dnde
aparece A .

c) Una gramtica es regular si las producciones son de la forma

A a , A aB , S

Observe que una gramtica libre del contexto es lo mismo que una
gramtica tipo 2, y que una gramtica regular es lo mismo que una
gramtica tipo 3.

A continuacin, se presenta una relacin fundamental entre gramticas

regulares y autmatas finitos.

p g. 78
Teorema

Una gramtica tipo 3 (regular) puede generar un lenguaje L si y slo

si existe un autmata finito M que acepta a L .

Por tanto, un lenguaje L es regular ssi L=L(r ) , donde r es una

expresin regular ssi L=L( M ) , donde M es un autmata finito ssi
L=L(G) , donde G es una gramtica regular. (Recuerde que ssi es
una abreviatura de si y slo si).

Ej.

Considere el lenguaje L={an bnn>0 } .

a) Encuentre una gramtica G libre del contexto que genere a L .

Resulta evidente que la gramtica G con las siguientes producciones

genera a L :

S ab , S aSb

Observe que G es libre del contexto.

b) Encuentre una gramtica G regular que genere a L.

rboles de derivacin de gramticas libres del contexto

Considere una gramtica G libre del contexto (tipo 2). Cualquier

derivacin de una palabra w en L(G) puede representarse
grficamente por medio de un rbol T con raz ordenado, denominado
rbol de derivacin o rbol de anlisis sintctico . A
continuacin, se ilustra un rbol de derivacin de estas caractersticas.

Sea G una gramtica libre del contexto con las siguientes

producciones:

S aAB , A Bba , B bB , B c

La palabra w=acbabc puede derivarse a partir de S como sigue:

S aAB a( Bba)B acbaB acba(bB) acbabc

p g. 79
El rbol de derivacin T de la palabra w puede dibujarse como se
indica en la figura 12-6. Se empieza con S como la raz y luego se
agregan ramas al rbol segn la produccin utilizada en la derivacin de
w . As se obtiene el rbol T completo que se muestra en la figura
12-6e). La secuencia de hojas de izquierda a derecha en T es la
palabra derivada w . Tambin, cualquier no hoja en T es una
variable; por ejemplo, A , y los sucesores inmediatos (hijos) de A
forman una palabra donde A es la produccin de G usada en
la derivacin de w .

Forma de Backus-Naur

Hay otra notacin, que se denomina forma de Backus-Naur, que algunas

veces se usa para describir las producciones de una gramtica libre del
contexto (tipo 2). Especficamente:

i) : : se usa en lugar de .

ii) Cualquier no terminal se escribe entre corchetes {}.

iii) Todas las producciones con el mismo miembro izquierdo no terminal

se combinan en una proposicin con todos los miembros derechos
enumerados a la derecha de :: = separados por barras verticales.

Por ejemplo, las producciones A aB , A b , A BC se combinan en

una declaracin:

p g. 80
 A ::=a {B}b{B }{C }

Mquinas y gramticas

El teorema establece que los lenguajes regulares corresponden a los

autmatas de estado finito (FSA). Tambin hay mquinas, ms
poderosas que tales autmatas, que corresponden a las otras
gramticas.

a) Autmatas con pila: Un autmata con pila P es semejante a un

autmata de estado finito, excepto que P tiene una pila auxiliar que
proporciona una cantidad ilimitada de memoria para P. Un autmata con
pila P reconoce un lenguaje L si y slo si L es libre del contexto.

b) Autmatas delimitados linealmente: Un autmata B delimitado

linealmente es ms poderoso que un autmata con pila. Un autmata B
as usa una cinta que est limitada linealmente por la longitud de la
palabra de entrada w. Un autmata B delimitado linealmente reconoce
un lenguaje L si y slo si L es sensible al contexto.

c) Mquina de Turing: Una mquina M de Turing, denominada as en

honor del matemtico britnico Alan Turing, usa una cinta infinita; es
capaz de reconocer cualquier lenguaje L que pueda ser generado por
cualquier gramtica G con estructura de frase. De hecho, una mquina
M de Turing es una de varias formas equivalentes de definir la idea de
funcin calculable".

p g. 81