SlideShare una empresa de Scribd logo
1 de 17
Descargar para leer sin conexión
PONTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADOR
                 SEDE IBARRA




      ESCUELA DE INGENIERIA


     MATEMÁTICAS DISCRETAS

           Ing. Carpio Pineda
               DOCENTE
MATEMÁTICAS DISCRETAS
                 II BIMESTRE
                   Contenido:
o MANIPULACIÓN DE LAS RELACIONES
o CERRADURAS
o ÁRBOLES Y RECORRIDOS EN LOS ÁRBOLES
o LENGUAJES
MANIPULACIÓN DE RELACIONES
Sean R y S relación de A en B:

•Relación Complementaria Ř: aŘb  a no R b
•Relación Intersección RS: a(RS)b significa aRb y aSb
•Relación Unión RS:            a(RS)b significa aRb o aSb
•Relación Inversa R-1 : (Relación de B en A) b R-1a aRb

Ejemplo:

A = {a, b, c} y B = {1, 2}

AxB = {(a, 1)(a, 2)(b, 1)(b, 2)(c, 1)(c, 2)}

R A en B = {(a, 1)(b, 2)(c, 1)(c, 2)}
S A en B = {(a, 2)(b, 2)(c, 1)}
Ř= {(a, 2)(b, 1)} pares de U que no tenga R
Š= {(a, 1)(b, 1)(c, 2)}  pares de U que no tenga S
RS= {(b, 2)(c, 1)} pares que están e R y S
RS= {(a, 1)(a, 2)(b, 2)(c, 1)(c, 2)} todos los pares que están en R y S
R-1 = {(1, a)(2, b)(1, c)(2, c)} todos los elementos de R invertidos
Representación con Matrices:

       1 2
     a 0 1
MŘ = b 1 0
     c 0 0

          1 2
        a 0 1
M RS = b 1 0
        c 0 0

            1   2
          a 1   1
M RS =   b 0   1
          c 1   1

            a b     c
          a 1 0     1
M R-1   = b 0 1     1
CERRADURAS
Si R es una relación en un conjunto A podría suceder que R careciera de alguna de las
importantes propiedades como, Reflexión, Simétrica o la Transitiva. Si R no pose una
propiedad particular, se podría desear añadir a R pares relacionados hasta obtener una
relación que tuviera la propiedad que se requiere. Naturalmente se desearía añadir el menor
# posible de pares y por ello es necesario encontrar la mas pequeña relación R en A que
contenga R y que posea la proposición deseada. AR1 se le denomina la cerradura de R en
respecto a la propiedad en cuestión.

Cerradura Reflexiva:

         1 0 1            1           0           0           0
 MR =    0 1 0                0           1           0           0
         1 0 0                    0           0           1           0    Todos (0)

             1 0 0
MR v I =     0 1 0                        JUNTA(o)
             0 0 1

             1   0   0    0
             0   1   0    0
         =   0   0   1    0
             0   0    0   1   MRI=MR v I  Cerradura Reflexiva
Cerradura Simétrica:

         1 1 1
MR =     0 0 1
         1 1 0

                        Elementos Equidistantes:

                         MR [0,1]MR [1,0]
                          MR [1,2]MR [2,1]
                  MRI v MR-1 = MRI  Cerradura Simétrica


         1 0 1                1 1 1
MR-1 =   1 0 1        MR =   1 0 1      Si Cumple
         0 0 1                1 1 0
ALGORITMO DE WARSHALL
Se inicia Wo = Me y se usa la siguiente ecuación:

                Wij(k) = Wij(k-1)  (Wik(k-1) Wkj(k-1)) o ≤ i, j, k ≤ n

Para calcular cada Wk de Wk-1;hasta alcanzar Wn=MR ∞(Cerradura Transitiva)
Procedimiento para el cálculo de Wk de Wk-1:

•Transferir a Wk todos loa unos en Wk-1.
•Enlístese las localidades p1, p2…de la columna k-1 de Wk-1, donde el componente
sea 1.
•Enlístese las localidades q1, q2…de la fila k-1 de Wk-1, donde el componente sea 1.
•Acumular 1 en todas las posiciones pi, qj de Wk.




                                R = {(a, b)(b, a)(b, c)(c, d)}  Relación no Transitiva
K=1
                 a   b   c   d             a   b   c   d
             a   0   1   0   0         a   0   1   0   0
             b   1   0   1   0         b   1   0   1   0
   Wo = MR = c   0   0   0    1   W1 = c   0   0   0   1
             d   0   0   0   0         d   0   0   0   0


  Col       Fil
m[1][0]   m[0][1]  m[1][1]=1 en (Wk)


          m[1][0]  m[0][0]=1
m[0][1]   m[1][1]  m[0][1]=1
          m[1][2]  m[0][2]=1


          m[1][0]  m[1][0]=1
m[1][1]   m[1][1]  m[1][1]=1
          m[1][2]  m[1][2]=1
K=2

                    a   b c        d
             a      0    1 0       0
             b      1   1 1        0              m[0][2]  m[2][3]  m[0][3]=1
        W2 = c      0   0 0        1              m[1][2]  m[2][3]  m[1][3]=1
             d      0   0 0        0
K=3

               a        b    c    d
             a 1        1    1    0
             b 1        1    1    0                m[0][3]
        W3 = c 0         0    0   1                m[1][3]
             d 0        0    0    0                m[2][3]


               a        b c       d
             a 1        1 1       1
             b 1        1 1        1
        W4 = c 0        0 0       1     MR∞ Cerradura Transitiva
             d 0        0 0       0



R = {(a, a)(a, b)(a, c)(a, d)(b, a)(b, b)(b, c)(b, d)(c, d)}  Relación Transitiva
ÁRBOLES
Árbol: Es un grafo conexo y sin circuitos ni lazos.

  Ejemplos:
              n1: o                               n6: 6 arboles
              n2: o–o                             n7: 11
              n3: o–o–o                           n9: 47
              n4: o–o–o–o                         n10: 106
              n5: o–o–o–o–o                       etc,...

Un grafo es un árbol  entre cada par de vértices existe un y solo un camino simple.
Bosque: Grafo cuyas componentes conexas no tienen circuitos.

Teorema:
                              Sea G (V,E) a) G es un árbol

              b) Cada par de vértices distintos de V esta conectado por un único camino.
              c) G es conexo y toda arista de G es de separación (*Arista de separación es aquella tal que
                 si el grafo es conexo, al suprimirla se divide en 2 conexos).
              d) G no tiene circuitos y |V|=|E|+1
              e) G es conexo y |V|=|E|+1
              f) G no tiene circuitos pero al añadirle una arista a G se crea un único circuito

              Estas son condiciones equivalentes: abcdefa
Demostración:

 ab        Por que por definición es conexo y sin circuitos propios
 bc        Es conexo por b. Si hubiese más de un camino entre 2 vértices existiría un circuito.
                            Por definición de árbol esto no puede ocurrir.
 cd        Por que en circuito no existe separación

|V|=|E|+1

Inducción en |V|: Base de inducción |V|=1 como mínimo 1 vértice v|E|=0 |V|=|E|+1
Paso inductivo: Suponemos que el teorema es cierto para grados con menos de n vértices
                              (n=|V|), G-{e}=G´
                              G1=(V1, E1) |V1|<n
                              G2=(V2, E2) |V2|<n

 Por la hipótesis de inducción |V1|=|E1|+1, |V2|=|E2|+1
                                         |V| = |V1|+|V2| = (|E1|+|E2|+1)+1 = |E|+1
 de ¿G es conexo ?
    Sean G1,G2,...,Gm componente conexa de G, ¿m=1? G1 conexo sin aristas G1 árbol *
                                        |V1|=|E1|+1
          Gm......................................... |Vm|=|Em|+1
                                                     + ---------------------
                                                       |V|=|E|+m }           m=1
                                    la hipótesis |V|=|E|+1 }
ef Suponemos que  un circuito (con k aristas y k vértices) vamos allegar a una contradicción
Pueden suceder 2 casos:
 1) k=n , |E|k=n, n=|V| pero por la hipótesis |V|=|E|+1 (|V|>|E|) ????
 2) Los n-k vértices restantes necesitan al menos otras n-k aristas que les unan con los demás y quede G
conexo |E| k+(n-k)=n=|V| pero por hipótesis |V|=|E|+1 ?????

fg ¿G es conexo? Si tenemos 2 componentes conexas distintas y añadimos arista no se forma circuito y
se produce una contradicción

• Vemos que si no es conexo podría tener 2 supuestas componentes conexas
• Pero si le añadimos una arista no se crea un circuito, por lo tanto G tendrá que ser conexo

 Árbol Generado - Subgrafo conexo de G que tiene los mismos vértices que G y no tiene circuitos
Otra def: Un árbol generado de G es un árbol T=(V´,E´) subgrafo de G y tal que V´=V

Un árbol generado se puede crear de 2 modos:
           1) Suprimir aristas que no sean de separación
           2) Partiendo de los vértices coger aquellas aristas de forma que no creamos ningún circuito

Para calcular el árbol de peso mínimo existen 2 algoritmos:

Kruskal: Se van cogiendo las aristas de menor peso hasta conseguir un árbol de peso mínimo
Prim: Consiste en ir borrando las aristas de mayor peso posible y que no sean aristas de separación.
Puede haber más de un árbol generado de peso mínimo, pero todos deben tener el mismo peso.
Árbol arraigado o enraizado: Es un árbol con un vértice distinguido llamado raíz.
Si le quitan la raíz quedan árboles arraigados con raíz T1,T2,..., en este tipo de árbol los
vértices se llaman nodos.
Se llama hijo de un nodo, al vértice adyacente que esta más alejado de la raíz que el nodo del
que es hijo. Los nodos sin hijos se llaman hojas.

  Un árbol es n-ario cuando todos los nodos excepto los terminales tienen a lo sumo n hijos.
                                        Ej(n=2 binario)
  Árbol arraigado ordenado: árbol arraigado cuyos subárboles también son árboles
arraigados ordenados.
  Nivel de un vértice: El número de aristas que le separan de la raíz. La raíz tienen nivel 0.
  Altura de un árbol: Máximo nivel de sus vértices.

Sea A un conjunto finito sea T una relación en A se dice entonces que T es un árbol si existe
una trayectoria única en T de V0 a cualquier otro vértice en A pero ninguna trayectoria de V0
hacia si mismo.
Teorema: Sea (T,Vo) un árbol arraigado entonces;
a)No existe Ciclos en T.
b) Vo Es la única raíz en T.
c) Cada vértice en T,diferente a Vo tiene una entrada y Vo no tiene entrada.

Teorema: Sea (T,Vo) un árbol arraigado sobre un conjunto A entonces;
a)T es irreflexiva.
b) T es asimetrica.
c) Si (a,b) € T y (b,c) V  T entonces (a,c) V T,  la a,b y c en A
Ejemplo de Árbol de Expresiones:

2+3^2-(3+4*2^3/8-2)
LENGUAJES
Un lenguaje es una especificación completa.

Esta compuesta de tres objetos:

1.- Deberá existir un conjunto S que conste de toda las palabras que puedan
considerarse, que forman parte del lenguaje.
2.- Deberá asignarse un subconjunto de S como el conjunto de oraciones
construidas adecuadamente en el lenguaje.
3.- Se deberá determinar cuales de esas oraciones construidas adecuadamente
tienen significado y cual es el significado.

Sea S=Todas las palabras del castellano.
“El sonido azul silencioso se sentó bajo la montaña.
                            S= Todos los enteros,+,-,*,/,()
                                   ((3-2)+(4*7)/9)
G <x, n, p, s>
X= Símbolos terminales.
N= Símbolos auxiliares o no terminales.
P= reglas de producción.
S= Axioma inicial.
X={a, b}
N={V, w}
V          aw
                           P V          a
                             W          bw
                             W          b       S:V
Notación BNF:

1.- A los símbolos no terminales los encerramos < >.
2.-          remplazamos por ::=
3.- Si varias reglas pasa por un símbolo no terminal escribimos en una sola separada por:
                                         | < V >::= a<w> |a

                                    Diagrama Sintáctico

                          •Los símbolos terminales los encerramos:




                        •Los símbolos no Terminales los encerramos :
Ejemplo:

Más contenido relacionado

La actualidad más candente

6.3 matrix algebra
6.3 matrix algebra6.3 matrix algebra
6.3 matrix algebramath260
 
GEOMETRIA ANALÍTICA cap 04
GEOMETRIA ANALÍTICA cap  04GEOMETRIA ANALÍTICA cap  04
GEOMETRIA ANALÍTICA cap 04Andrei Bastos
 
Determinantes
DeterminantesDeterminantes
Determinantesalgebra
 
7 aproximacion de funciones
7 aproximacion de funciones7 aproximacion de funciones
7 aproximacion de funcionesfenix1329
 
Ecuaciones PolinóMicas, Racionales Irracionales
Ecuaciones PolinóMicas, Racionales IrracionalesEcuaciones PolinóMicas, Racionales Irracionales
Ecuaciones PolinóMicas, Racionales Irracionaleserror30
 
4.FUNCIONES INVERSAS E IPERBÓLICAS.pdf
4.FUNCIONES INVERSAS E IPERBÓLICAS.pdf4.FUNCIONES INVERSAS E IPERBÓLICAS.pdf
4.FUNCIONES INVERSAS E IPERBÓLICAS.pdfJorgeRojas278373
 
Conjunto generador
Conjunto generadorConjunto generador
Conjunto generadoralgebra
 
Ecuaciones diferenciales lineales
Ecuaciones diferenciales linealesEcuaciones diferenciales lineales
Ecuaciones diferenciales linealesAlexCoeto
 
4.4 base y dimension de un espacio vectorial
4.4 base y dimension de un espacio vectorial4.4 base y dimension de un espacio vectorial
4.4 base y dimension de un espacio vectorialalexMarcin
 
Cápsula lineal
Cápsula linealCápsula lineal
Cápsula linealalgebra
 
Ejercicios Resueltos de Calculo Vectorial
Ejercicios Resueltos de Calculo VectorialEjercicios Resueltos de Calculo Vectorial
Ejercicios Resueltos de Calculo VectorialJuan Jose Durango
 
328912819-Cap-10-Secc-10-3-Ec-Parametricas-y-Calculo.pdf
328912819-Cap-10-Secc-10-3-Ec-Parametricas-y-Calculo.pdf328912819-Cap-10-Secc-10-3-Ec-Parametricas-y-Calculo.pdf
328912819-Cap-10-Secc-10-3-Ec-Parametricas-y-Calculo.pdfANGELDAVIDSOTOOSORNI
 
13 graphs of factorable polynomials x
13 graphs of factorable polynomials x13 graphs of factorable polynomials x
13 graphs of factorable polynomials xmath260
 
EJERCICIOS DE MATRICES TIPO MATEMÁTICAS CCSS
EJERCICIOS DE MATRICES TIPO  MATEMÁTICAS CCSSEJERCICIOS DE MATRICES TIPO  MATEMÁTICAS CCSS
EJERCICIOS DE MATRICES TIPO MATEMÁTICAS CCSSCarlos Cabrera
 
Trayectorias Ortogonales
Trayectorias OrtogonalesTrayectorias Ortogonales
Trayectorias OrtogonalesDiego Salazar
 
Combinacion lineal
Combinacion linealCombinacion lineal
Combinacion linealCarlita Vaca
 

La actualidad más candente (20)

6.3 matrix algebra
6.3 matrix algebra6.3 matrix algebra
6.3 matrix algebra
 
GEOMETRIA ANALÍTICA cap 04
GEOMETRIA ANALÍTICA cap  04GEOMETRIA ANALÍTICA cap  04
GEOMETRIA ANALÍTICA cap 04
 
Determinantes
DeterminantesDeterminantes
Determinantes
 
Tabla de integrales
Tabla de integralesTabla de integrales
Tabla de integrales
 
7 aproximacion de funciones
7 aproximacion de funciones7 aproximacion de funciones
7 aproximacion de funciones
 
Ecuaciones PolinóMicas, Racionales Irracionales
Ecuaciones PolinóMicas, Racionales IrracionalesEcuaciones PolinóMicas, Racionales Irracionales
Ecuaciones PolinóMicas, Racionales Irracionales
 
4.FUNCIONES INVERSAS E IPERBÓLICAS.pdf
4.FUNCIONES INVERSAS E IPERBÓLICAS.pdf4.FUNCIONES INVERSAS E IPERBÓLICAS.pdf
4.FUNCIONES INVERSAS E IPERBÓLICAS.pdf
 
Conjunto generador
Conjunto generadorConjunto generador
Conjunto generador
 
Digital Electronics
Digital ElectronicsDigital Electronics
Digital Electronics
 
Ecuaciones diferenciales lineales
Ecuaciones diferenciales linealesEcuaciones diferenciales lineales
Ecuaciones diferenciales lineales
 
4.4 base y dimension de un espacio vectorial
4.4 base y dimension de un espacio vectorial4.4 base y dimension de un espacio vectorial
4.4 base y dimension de un espacio vectorial
 
Cápsula lineal
Cápsula linealCápsula lineal
Cápsula lineal
 
Ejercicios Resueltos de Calculo Vectorial
Ejercicios Resueltos de Calculo VectorialEjercicios Resueltos de Calculo Vectorial
Ejercicios Resueltos de Calculo Vectorial
 
328912819-Cap-10-Secc-10-3-Ec-Parametricas-y-Calculo.pdf
328912819-Cap-10-Secc-10-3-Ec-Parametricas-y-Calculo.pdf328912819-Cap-10-Secc-10-3-Ec-Parametricas-y-Calculo.pdf
328912819-Cap-10-Secc-10-3-Ec-Parametricas-y-Calculo.pdf
 
13 graphs of factorable polynomials x
13 graphs of factorable polynomials x13 graphs of factorable polynomials x
13 graphs of factorable polynomials x
 
Exposicion semana13
Exposicion semana13Exposicion semana13
Exposicion semana13
 
EJERCICIOS DE MATRICES TIPO MATEMÁTICAS CCSS
EJERCICIOS DE MATRICES TIPO  MATEMÁTICAS CCSSEJERCICIOS DE MATRICES TIPO  MATEMÁTICAS CCSS
EJERCICIOS DE MATRICES TIPO MATEMÁTICAS CCSS
 
Trayectorias Ortogonales
Trayectorias OrtogonalesTrayectorias Ortogonales
Trayectorias Ortogonales
 
Tarea de calculo ii
Tarea de calculo iiTarea de calculo ii
Tarea de calculo ii
 
Combinacion lineal
Combinacion linealCombinacion lineal
Combinacion lineal
 

Similar a Relaciones

Calculo 3 ejer 1
Calculo 3 ejer 1Calculo 3 ejer 1
Calculo 3 ejer 1izarra1530
 
Espacios vectoriales ita
Espacios vectoriales itaEspacios vectoriales ita
Espacios vectoriales itaRudy Medina
 
CÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdf
CÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdfCÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdf
CÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdfEduardo Rocabado
 
Transformaciones lineales
Transformaciones lineales Transformaciones lineales
Transformaciones lineales mirabal21
 
Ejercicios cap 010
Ejercicios cap 010Ejercicios cap 010
Ejercicios cap 010Bleakness
 
Guia teorica de vectores
Guia teorica de vectoresGuia teorica de vectores
Guia teorica de vectoresYennySurez
 
Transormaciones Lineales - Gabriela bello - Algebra lineal
Transormaciones Lineales - Gabriela bello - Algebra linealTransormaciones Lineales - Gabriela bello - Algebra lineal
Transormaciones Lineales - Gabriela bello - Algebra linealGabriela Bello
 
05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLE
05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLE05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLE
05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLEleonardobenitez32
 
Vectores universidad
Vectores universidadVectores universidad
Vectores universidadWILSON RAMOS
 
vectores y matrices.pdf
vectores y matrices.pdfvectores y matrices.pdf
vectores y matrices.pdfkaniaquintero2
 
Ejercicios econometría1
Ejercicios econometría1Ejercicios econometría1
Ejercicios econometría1cesarmanosalvas
 
Grafos (angel)[1]
Grafos (angel)[1]Grafos (angel)[1]
Grafos (angel)[1]ozilricardo
 
Algebra lineal parte 2 Ing. M.Sc Victor Garcia Pinargote
Algebra lineal parte 2 Ing. M.Sc Victor Garcia PinargoteAlgebra lineal parte 2 Ing. M.Sc Victor Garcia Pinargote
Algebra lineal parte 2 Ing. M.Sc Victor Garcia PinargoteVictor Garcia
 

Similar a Relaciones (20)

Calculo 3 ejer 1
Calculo 3 ejer 1Calculo 3 ejer 1
Calculo 3 ejer 1
 
Espacios vectoriales ita
Espacios vectoriales itaEspacios vectoriales ita
Espacios vectoriales ita
 
CÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdf
CÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdfCÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdf
CÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdf
 
Algebra Pdf
Algebra PdfAlgebra Pdf
Algebra Pdf
 
Transformaciones lineales
Transformaciones lineales Transformaciones lineales
Transformaciones lineales
 
Ejercicios cap 010
Ejercicios cap 010Ejercicios cap 010
Ejercicios cap 010
 
Vectores
VectoresVectores
Vectores
 
vectores 2 bachillerato
vectores 2 bachilleratovectores 2 bachillerato
vectores 2 bachillerato
 
Campos Electromagneticos - Tema 1
Campos Electromagneticos - Tema 1Campos Electromagneticos - Tema 1
Campos Electromagneticos - Tema 1
 
Guia teorica de vectores
Guia teorica de vectoresGuia teorica de vectores
Guia teorica de vectores
 
Transormaciones Lineales - Gabriela bello - Algebra lineal
Transormaciones Lineales - Gabriela bello - Algebra linealTransormaciones Lineales - Gabriela bello - Algebra lineal
Transormaciones Lineales - Gabriela bello - Algebra lineal
 
05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLE
05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLE05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLE
05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLE
 
Vectores universidad
Vectores universidadVectores universidad
Vectores universidad
 
vectores y matrices.pdf
vectores y matrices.pdfvectores y matrices.pdf
vectores y matrices.pdf
 
Ejercicios econometría1
Ejercicios econometría1Ejercicios econometría1
Ejercicios econometría1
 
áLgebra lin cap2a
áLgebra lin cap2aáLgebra lin cap2a
áLgebra lin cap2a
 
Grafos (angel)[1]
Grafos (angel)[1]Grafos (angel)[1]
Grafos (angel)[1]
 
Algebra lineal parte 2 Ing. M.Sc Victor Garcia Pinargote
Algebra lineal parte 2 Ing. M.Sc Victor Garcia PinargoteAlgebra lineal parte 2 Ing. M.Sc Victor Garcia Pinargote
Algebra lineal parte 2 Ing. M.Sc Victor Garcia Pinargote
 
Guía6vectores
Guía6vectoresGuía6vectores
Guía6vectores
 
Ortogonalidad
OrtogonalidadOrtogonalidad
Ortogonalidad
 

Más de PUCE SEDE IBARRA

Iglesia de san francisco actual
Iglesia de san francisco  actualIglesia de san francisco  actual
Iglesia de san francisco actualPUCE SEDE IBARRA
 
Iglesia de la compañía de jesus actual
Iglesia de la compañía de jesus  actualIglesia de la compañía de jesus  actual
Iglesia de la compañía de jesus actualPUCE SEDE IBARRA
 
1.sensibilizaci n ambiental-parte1
1.sensibilizaci n ambiental-parte11.sensibilizaci n ambiental-parte1
1.sensibilizaci n ambiental-parte1PUCE SEDE IBARRA
 
Capacitaciones ambientales
Capacitaciones ambientalesCapacitaciones ambientales
Capacitaciones ambientalesPUCE SEDE IBARRA
 
Educación y comunicación
Educación y comunicaciónEducación y comunicación
Educación y comunicaciónPUCE SEDE IBARRA
 
Origen y desarrollo de la educomunicación
Origen y desarrollo de la educomunicaciónOrigen y desarrollo de la educomunicación
Origen y desarrollo de la educomunicaciónPUCE SEDE IBARRA
 
La nueva geografía de internet
La nueva geografía de internetLa nueva geografía de internet
La nueva geografía de internetPUCE SEDE IBARRA
 
T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1PUCE SEDE IBARRA
 
T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1PUCE SEDE IBARRA
 
Tipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfect
Tipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfectTipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfect
Tipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfectPUCE SEDE IBARRA
 
Valor nutritivo de_las_plantas_forrajeras
Valor nutritivo de_las_plantas_forrajerasValor nutritivo de_las_plantas_forrajeras
Valor nutritivo de_las_plantas_forrajerasPUCE SEDE IBARRA
 
Relacion planta microorganismo_recuperado
Relacion planta microorganismo_recuperadoRelacion planta microorganismo_recuperado
Relacion planta microorganismo_recuperadoPUCE SEDE IBARRA
 

Más de PUCE SEDE IBARRA (20)

Hist. del arte
Hist. del arteHist. del arte
Hist. del arte
 
Hist. del arte
Hist. del arteHist. del arte
Hist. del arte
 
Santo domingo
Santo domingoSanto domingo
Santo domingo
 
La catedral mejorado
La catedral  mejoradoLa catedral  mejorado
La catedral mejorado
 
Iglesia de san francisco actual
Iglesia de san francisco  actualIglesia de san francisco  actual
Iglesia de san francisco actual
 
Iglesia de la compañía de jesus actual
Iglesia de la compañía de jesus  actualIglesia de la compañía de jesus  actual
Iglesia de la compañía de jesus actual
 
1.sensibilizaci n ambiental-parte1
1.sensibilizaci n ambiental-parte11.sensibilizaci n ambiental-parte1
1.sensibilizaci n ambiental-parte1
 
Capacitaciones ambientales
Capacitaciones ambientalesCapacitaciones ambientales
Capacitaciones ambientales
 
Crecimiento celular
Crecimiento celularCrecimiento celular
Crecimiento celular
 
Educación y comunicación
Educación y comunicaciónEducación y comunicación
Educación y comunicación
 
Origen y desarrollo de la educomunicación
Origen y desarrollo de la educomunicaciónOrigen y desarrollo de la educomunicación
Origen y desarrollo de la educomunicación
 
La nueva geografía de internet
La nueva geografía de internetLa nueva geografía de internet
La nueva geografía de internet
 
T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1
 
Clases de tipografias
Clases de tipografiasClases de tipografias
Clases de tipografias
 
T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1
 
Tipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfect
Tipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfectTipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfect
Tipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfect
 
Valor nutritivo de_las_plantas_forrajeras
Valor nutritivo de_las_plantas_forrajerasValor nutritivo de_las_plantas_forrajeras
Valor nutritivo de_las_plantas_forrajeras
 
Npk
NpkNpk
Npk
 
Molibdeno
MolibdenoMolibdeno
Molibdeno
 
Relacion planta microorganismo_recuperado
Relacion planta microorganismo_recuperadoRelacion planta microorganismo_recuperado
Relacion planta microorganismo_recuperado
 

Último

Historia y técnica del collage en el arte
Historia y técnica del collage en el arteHistoria y técnica del collage en el arte
Historia y técnica del collage en el arteRaquel Martín Contreras
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PCCesarFernandez937857
 
Planificacion Anual 2do Grado Educacion Primaria 2024 Ccesa007.pdf
Planificacion Anual 2do Grado Educacion Primaria   2024   Ccesa007.pdfPlanificacion Anual 2do Grado Educacion Primaria   2024   Ccesa007.pdf
Planificacion Anual 2do Grado Educacion Primaria 2024 Ccesa007.pdfDemetrio Ccesa Rayme
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuaDANNYISAACCARVAJALGA
 
Neurociencias para Educadores NE24 Ccesa007.pdf
Neurociencias para Educadores  NE24  Ccesa007.pdfNeurociencias para Educadores  NE24  Ccesa007.pdf
Neurociencias para Educadores NE24 Ccesa007.pdfDemetrio Ccesa Rayme
 
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...JAVIER SOLIS NOYOLA
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosCesarFernandez937857
 
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfCurso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfFrancisco158360
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxjosetrinidadchavez
 
2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdfBaker Publishing Company
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónLourdes Feria
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Lourdes Feria
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMarjorie Burga
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADauxsoporte
 
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptxTECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptxKarlaMassielMartinez
 

Último (20)

Historia y técnica del collage en el arte
Historia y técnica del collage en el arteHistoria y técnica del collage en el arte
Historia y técnica del collage en el arte
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PC
 
Medición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptxMedición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptx
 
Planificacion Anual 2do Grado Educacion Primaria 2024 Ccesa007.pdf
Planificacion Anual 2do Grado Educacion Primaria   2024   Ccesa007.pdfPlanificacion Anual 2do Grado Educacion Primaria   2024   Ccesa007.pdf
Planificacion Anual 2do Grado Educacion Primaria 2024 Ccesa007.pdf
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahua
 
Neurociencias para Educadores NE24 Ccesa007.pdf
Neurociencias para Educadores  NE24  Ccesa007.pdfNeurociencias para Educadores  NE24  Ccesa007.pdf
Neurociencias para Educadores NE24 Ccesa007.pdf
 
Sesión de clase: Fe contra todo pronóstico
Sesión de clase: Fe contra todo pronósticoSesión de clase: Fe contra todo pronóstico
Sesión de clase: Fe contra todo pronóstico
 
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
 
Sesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdfSesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdf
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos Básicos
 
Fe contra todo pronóstico. La fe es confianza.
Fe contra todo pronóstico. La fe es confianza.Fe contra todo pronóstico. La fe es confianza.
Fe contra todo pronóstico. La fe es confianza.
 
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfCurso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
 
2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcción
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grande
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDAD
 
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptxTECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
 
Power Point: Fe contra todo pronóstico.pptx
Power Point: Fe contra todo pronóstico.pptxPower Point: Fe contra todo pronóstico.pptx
Power Point: Fe contra todo pronóstico.pptx
 

Relaciones

  • 1. PONTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADOR SEDE IBARRA ESCUELA DE INGENIERIA MATEMÁTICAS DISCRETAS Ing. Carpio Pineda DOCENTE
  • 2. MATEMÁTICAS DISCRETAS II BIMESTRE  Contenido: o MANIPULACIÓN DE LAS RELACIONES o CERRADURAS o ÁRBOLES Y RECORRIDOS EN LOS ÁRBOLES o LENGUAJES
  • 3. MANIPULACIÓN DE RELACIONES Sean R y S relación de A en B: •Relación Complementaria Ř: aŘb  a no R b •Relación Intersección RS: a(RS)b significa aRb y aSb •Relación Unión RS: a(RS)b significa aRb o aSb •Relación Inversa R-1 : (Relación de B en A) b R-1a aRb Ejemplo: A = {a, b, c} y B = {1, 2} AxB = {(a, 1)(a, 2)(b, 1)(b, 2)(c, 1)(c, 2)} R A en B = {(a, 1)(b, 2)(c, 1)(c, 2)} S A en B = {(a, 2)(b, 2)(c, 1)} Ř= {(a, 2)(b, 1)} pares de U que no tenga R Š= {(a, 1)(b, 1)(c, 2)}  pares de U que no tenga S RS= {(b, 2)(c, 1)} pares que están e R y S RS= {(a, 1)(a, 2)(b, 2)(c, 1)(c, 2)} todos los pares que están en R y S R-1 = {(1, a)(2, b)(1, c)(2, c)} todos los elementos de R invertidos
  • 4. Representación con Matrices: 1 2 a 0 1 MŘ = b 1 0 c 0 0 1 2 a 0 1 M RS = b 1 0 c 0 0 1 2 a 1 1 M RS = b 0 1 c 1 1 a b c a 1 0 1 M R-1 = b 0 1 1
  • 5. CERRADURAS Si R es una relación en un conjunto A podría suceder que R careciera de alguna de las importantes propiedades como, Reflexión, Simétrica o la Transitiva. Si R no pose una propiedad particular, se podría desear añadir a R pares relacionados hasta obtener una relación que tuviera la propiedad que se requiere. Naturalmente se desearía añadir el menor # posible de pares y por ello es necesario encontrar la mas pequeña relación R en A que contenga R y que posea la proposición deseada. AR1 se le denomina la cerradura de R en respecto a la propiedad en cuestión. Cerradura Reflexiva: 1 0 1 1 0 0 0 MR = 0 1 0 0 1 0 0 1 0 0 0 0 1 0  Todos (0) 1 0 0 MR v I = 0 1 0 JUNTA(o) 0 0 1 1 0 0 0 0 1 0 0 = 0 0 1 0 0 0 0 1 MRI=MR v I  Cerradura Reflexiva
  • 6. Cerradura Simétrica: 1 1 1 MR = 0 0 1 1 1 0 Elementos Equidistantes: MR [0,1]MR [1,0] MR [1,2]MR [2,1] MRI v MR-1 = MRI  Cerradura Simétrica 1 0 1 1 1 1 MR-1 = 1 0 1  MR = 1 0 1  Si Cumple 0 0 1 1 1 0
  • 7. ALGORITMO DE WARSHALL Se inicia Wo = Me y se usa la siguiente ecuación: Wij(k) = Wij(k-1)  (Wik(k-1) Wkj(k-1)) o ≤ i, j, k ≤ n Para calcular cada Wk de Wk-1;hasta alcanzar Wn=MR ∞(Cerradura Transitiva) Procedimiento para el cálculo de Wk de Wk-1: •Transferir a Wk todos loa unos en Wk-1. •Enlístese las localidades p1, p2…de la columna k-1 de Wk-1, donde el componente sea 1. •Enlístese las localidades q1, q2…de la fila k-1 de Wk-1, donde el componente sea 1. •Acumular 1 en todas las posiciones pi, qj de Wk. R = {(a, b)(b, a)(b, c)(c, d)}  Relación no Transitiva
  • 8. K=1 a b c d a b c d a 0 1 0 0 a 0 1 0 0 b 1 0 1 0 b 1 0 1 0 Wo = MR = c 0 0 0 1 W1 = c 0 0 0 1 d 0 0 0 0 d 0 0 0 0 Col Fil m[1][0] m[0][1]  m[1][1]=1 en (Wk) m[1][0]  m[0][0]=1 m[0][1] m[1][1]  m[0][1]=1 m[1][2]  m[0][2]=1 m[1][0]  m[1][0]=1 m[1][1] m[1][1]  m[1][1]=1 m[1][2]  m[1][2]=1
  • 9. K=2 a b c d a 0 1 0 0 b 1 1 1 0 m[0][2]  m[2][3]  m[0][3]=1 W2 = c 0 0 0 1 m[1][2]  m[2][3]  m[1][3]=1 d 0 0 0 0 K=3 a b c d a 1 1 1 0 b 1 1 1 0 m[0][3] W3 = c 0 0 0 1 m[1][3] d 0 0 0 0 m[2][3] a b c d a 1 1 1 1 b 1 1 1 1 W4 = c 0 0 0 1  MR∞ Cerradura Transitiva d 0 0 0 0 R = {(a, a)(a, b)(a, c)(a, d)(b, a)(b, b)(b, c)(b, d)(c, d)}  Relación Transitiva
  • 10. ÁRBOLES Árbol: Es un grafo conexo y sin circuitos ni lazos. Ejemplos: n1: o n6: 6 arboles n2: o–o n7: 11 n3: o–o–o n9: 47 n4: o–o–o–o n10: 106 n5: o–o–o–o–o etc,... Un grafo es un árbol  entre cada par de vértices existe un y solo un camino simple. Bosque: Grafo cuyas componentes conexas no tienen circuitos. Teorema: Sea G (V,E) a) G es un árbol b) Cada par de vértices distintos de V esta conectado por un único camino. c) G es conexo y toda arista de G es de separación (*Arista de separación es aquella tal que si el grafo es conexo, al suprimirla se divide en 2 conexos). d) G no tiene circuitos y |V|=|E|+1 e) G es conexo y |V|=|E|+1 f) G no tiene circuitos pero al añadirle una arista a G se crea un único circuito Estas son condiciones equivalentes: abcdefa
  • 11. Demostración: ab Por que por definición es conexo y sin circuitos propios bc Es conexo por b. Si hubiese más de un camino entre 2 vértices existiría un circuito. Por definición de árbol esto no puede ocurrir. cd Por que en circuito no existe separación |V|=|E|+1 Inducción en |V|: Base de inducción |V|=1 como mínimo 1 vértice v|E|=0 |V|=|E|+1 Paso inductivo: Suponemos que el teorema es cierto para grados con menos de n vértices (n=|V|), G-{e}=G´ G1=(V1, E1) |V1|<n G2=(V2, E2) |V2|<n Por la hipótesis de inducción |V1|=|E1|+1, |V2|=|E2|+1 |V| = |V1|+|V2| = (|E1|+|E2|+1)+1 = |E|+1 de ¿G es conexo ? Sean G1,G2,...,Gm componente conexa de G, ¿m=1? G1 conexo sin aristas G1 árbol * |V1|=|E1|+1 Gm......................................... |Vm|=|Em|+1 + --------------------- |V|=|E|+m } m=1 la hipótesis |V|=|E|+1 }
  • 12. ef Suponemos que  un circuito (con k aristas y k vértices) vamos allegar a una contradicción Pueden suceder 2 casos: 1) k=n , |E|k=n, n=|V| pero por la hipótesis |V|=|E|+1 (|V|>|E|) ???? 2) Los n-k vértices restantes necesitan al menos otras n-k aristas que les unan con los demás y quede G conexo |E| k+(n-k)=n=|V| pero por hipótesis |V|=|E|+1 ????? fg ¿G es conexo? Si tenemos 2 componentes conexas distintas y añadimos arista no se forma circuito y se produce una contradicción • Vemos que si no es conexo podría tener 2 supuestas componentes conexas • Pero si le añadimos una arista no se crea un circuito, por lo tanto G tendrá que ser conexo Árbol Generado - Subgrafo conexo de G que tiene los mismos vértices que G y no tiene circuitos Otra def: Un árbol generado de G es un árbol T=(V´,E´) subgrafo de G y tal que V´=V Un árbol generado se puede crear de 2 modos: 1) Suprimir aristas que no sean de separación 2) Partiendo de los vértices coger aquellas aristas de forma que no creamos ningún circuito Para calcular el árbol de peso mínimo existen 2 algoritmos: Kruskal: Se van cogiendo las aristas de menor peso hasta conseguir un árbol de peso mínimo Prim: Consiste en ir borrando las aristas de mayor peso posible y que no sean aristas de separación. Puede haber más de un árbol generado de peso mínimo, pero todos deben tener el mismo peso.
  • 13. Árbol arraigado o enraizado: Es un árbol con un vértice distinguido llamado raíz. Si le quitan la raíz quedan árboles arraigados con raíz T1,T2,..., en este tipo de árbol los vértices se llaman nodos. Se llama hijo de un nodo, al vértice adyacente que esta más alejado de la raíz que el nodo del que es hijo. Los nodos sin hijos se llaman hojas. Un árbol es n-ario cuando todos los nodos excepto los terminales tienen a lo sumo n hijos. Ej(n=2 binario) Árbol arraigado ordenado: árbol arraigado cuyos subárboles también son árboles arraigados ordenados. Nivel de un vértice: El número de aristas que le separan de la raíz. La raíz tienen nivel 0. Altura de un árbol: Máximo nivel de sus vértices. Sea A un conjunto finito sea T una relación en A se dice entonces que T es un árbol si existe una trayectoria única en T de V0 a cualquier otro vértice en A pero ninguna trayectoria de V0 hacia si mismo. Teorema: Sea (T,Vo) un árbol arraigado entonces; a)No existe Ciclos en T. b) Vo Es la única raíz en T. c) Cada vértice en T,diferente a Vo tiene una entrada y Vo no tiene entrada. Teorema: Sea (T,Vo) un árbol arraigado sobre un conjunto A entonces; a)T es irreflexiva. b) T es asimetrica. c) Si (a,b) € T y (b,c) V  T entonces (a,c) V T,  la a,b y c en A
  • 14. Ejemplo de Árbol de Expresiones: 2+3^2-(3+4*2^3/8-2)
  • 15. LENGUAJES Un lenguaje es una especificación completa. Esta compuesta de tres objetos: 1.- Deberá existir un conjunto S que conste de toda las palabras que puedan considerarse, que forman parte del lenguaje. 2.- Deberá asignarse un subconjunto de S como el conjunto de oraciones construidas adecuadamente en el lenguaje. 3.- Se deberá determinar cuales de esas oraciones construidas adecuadamente tienen significado y cual es el significado. Sea S=Todas las palabras del castellano. “El sonido azul silencioso se sentó bajo la montaña. S= Todos los enteros,+,-,*,/,() ((3-2)+(4*7)/9) G <x, n, p, s> X= Símbolos terminales. N= Símbolos auxiliares o no terminales. P= reglas de producción. S= Axioma inicial. X={a, b} N={V, w}
  • 16. V aw P V a W bw W b S:V Notación BNF: 1.- A los símbolos no terminales los encerramos < >. 2.- remplazamos por ::= 3.- Si varias reglas pasa por un símbolo no terminal escribimos en una sola separada por: | < V >::= a<w> |a Diagrama Sintáctico •Los símbolos terminales los encerramos: •Los símbolos no Terminales los encerramos :