3 de marzo de 2011 DSIC - UPV. Tema 5: Expresiones Regulares. U.D. Computación. Definiciones. Propiedades. Construcciones. AFs a partir de ERs
|
|
- Alba Tebar Poblete
- hace 6 años
- Vistas:
Transcripción
1 UD AFs Lem de UD DSIC - UPV 3 de mrzo de 2011 UD (DSIC - UPV) 3 de mrzo de / 40
2 Índice UD AFs Lem de sore expresiones regulres utómts finitos utómts finitos UD (DSIC - UPV) 3 de mrzo de / 40
3 UD AFs Lem de Inductivmente, un expresión regulr sore Σ se define: denot el lenguje vcio λ denot el lenguje {λ} Σ, denot el lenguje {} Si r y s son expresiones regulres que denotn L r y L s : (r) denot el lenguje L r r + s denot el lenguje L r L s rs denot el lenguje L rl s (r) denot el lenguje L r Sólo son expresiones regulres ls construids de est form UD (DSIC - UPV) 3 de mrzo de / 40
4 UD AFs Lem de Sen α, β y γ expresiones regulres 1 α + (β + γ) = (α + β) + γ 2 α(βγ) = (αβ)γ 3 α + β = β + α 4 α(β + γ) = (αβ) + (αγ) 5 (α + β)γ = (αγ) + (βγ) 6 αλ = λα = α 7 α + = + α = α 8 α = α = 9 λ = λ 10 = λ 11 α = λ + αα 12 (α + β ) = (α β ) = (α + β) 13 (αβ) α = α(βα) 14 (α β) α = (α + β) 15 (α β) = (α + β) β + λ UD (DSIC - UPV) 3 de mrzo de / 40
5 UD AFs Lem de Homomorfismo Reverso UD (DSIC - UPV) 3 de mrzo de / 40
6 UD AFs Lem de Homomorfismo Dd un expresión regulr α y un homomorfismo h : Σ α, pr otener un expresión regulr pr h(l(α)), st sustituir cd símolo de α por h() Por ejemplo, considerndo α = ( + () ) y el homomorfismo: h() = 0 y h() = 11, l expresión regulr pr h(l(α)) serí: 0(11(11) + (00) ) 11 UD (DSIC - UPV) 3 de mrzo de / 40
7 UD AFs Lem de Reverso Dd un expresión regulr α, pr otener un expresión regulr α r tl que L(α r ) = (L(α)) r, plicmos recursivmente ls siguientes regls: Si α =, α = λ o α = Σ, entonces α r = α Si α = β + γ, entonces α r = β r + γ r Si α = βγ, entonces α r = γ r β r Si α = β, entonces α r = (β r ) Por ejemplo, considerndo α = (( + ) + () ), l expresión regulr pr (L(α)) r serí: α r = (( + ) + () ) UD (DSIC - UPV) 3 de mrzo de / 40
8 UD AFs Lem de Posición Autómt UD (DSIC - UPV) 3 de mrzo de / 40
9 Cálculo de Derivds UD AFs Lem de Regls pr el cálculo de ls derivds Respecto símolos (, Σ, r, s ER) 1 1 = 2 1 λ = ( 3 1 si = λ si = 4 1 (r + s) ( = 1 r + 1 s 5 1 ( 1 r)s si λ r (rs) = ( 1 r)s + 1 s si λ r 6 1 r = ( 1 r)r Respecto cdens ( Σ, x Σ ) 1 λ 1 r = r 2 (x) 1 r = 1 (x 1 r) UD (DSIC - UPV) 3 de mrzo de / 40
10 UD AFs Lem de Entrd: α expresión regulr sore Σ Slid: AFD mínimo pr L(α) Metodo: Q = {α}; q 0 = α; F = ; δ = ; if λ L(α) then F = F {α} end if ctivos = {α} while ctivos {} do β = First(ctivos) ctivos = Rest(ctivos) for ll Σ do β = 1 β if r Q : L(r) = L(β ) then Q = Q {β } δ = δ {(β,, β )} ctivos = ctivos {β } if λ L(β ) then F = F {β } end if end if end for end while Return (Q, Σ, δ, q 0, F) Fin Metodo UD (DSIC - UPV) 3 de mrzo de / 40
11 Ejemplo UD AFs Lem de Consideremos α = ( + ) ( + ) : q 0 = α = (+) (+) ; λ L(q 0 ) por lo tnto F = 1 q 0 = q 0 1 q 0 = ( + ) ( + ) + ( + ) = q 1 ; λ L(q 1 ) por lo tnto F = 1 q 1 = q 0 1 q 1 = ( + ) ( + ) + ( + ) + ( + ) = ( + ) = q 2 ; λ L(q 2 ) por lo tnto F = {q 2 } 1 q 2 = 1 q 2 = q 2, UD (DSIC - UPV) 3 de mrzo de / 40
12 Posición UD AFs Lem de locl Lenguje Locl Expresión regulr linerizd AFD pr un expresión regulr linerizd UD (DSIC - UPV) 3 de mrzo de / 40
13 locl Lenguje Locl UD AFs Lem de El AFD A = (Q,Σ,δ,q 0,F) es locl si y solo si pr culquier Σ el conjunto {δ(q,) : q Q} posee lo sumo un elemento Si demás no existe ningún rco que lcnce q 0, el utómt es locl estndr Un lenguje es locl si y solo si es reconocido por un utómt locl estndr UD (DSIC - UPV) 3 de mrzo de / 40
14 Expresión regulr linerizd UD AFs Lem de Se α un expresión regulr y se n el número de símolos en α excluyendo préntesis y símolos de operción L expresión linerizd de α (denotd por α) se otiene colocndo un suíndice j {1,,n} cd símolo de α indicndo su pe: Siendo l versión linerizd es α = ( + )( + + ) α = ( )( ) UD (DSIC - UPV) 3 de mrzo de / 40
15 Expresión regulr linerizd UD AFs Lem de Si Σ α y Σ α son los lfetos de α y α respectivmente, y h : Σα Σ α es un homomorfismo que orr los suíndices, entonces: h(l(α)) = L(α) Por lo tnto, puede otenerse un utómt finito pr L(α) construyendo un utómt pr L(α) y posteriormente eliminndo los suíndices de este utómt (utómt de ) UD (DSIC - UPV) 3 de mrzo de / 40
16 AFD pr un expresión regulr linerizd UD AFs Lem de Tod expresión regulr linerizd denot un lenguje locl (reconocido por un AF locl estndr) Puede verse por inducción sore l estructur de ls expresiones regulres Csos se: λ UD (DSIC - UPV) 3 de mrzo de / 40
17 AFD pr un expresión regulr linerizd UD compuests: Sen α y β expresiones regulres linerizds, y sen A(α) = (Q 1,Σ 1,δ 1,q 1,F 1 ) y A(β) = (Q 2,Σ 2,δ 2,q 2,F 2 ), con Σ 1 Σ 2 =, utómts locles que ceptn L(α) y L(β) respectivmente: AFs Lem de q 1 1 n (α) q 2 1 m (β) UD (DSIC - UPV) 3 de mrzo de / 40
18 AFD pr un expresión regulr linerizd UD AFs Lem de Unión (α + β): Q = (Q 1 {q 1 }) (Q 2 {q 2 }) {q 0 }, q 0 / Q 1 Q 2 δ = {(q,, q ) δ 1 δ 2 : q / {q 1, q 2 }} {(q 0,, q) : (q 1,, { q) δ 1 (q 2,, q) δ 2 }, F 1 F 2 si q 1 / F 1 q 2 / F 2 F = (F 1 {q 1 }) (F 2 {q 2 }) {q 0 } en otro cso q 1 1 q 2 1 n m UD (DSIC - UPV) 3 de mrzo de / 40
19 AFD pr un expresión regulr linerizd UD AFs Lem de Unión (α + β): Q = (Q 1 {q 1 }) (Q 2 {q 2 }) {q 0 }, q 0 / Q 1 Q 2 δ = {(q,, q ) δ 1 δ 2 : q / {q 1, q 2 }} {(q 0,, q) : (q 1,, { q) δ 1 (q 2,, q) δ 2 }, F 1 F 2 si q 1 / F 1 q 2 / F 2 F = (F 1 {q 1 }) (F 2 {q 2 }) {q 0 } en otro cso q 0 q 1 1 q 2 1 n m UD (DSIC - UPV) 3 de mrzo de / 40
20 AFD pr un expresión regulr linerizd UD AFs Lem de Unión (α + β): Q = (Q 1 {q 1 }) (Q 2 {q 2 }) {q 0 }, q 0 / Q 1 Q 2 δ = {(q,, q ) δ 1 δ 2 : q / {q 1, q 2 }} {(q 0,, q) : (q 1,, { q) δ 1 (q 2,, q) δ 2 }, F 1 F 2 si q 1 / F 1 q 2 / F 2 F = (F 1 {q 1 }) (F 2 {q 2 }) {q 0 } en otro cso q 0 1 n 1 m UD (DSIC - UPV) 3 de mrzo de / 40
21 AFD pr un expresión regulr linerizd UD Producto (α β) (q 2 F 2 ): Q = (Q 1 Q 2 ) {q 2 }), δ = δ 1 {(q,, q ) δ 2 : q q 2 } {(q,, q ) : q F 1 (q 2,, q ) δ 2 }, q 0 = q 1 F = F 2 AFs Lem de q 1 1 n q 2 1 m UD (DSIC - UPV) 3 de mrzo de / 40
22 AFD pr un expresión regulr linerizd UD Producto (α β) (q 2 F 2 ): Q = (Q 1 Q 2 ) {q 2 }), δ = δ 1 {(q,, q ) δ 2 : q q 2 } {(q,, q ) : q F 1 (q 2,, q ) δ 2 }, q 0 = q 1 F = F 2 AFs Lem de q 1 1 n q 2 1 m UD (DSIC - UPV) 3 de mrzo de / 40
23 AFD pr un expresión regulr linerizd UD Producto (α β) (q 2 F 2 ): Q = (Q 1 Q 2 ) {q 2 }), δ = δ 1 {(q,, q ) δ 2 : q q 2 } {(q,, q ) : q F 1 (q 2,, q ) δ 2 }, q 0 = q 1 F = F 2 AFs Lem de q 1 1 n 1 1 m m UD (DSIC - UPV) 3 de mrzo de / 40
24 AFD pr un expresión regulr linerizd UD Producto (α β) (q 2 F 2 ): Q = (Q 1 Q 2 ) {q 2 }), δ = δ 1 {(q,, q ) δ 2 : q q 2 } {(q,, q ) : q F 1 (q 2,, q ) δ 2 }, q 0 = q 1 F = F 1 (F 2 {q 2 }) AFs Lem de q 1 1 n q 2 1 m UD (DSIC - UPV) 3 de mrzo de / 40
25 AFD pr un expresión regulr linerizd UD Producto (α β) (q 2 F 2 ): Q = (Q 1 Q 2 ) {q 2 }), δ = δ 1 {(q,, q ) δ 2 : q q 2 } {(q,, q ) : q F 1 (q 2,, q ) δ 2 }, q 0 = q 1 F = F 1 (F 2 {q 2 }) AFs Lem de q 1 1 n q 2 1 m UD (DSIC - UPV) 3 de mrzo de / 40
26 AFD pr un expresión regulr linerizd UD Producto (α β) (q 2 F 2 ): Q = (Q 1 Q 2 ) {q 2 }), δ = δ 1 {(q,, q ) δ 2 : q q 2 } {(q,, q ) : q F 1 (q 2,, q ) δ 2 }, q 0 = q 1 F = F 1 (F 2 {q 2 }) AFs Lem de q 1 1 n 1 1 m m UD (DSIC - UPV) 3 de mrzo de / 40
27 AFD pr un expresión regulr linerizd UD Clusur (α ): δ = δ {(q,, q ) : q F (q 0,, q ) δ} F = F 1 {q 1 }) AFs Lem de q 1 1 n UD (DSIC - UPV) 3 de mrzo de / 40
28 AFD pr un expresión regulr linerizd UD Clusur (α ): δ = δ {(q,, q ) : q F (q 0,, q ) δ} F = F 1 {q 1 }) AFs Lem de q 1 1 n 1 1 n n UD (DSIC - UPV) 3 de mrzo de / 40
29 AFD pr un expresión regulr linerizd Ejemplo UD Se α = ( + )( + + ) Entonces α = ( )( ) AFs Lem de ( ) UD (DSIC - UPV) 3 de mrzo de / 40
30 Algoritmo UD AFs Lem de 1: Entrd: α expresión regulr sore Σ 2: Slid: AFD pr L(α) 3: Metodo: 4: Otener α versión linerizd de α 5: Otener A un Autómt locl estndr pr α 6: A pos = h(a), donde h es un homomorfismo de orrdo de los suíndices 7: Return A pos 8: Fin Metodo UD (DSIC - UPV) 3 de mrzo de / 40
31 Ejemplo UD Dd α = ( + )( + + ) y su versión linerizd α = ( )( ), el utómt locl estndr pr α es: AFs Lem de UD (DSIC - UPV) 3 de mrzo de / 40
32 Posición Ejemplo UD y el utómt de pr α = ( + )( + + ) es: AFs Lem de UD (DSIC - UPV) 3 de mrzo de / 40
33 Autómt UD AFs Lem de Relción follow Autómt follow UD (DSIC - UPV) 3 de mrzo de / 40
34 Autómt UD AFs Lem de El utómt follow de un expresión regulr α se propone como el utomt cociente del utómt de por l siguiente relción: { p,q F o ien p,q Q F p f q follow(p) = follow(q) donde follow(p) = {q Q : Σ,δ(p,) = q} El utómt cociente resultnte es un reducción prcil del utómt de UD (DSIC - UPV) 3 de mrzo de / 40
35 Autómt UD Recordmos el utómt de pr α = ( + )( + + ) : AFs Lem de q 0 q 1 q 2 q 3 q 6 q 4 q 5 UD (DSIC - UPV) 3 de mrzo de / 40
36 Autómt UD Ls clses de equivlenci son: {q 0 }, {q 1,q 2,q 3,q 6 }, {q 4,q 5 }, con lo que el utómt follow pr α qued: AFs Lem de,,, {q 0 } {q 1,q 2,q 3,q 6 } {q 4,q 5 }, UD (DSIC - UPV) 3 de mrzo de / 40
37 utómts finitos UD AFs Lem de Sistems de ecuciones en expresiones regulres Lem de utómts finitos UD (DSIC - UPV) 3 de mrzo de / 40
38 Sistems de ecuciones en expresiones regulres Lem de UD AFs Lem de Ecución en expresiones regulres: Ecución linel donde vriles y coeficientes tomn l form de expresiones regulres X = rx + s Lem de : Se X = rx + s un ecución en expresiones regulres X = r s es un solución pr l ecución Es únic si λ r demostrmos que r s es solución: rx + s = X=r s rr s + s = (rr + λ)s = rr +λ=r r s Si λ r existen infinits soluciones: t Σ, r (s + t) es solución: X =rx + s = rr (s + t) + s = rr s + rr t + s = =(rr + λ)s + rr t = rr +λ=r r s + r t = X=r (s+t) X UD (DSIC - UPV) 3 de mrzo de / 40
39 Sistems de ecuciones en expresiones regulres UD AFs Lem de Ddo un sistem de ecuciones en expresiones regulres: X 1 = r 11 X 1 + r 12 X r 1n X n + s 1 X 2 = r 11 X 1 + r 12 X r 1n X n + s 2 X n = r 11 X 1 + r 12 X r 1n X n + s 3 l resolución viene trs plicr el método de Guss utilizndo el Lemm de pr reducir UD (DSIC - UPV) 3 de mrzo de / 40
40 AFs Algoritmo UD AFs Lem de 1: Entrd: Autómt finito A = (Q,Σ,δ,q 1,F) con Q = {q 1,q 2,,q n } 2: Slid: Expresión regulr pr L(A) 3: Metodo: 4: Por cd estdo q i introducir un vrile X i 5: Si q i F entonces en l prte derech de l i-esim ecución prece el término λ 6: Si q j δ(q i,) entonces en l prte derech de l i-esim ecución prece el término X j, con Σ {λ} 7: Resolver el sistem de ecuciones en expresiones regulres utilizndo el Lem de pr reducir 8: Devolver l expresión regulr socid l estdo inicil 9: Fin Metodo UD (DSIC - UPV) 3 de mrzo de / 40
Tema 4: Operaciones sobre lenguajes regulares
Tem 4: Operciones sore lengujes regulres Deprtmento de Sistems Informáticos y Computción DSIC - UPV http://www.dsic.upv.es p.1/19 Tem 4: Propieddes de los lengujes regulres Lem de omeo pr lengujes regulres.
Más detalles5. Lenguajes Regulares
5. Lengujes Regulres Arceli Snchis de Miguel Agpito Ledezm Espino José A. Iglesis Mr
Más detallesAutómatas finitos TEORÍA DE LA COMPUTACIÓN LENGUAJES REGULARES Y AUTÓMATAS FINITOS. Ejemplo 2. Ejemplo 1
Autómts finitos TEORÍA DE LA COMPUTACIÓN LENGUAJES REGULARES Y AUTÓMATAS FINITOS Frncisco Hernández Quiroz Deprtmento de Mtemátics Fcultd de Ciencis, UNAM E-mil: fhq@ciencis.unm.mx Págin We: www.mtemtics.unm.mx/fhq
Más detallesFundamentos de Algoritmos y Computabilidad
Fundmentos de Algoritmos y Computilidd * Autómts finitos * Autómts finitos determinists * Autómts finitos no determinists * Equivlenci entre AFD y AFN Lengujes regulres Tipo Lengujes Tipo de máquin 0 Recursivmente
Más detallesAprendizaje de lenguajes incontextuales (II) Autómatas de árboles y gramáticas incontextuales
prendizje de lengujes incontextules (II) utómts de ároles y grmátics incontextules José M. Sempere Deprtmento de Sistems Informáticos y omputción Universidd Politécnic de Vlenci onceptos ásicos de los
Más detallesAutómatas finitos AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES REGULARES Y AUTÓMATAS FINITOS. Ejemplo 2. Ejemplo 1
Autómts finitos AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES REGULARES Y AUTÓMATAS FINITOS Frncisco Hernández Quiroz Deprtmento de Mtemátics Fcultd de Ciencis, UNAM E-mil: fhq@ciencis.unm.mx Págin We: www.mtemtics.unm.mx/fhq
Más detallesTemas. Objetivo. Definición de autómata finito. Autómata finito determinístico y no determinístico. Autómata finito de estados mínimos 14:17
0 Tems Definición de utómt finito Autómt finito determinístico y no determinístico Autómt finito de estdos mínimos Ojetivo Que el estudinte logre: 1) Identificr conceptos constructivos de l Teorí de l
Más detallesCapítulo 8: Propiedades de Lenguajes Regulares
Cpítulo 8: Propieddes de Lengujes Regulres 8.1. Identificción de lengujes no regulres 8.1.1. Lem de Boeo 8.1.2. Aplicciones del lem de omeo 8.2. Propieddes de Cierre 8.2.1. Unión, Conctención, Clusur 8.2.2.
Más detallesTeoría de Lenguajes. Transductores y Máquinas Secuenciales Generalizadas
Teorí de Lengujes Trnsductores y Máquins Secuenciles Generlizds José M. Sempere Deprtmento de Sistems Informáticos y Computción Universidd Politécnic de Vlenci Trnsductores 1. Preliminres lgericos 2. Relciones
Más detallesAUTÓMATAS DE PILA. Dpto. de Informática (ATC, CCIA y LSI). Univiersidad de Valladolid.
Dpto. de Informátic (ATC, CCIA y SI). Univiersidd de Vlldolid. TEORÍA DE AUTÓMATAS Y ENGUAJES FORMAES II Ingenierí Técnic en Informátic de Sistems. Curso 20-2 AUTÓMATAS DE PIA. Dd l siguiente grmátic independiente
Más detallesAUTOMATAS FINITOS CIENCIAS DE LA COMPUTACION I 2009
AUTOMATAS FINITOS Un utómt finito es un modelo mtemático de un máquin que cept cdens de un lenguje definido sore un lfeto A. Consiste en un conjunto finito de estdos y un conjunto de trnsiciones entre
Más detallesq 2 q 3 b q 3 q 4 a, b
M = (Σ E, Q, q, f, F ) donde Reconocedor finito determinist Slide Σ E : lfeto de entrd Q : conjunto de estdos, f inito q Q : estdo inicil f : Q Σ E Q función prcil de trnsición F Q : estdos finles o de
Más detallesINGENIERÍA EN INFORMÁTICA MODELOS ABSTRACTOS DE COMPUTO I
INGENIERÍA EN INFORMÁTICA MODELOS ABSTRACTOS DE COMPUTO I 18 de enero de 2008 APELLIDOS Y NOMBRE: DURACIÓN: 3 hors. SOLUCIÓN del EXAMEN L primer pregunt es un test, que const de 8 supregunts corts y puntú
Más detallesAutómatas sobre palabras infinitas
Autómts sobre plbrs infinits Mrcelo Arens M. Arens Autómts sobre plbrs infinits 1 / 46 Teorí de utómts sobre plbrs infinits Los utómts sobre plbrs infinits son un herrmient fundmentl pr l verificción forml.
Más detallesAutómatas Finitos. Programación II Margarita Álvarez 0,1 0,1. q 3
Autómts Finitos 0,1 0,1 q 0 0 q 1 0 q 2 1 q 3 1 Progrmción II Mrgrit Álvrez Autómts Dispositivo mecánico cpz símolos. de procesr cdens de Ddo un lenguje L definido sore un lfeto A y un cden x ritrri, determin
Más detallesCiencias de la Computación I
Ciencis de l Computción I Propieddes de Clusur de Lengujes Regulres y Lengujes Libres del Contexto Propieddes de Clusur de Lengujes Regulres Los lengujes regulres (LR son cerrdos bjo ls siguientes operciones:
Más detallesEjercicios resueltos de Lenguajes, Gramáticas y Autómatas ( )
Ejercicios resueltos de Lengujes, Grmátics y utómts (-2-4). Encuentr el FD mínimo que reconoce el lenguje representdo por l ER ( + + ) ( + ) Pr otener el FD mínimo correspondiente (+ +ɛ) (+) tenemos que
Más detallesTema 2: Lenguajes regulares
Tem : Lengujes regulres Ide de utómt Autómts finitos y grmátis regulres Autómts finitos determinists Autómts finitos no determinists Grmátis regulres (y lineles) l dereh Exresiones regulres Exresiones
Más detallesExamen Parcial de Autómatas y Lenguajes Formales 12 de diciembre de 2003
Exmen Prcil de Autómts y Lengujes Formles 2 de diciemre de 23 Resolver los siguientes prolems. Tiempo 2 hors.. Dr un grmátic y demostrr que es correct pr L = { m n 2m < n < 3m}. 2. Dr un utómt de pil determinist
Más detalles1 Se construye una tabla. 2 Se repite lo siguiente hasta que ya no haya cambios: (q i, q j ) := s.
Minimlizción Reconocimiento de cdens Minimlizción de estdos AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES REGULARES II LENGUAJES INDEPENDIENTES DEL CONTEXTO Frncisco Hernández Quiroz Deprtmento de Mtemátics
Más detalles1 Se construye una tabla. 2 Se repite el siguiente procedimiento hasta que ya no haya cambios: (q i, q j ) := s.
Minimlizción de estdos Minimlizción de estdos AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES REGULARES II LENGUAJES INDEPENDIENTES DEL CONTEXTO Frncisco Hernández Quiroz Deprtmento de Mtemátics Fcultd de Ciencis,
Más detallesRelación de ejercicios hechos en clase en los últimos días previos al examen de febrero
Relción de ejercicios hechos en clse en los últimos dís previos l exmen de ferero De cuerdo con l definición de APND, propón 5 ejemplos de utómt con pil que cepten: - el lenguje Σ * ({f}, Σ, Σ, { ((f,,ε),
Más detallesExámenes de Teoría de Autómatas y Lenguajes Formales. David Castro Esteban
Exámenes de Teorí de Autómts y Lengujes Formles Dvid Cstro Esten Teorí de Autómts y Lengujes Formles Ingenierí Técnic en Informátic de Sistems Ferero 24 Prolem (2 ptos.) Otener expresiones regulres pr
Más detallesConstrucción de Vardi & Wolper: Paso final
Construcción de Vrdi & Wolper: Pso finl Pr simplificr el proceso de construcción, usmos un generlizción de los utómts de Büchi: Definición A = (Q,Σ,Q 0,δ, G) es un utómt de Büchi generlizdo sore Σ si:
Más detallesCaracterización de lenguajes regulares con expresiones regulares
Crcterizción de lengujes regulres con expresiones regulres Elvir Myordomo Universidd de Zrgoz 15 de octubre de 2012 Contenido de este tem Recordtorio de expresiones regulres (e.r.) Cómo convertir un e.r.
Más detallesGRAMATICAS REGULARES - EXPRESIONES REGULARES
CIENCIAS DE LA COMPUTACION I 29 GRAMATICAS REGULARES - EXPRESIONES REGULARES Grmátis Ls grmátis formles definen un lenguje desriiendo ómo se pueden generr ls dens del lenguje. Un grmáti forml es un udrupl
Más detallesTEORÍA DE AUTÓMATAS I Informática de Sistemas
TEORÍA DE AUTÓMATAS I Informátic de Sistems Soluciones ls cuestiones de exmen del curso 25/6 Ferero 26, ª semn. Se un utómt finito M={S, Σ, δ, ι, F,}. Sen p,q S;, Σ. Indique cuál de ls siguientes firmciones
Más detallesUniversidad de Valladolid
Universidd de Vlldolid Deprtmento de Informátic Teorí de utómts y lengujes formles. 2 o I.T.Informátic. Gestión. Exmen de segund convoctori, 5 de septiemre de 2007 Apellidos, Nomre... Grupo:... Firm: 1
Más detalles4.2 Gramáticas libres de contexto. 4.1 Introducción
1 Curso Básico de Computción 4 Grmátics libres de contexto 4.1 Introducción Un grmátic libre de contexto es un conjunto finito de vribles, cd un de ls cules represent un lenguje. Los lengujes representdos
Más detallesUna Introducción a la Teoría de Autómatas sobre Arboles
Un Introducción l Teorí de Autómts sobre Arboles IIC3800 IIC3800 Un Introducción l Teorí de Autómts sobre Arboles 1 / 40 Arboles etiquetdos Σ: Alfbeto (conjunto finito de símbolos) Definición (Arbol binrio)
Más detallesINGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS
UNIVERSIDAD DE CÓRDOBA ESCUELA POLITÉCNICA SUPERIOR DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS SEGUNDO CURSO, SEGUNDO CUATRIMESTRE TEORÍA DE AUTÓMATAS
Más detallesInformática Teórica. Tema 4: Autómatas Finitos
Informátic Teóric Tem 4: Autómts Finitos 1 Autómts Finitos. Biliogrfí M. Alfonsec, J. Sncho y M. Mrtínez. Teorí de Lengujes, Grmátics y Autómts, R.A.E.C., Mdrid, (1998). P. Issi, P. Mrtínez y D. Borrjo.
Más detallesMinimización de AFDs, método y problemas
Minimizción de Fs, método y prolems Elvir Myordomo, Universidd de Zrgoz 8 de octure de. Resultdos sore utómts determinists mínimos El F mínimo existe y es único, es decir Teorem. do unf M = (Q,Σ,δ,q,F),
Más detallesINGENIERÍA EN INFORMÁTICA MODELOS ABSTRACTOS DE COMPUTO I
INGENIERÍA EN INFORMÁTICA MODELOS ABSTRACTOS DE COMPUTO I 22 de Junio de 2009 SOLUCIONES 1. (0,5 puntos) Sobre el lfbeto {,b}, d expresiones regulres que denoten los siguientes lengujes: ) El lenguje formdo
Más detalles1. Indicar el lenguaje aceptado por los siguientes autómatas :
Universidd Rey Jun Crlos Curso 27 28 Teorí de Autómts y Lengujes Formles Ingenierí Técnic en Informátic de Sistems Hoj de Prolems 4 Autómts Finitos Determinists Nivel del ejercicio : ( ) ásico, ( ) medio,
Más detallesTEMA 3 MECANISMOS REGULARES. LEXICOGRAFÍA
TEMA 3 MECANISMOS REGULARES. LEXICOGRAFÍA 3.1.- Lenguje regulr Un lenguje regulr es un lenguje forml que puede ser definido por medio de un mecnismo regulr, son mecnismos regulres: ls expresiones regulres,
Más detallesDIAPOSITIVAS AUTÓMATAS CON TRANSICIONES ÉPSILON (EJERCICIOS) UNIDAD DE APRENDIZAJE: AUTÓMATAS Y LENGUAJES FORMALES
DIAPOSITIVAS AUTÓMATAS CON TRANSICIONES ÉPSILON (EJERCICIOS) UNIDAD DE APRENDIZAJE: AUTÓMATAS Y LENGUAJES FORMALES PROGRAMA EDUCATIVO: INGENIERÍA EN COMPUTACIÓN ESPACIO ACADÉMICO: FACULTAD DE INGENIERÍA
Más detallesTeoría de Autómatas y Lenguajes Formales
Teorí de Autómts Lengujes Formles Ingenierí Téni en Informáti de Sistems Segundo urso, segundo utrimestre Curso démio: 2010 2011 Deprtmento de Informáti Análisis Numério Esuel Politéni Superior Universidd
Más detallesRelaciones de equivalencia
Relciones de equivlenci. Un relción de equivlenci en un conjunto X se puede interpretr como el suconjunto de X X ddo por (, ) X X }. Enúnciesen ls propieddes de l relción de equivlenci en términos de dicho
Más detallesMÉTODOS DE INTEGRACIÓN
Mtemátics II LE.Tem 4: Introducción l teorí de integrción Integrles inmedits MÉTODOS DE INTEGRACIÓN x α = xα+ α+ + C, si α - (f(x)) α f '(x) = (f(x))α+ + C, si α - α + x = x + C f '(x) = f(x) + C f(x)
Más detallesTema 3: Sistemas de ecuaciones lineales
Tem 3: Sistems de ecuciones lineles 1. Introducción Los sistems de ecuciones resuelven problems relciondos con situciones de l vid cotidin, que tiene que ver con ls Ciencis Sociles. Nos centrremos, por
Más detallesTeoría de Autómatas y Lenguajes Formales. Propiedades de los lenguajes regulares
Teoí de Autómts y engujes Fomles Popieddes de los lengujes egules José M. Sempee Deptmento de Sistems Infomáticos y Computción Univesidd Politécnic de Vlenci Popieddes de los lengujes egules. Algunos conceptos
Más detallesTema 14. Gramáticas libres del contexto (GLC o CFG) Dr. Luis A. Pineda ISBN: Definición recursiva de lenguajes
Hy lengujes que no son regulres Tem 4 Grmátics libres del contexto (GLC o CFG) Dr. Luis A. ined ISBN: 97-32-2972-7 l = {w w = w R } {, } l no es regulr: l lem del bombeo: Se n l constnte socid Se w = n
Más detallesJune 24, 2011 DSIC - UPV. Autómatas Finitos. U.D. Computación. Autómata Finito Determinista. Autómata Finito no Determinista
s s no s s s DSIC - UPV June 24, 2011 (DSIC - UPV) s s June 24, 2011 1 / 41 (AFD) s s no s (AFD) Un (AFD) es un 5-tupl de l siguiente form: A = (Q,Σ,δ, q 0, F), siendo: Q un conjunto finito de estdos Σ
Más detallesRelación 3. Sistemas de ecuaciones
Relción. Sistes de ecuciones Ejercicio. Consider el siste de ecuciones ) Eiste un solución del iso en l que? ) Resuelve el siste hoogéneo socido l siste ddo. c) H un interpretción geoétric tnto del siste
Más detallesEn la definición clásica [85], los autómatas a pila son considerados tuplas. movimientos o transiciones válidos del autómata.
Cpítulo 5 Autómts pil Los utómts pil son máquins bstrcts que reconocen exctmente l clse de los lengujes independientes del contexto. En este cpítulo introducimos este tipo de utómts, que servirán de bse
Más detallesUNIDAD IV ÁLGEBRA MATRICIAL
Vicerrectordo cdémico Fcultd de iencis dministrtivs Licencitur en dministrción Mención Gerenci y Mercdeo Unidd urriculr: Mtemátic II UNIDD IV ÁLGER MTRIIL Elordo por: Ing. Ronny ltuve, Esp. iudd Ojed,
Más detallesDERIVADAS PARCIALES DE UNA FUNCIÓN N DE VARIAS VARIABLES
DERIVADAS PARCIALES DE UNA FUNCIÓN N DE VARIAS VARIABLES Deinición de derivd prcil en un punto lim + Se : A R con A R se un punto interior de A. Se denominn derivds prciles de respecto ls vriles e en el
Más detallesÁlgebra. Ingeniería Industrial. Curso 2005/2006 Examen de Septiembre
Álger. Ingenierí Industril. Curso /6 Emen de Septiemre Ejercicio (I) (.) [ puntos Siendo que un de ls ríces cúics de w es z = i. Determinr el número complejo w epresr ls otrs dos ríces cúics de w en form
Más detallesTema 22. El lema de bombeo para LR
Tem 22 Lem de omeo pr LLC Dr. Luis A. Pined IBN: 970-32-2972-7 Cómo podemos decir si un lenguje es lire del contexto? Definir un GLC o diseñr un AP pr el lenguje Pero que tl si el lenguje se descrie por
Más detallesParte III: Lenguajes y Autómatas
Introducción l Lógic y l Computción Prte III: Lengujes y Autómts Autor 1r. Versión: Alejndro Tirboschi Autor 2d. Versión: Pedro Sánchez Terrf Autores 3r. Versión: Rul Fervri y Ezequiel Orbe 1 Modelos de
Más detallesTEORÍA DE AUTÓMATAS I Informática de Sistemas. Soluciones a las cuestiones de examen del curso 2010/11
TEORÍA DE AUTÓMATAS I Informátic de Sistems Soluciones ls cuestiones de exmen del curso 2/ Ferero, ª semn. Indique cuál de ls siguientes firmciones referentes los operdores sore símolos *, y es FALSA:
Más detallesApuntes de Lenguajes Formales para Compiladores. Ing. Adrian Ulises Mercado Martinez Revisión Ing. Laura Sandoval Montaño
Apuntes de Lengujes Formles pr Compildores Ing. Adrin Ulises Mercdo Mrtinez Revisión Ing. Lur Sndovl Montño 15 de ferero de 2013 2 Índice generl 1 Lengujes Regulres 5 1.1 Alfeto..........................................
Más detallesDeterminantes y la Regla de Cramer
Determinntes y l Regl de Crmer Mtriz Invers Not: un mtriz cudrd que no tiene invers se llm mtriz singulr. Ejemplo: Hllr l invers de A. A 4 Si l plicr el método de Guss se obtiene ceros en los elementos
Más detallesClase Auxiliar 5. Aútomatas Finitos Determinísticos (Diagramas de Estado)
CC2A Computción II Auxilir 5 Iván Bustmnte Clse Auxilir 5 Aútomts Finitos Determinísticos (Digrms de Estdo) Un utómt finito determinístico es un modelo de un sistem que tiene un cntidd finit de estdos
Más detallesPROGRAMA EDUCATIVO: INGENIERÍA EN COMPUTACIÓN ELABORÓ: LILIA OJEDA TOCHE
DIAPOSITIVAS AUTÓMATAS DETERMINISTAS Y NO DETERMINISTAS (EJERCICIOS) UNIDAD DE APRENDIZAJE: AUTÓMATAS Y LENGUAJES FORMALES PROGRAMA EDUCATIVO: INGENIERÍA EN COMPUTACIÓN ESPACIO ACADÉMICO: FACULTAD DE INGENIERÍA
Más detallesCalcular la pendiente y los puntos de intersección con los ejes coordenados de una recta. y (x,y) (x 2,y 2) (x 1,y 1 )
Clse 1: Ecución de l rect Determinr l pendiente del segmento de rect que une dos puntos. Comprender ls distints representciones lgerics de l ecución de l rect. Determinr un ecución pr un rect ddos dos
Más detalles1. DEFINICIÓN Y CLASIFICACIÓN DE MATRICES
Mtrices. . DEFINICIÓN Y CLSIFICCIÓN DE MTRICES Ls mtrices son utilizds por primer vez hci el ño por Jmes Joseph Sylvester. El desrrollo inicil de l teorí mtricil se debe l mtemático británico Willim Rown
Más detalles7 DE LA EXPRESIÓN REGULAR AL AUTÓMATA FINITO
7 DE LA EXPRESIÓN REGULAR AL AUTÓMATA FINITO En los cpítulos nteriores se hn construído diversos AFDs y AFNs que reconocen distintos LRs. Pero no siempre result tn sencillo ni tn seguro diseñr un Autómt
Más detallesLeccion 6. Espacio tangente. Espacio cotangente.
Leccion 6. Espcio tngente. Espcio cotngente. Estudir: 1 14,20 25. 6.1. Introduccion 1. El objetivo de est leccion es probr que los vectores tngentes X en hcen justici su nombre, ie., que el conjunto T
Más detallesTEORÍA DE AUTÓMATAS I Informática de Sistemas. Soluciones a las cuestiones de examen del curso 2011/12
TEORÍA DE AUTÓMATAS I Informátic de Sistems Soluciones ls cuestiones de exmen del curso 2011/12 Ferero 12, 1ª semn 1. Considere el lenguje { 2n n c / 0}. Indique cuál de ls siguientes firmciones es fls:
Más detallesAdemás de las operaciones tradicionales, es posible expresar otras operaciones binarias. Tabla 1.1. Operación AND.
Grupos y Cmpos Definición de operción inri Operciones como l sum, rest, multiplicción o división de números son considerds operciones inris, y que socin un pr de números con un resultdo. En generl, un
Más detallesÁlgebra. Ingeniería Industrial. Curso 2008/2009 Primer Parcial. Primera parte de la convocatoria de Febrero
Álger. Ingenierí Industril. Curso 8/9 Primer Prcil. Primer prte de l convoctori de Ferero Ejercicio (I) (.) [ puntos] Hllr l prte rel e imginri de z siendo z = ³ + 7 ³ i + i 7. (.) [ puntos] Expresr en
Más detallesConjuntos y expresiones regulares. Propiedades de las expresiones regulares (1) Propiedades de las expresiones regulares (2)
César Ignacio García Osorio Área de Lenguajes y Siste mas Informáticos Universidad de Burgos Conjuntos y expresiones regulares Conjunto regular: Cualquier conjunto de cadenas que se pueda formar mediante
Más detallesFunción de transición δ. Tema 6. Función de transición extendida. Función de transición extendida. Función de transición extendida
Tem 6 El lenguje eptdo por un FA Funión de trnsiión δ p j p l Dr. Luis A. Pined ISBN: 970-32-2972-7 Σ Q p i p k n Pr todo en Q & Σ, δ(, ) = p Funión de trnsiión etendid δ permite moverse the un estdo otro
Más detallesApuntes de A. Cabañó Matemáticas II SISTEMAS DE ECUACIONES LINEALES
puntes de. Cbñó Mtemátics II SISTEMS DE ECUCIONES LINELES 8. Epresión mtricil de un sistem.clsificción de un sistem en términos del número de soluciones. 8. Teorem de RouchéFrobenius. 8. El método de eliminción
Más detallesAutómata Finito. ER ab. ER ab + aab. ER a +ab + aab. ER a*
Autómt Finito ER 0-1 2 + ER + 0-1 2 + 3 4 + ER + + 0-1 + 2 + 3 4 + ER * 0 + - 1 ER * 0-1 + Ejemplo (+*) AFD incompleto / completo Tods ls plrs de es y/o es que tienen por lo menos dos letrs. Tods ls plrs
Más detallesXI. LA HIPÉRBOLA LA HIPÉRBOLA COMO LUGAR GEOMÉTRICO
XI. LA HIPÉRBOLA 11.1. LA HIPÉRBOLA COMO LUGAR GEOMÉTRICO Definición L hipérol es el lugr geométrico descrito por un punto P que se mueve en el plno de tl modo que el vlor soluto de l diferenci de sus
Más detallesUNIDAD III INECUACIONES
Licencitur en Administrción Mención Gerenci y Mercdeo UNIDAD III INECUACIONES Elordo por: Ing. Ronny Altuve Rg, Esp. Ciudd Ojed, mrzo de 2017 Universidd Alonso de Ojed s reles Los números que están ordendos
Más detallesλ = A 2 en función de λ. X obtener las relaciones que deben
Modelo. Ejercicio. Clificción áxi: puntos. Dds ls trices, ) (,5 puntos) Hllr los vlores de pr los que existe l triz invers. ) ( punto) Hllr l triz pr 6. c) (,5 puntos) Resolver l ecución tricil X pr 6.
Más detallesFundamentos de Informática I. ITI Sistemas - (C) César Llamas, UVA, Representación. funcionamiento. funcionamiento.
Autómts Fundmentos de Informátic I. ITI Sistems - (C) Césr Llms, UVA, 24 Autómts Introducción Representción AF determinist y lengujes funcionmiento δ - mplid AF no determinist no determinismo funcionmiento
Más detallesBLOQUE II: ÁLGEBRA =... son números reales, el primer índice indica la fila y el segundo la columna en la que se encuentra el elemento.
BLOQUE II: ÁLGEBR Deprtmento de Mtemátics 2º Bchillerto - DEFINICIONES: Un mtriz viene dd por 2 = m 2 22 m2 3 23 m3 n 2n mn donde son números reles, el primer índice indic l fil y el segundo l column en
Más detallesX obtener las relaciones que deben
odelo. Ejercicio. Clificción áxi puntos ) ( punto) Dd l triz y l triz t z y x X otener ls relciones que deen cuplir x, y, z, t pr que l triz X verifique X X. ) (, puntos) Dr un ejeplo de l triz X distint
Más detallesMáquinas Secuenciales, Autómatas y Lenguajes. Tema 4: Expresiones Regulares. Luis Peña
Máquinas Secuenciales, Autómatas y Lenguajes Tema 4: Expresiones Regulares Luis Peña Sumario Tema 4: Expresiones Regulares. 1. Concepto de Expresión Regular 2. Teoremas de Equivalencia Curso 2012-2013
Más detallesEjercicios de Lenguajes Gramáticas y Autómatas. Curso 2004 / 2005
Ejercicios de Lengujes Grmátics y Autómts Curso 24 / 25 Lengujes Regulres... 2 A. Ejercicio ásicos... 2 B. Ejercicios de exmen... 5 Lengujes Independientes del Contexto... 9 C. Ejercicio ásicos... 9 D.
Más detallesSolución Examen. (1 + a)x + y + z + u = α x + (1 + a)y + z + u = β x + y + (1 + a)z + u = γ x + y + z + (1 + a)u = δ.
Ingenierí Mtemátic FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Algebr Linel MA 0, 0/08/3, Profs. J. González, R. Gouet. Solución Exmen. Considere el siguiente sistem de ecuciones lineles,
Más detallesExamen con soluciones
Cálculo Numérico I. Grdo en Mtemátics. Exmen con soluciones. Decidir rzondmente si ls siguientes firmciones son verdders o flss, buscndo un contrejemplo en el cso de ser flss (.5 puntos): () Si f(x) cmbi
Más detallesVECTORES, PLANOS Y RECTAS EN R 2 Y R 3
Profesionl en Técnics de Ingenierí VECTORES, PLANOS Y RECTAS EN R Y R 3 1. Puntos en R y R 3 Un pr ordendo (, ) y un tern ordend (,, c) representn puntos de IR y IR 3, respectivmente.,, c, se denominn
Más detallesUNIVERSIDAD DE CANTABRIA DEPARTAMENTO DE INGENIERÍA ELÉCTRICA Y ENERGÉTICA NÚMEROS COMPLEJOS. Miguel Angel Rodríguez Pozueta
DEPARTAMENTO DE INGENIERÍA ELÉCTRICA ENERGÉTICA NÚMEROS COMPLEJOS Miguel Angel Rodríguez Pozuet Doctor Ingeniero Industril OBSERVACIONES SOBRE LA NOMENCLATURA En este teto, siguiendo l nomencltur hitul
Más detallesDadas las matrices: y. a) Hallar A 10. b) Hallar la matriz inversa de B. c) En el caso particular de k=0, halla B 10. (PAU Septiembre )
Dds ls mtrices: ) Hllr A. b) Hllr l mtri invers de B. c) En el cso prticulr de k=, hll B. (PAU Septiembre 4-5) ) A = = A = = = O A 4 = A A= O A = O ; lo mismo A 5, A 6 por tnto A = b) B = = ; Es un mtri
Más detallesTorres de Hanoi. Descripción del problema. Entrada. Salida
Torres de Hnoi Descripción del problem Se tienen tres torres y un conjunto de N discos de diferentes tmños. d uno tiene un perforción en el centro que les permite deslizrse por ls torres. Inicilmente,
Más detalles1. Indicar el lenguaje aceptado por los siguientes autómatas :
Universidd Rey Jun Crlos Grdo en Ingenierí de Computdores Máquins Secuenciles, Autómts y Lengujes Hoj de Prolems: Autómts Finitos Determinists Nivel del ejercicio : ( ) ásico, ( ) medio, ( ) vnzdo.. Indicr
Más detallesLenguajes y Autómatas finitos
Trjo VII Semestre A2005 Teorí Lengujes y Autómts finitos 1. Lengujes. Conceptos fundmentles Se Σ un colección finit de símolos. Este conjunto de símolos se denomin lfeto y los elementos letrs. Un plr sore
Más detallesa (3, 1, 1), b(1, 7, 2), c (2, 1, 4) = 18,5 u 3
8 Clcul el volumen del prlelepípedo determindo por u(,, ), v (,, ) y w = u v. Justific por qué el resultdo es u v. w = u Ò v = (,, ) (,, ) = (, 6, 5) [u, v, w] = 6 5 u v = 9 + 6 + 5 = 7 = 7 Volumen = 7
Más detallesCÁLCULO INTEGRAL SESIÓN 5: INTEGRAL DEFINIDA Y APLICACIONES DE LA INTEGRAL. INTEGRAL DEFINIDA
CÁLCULO INTEGRAL SESIÓN 5: INTEGRAL DEFINIDA Y APLICACIONES DE LA INTEGRAL. COMPETENCIA: resolver y plnter integrles que le yuden clculr el áre de un región cotd por dos o más funciones plicndo el teorem
Más detallesPROBLEMAS DE ÓPTICA INSTRUMENTAL
Grupos A y B Curso 006/007 ROBEMAS DE ÓTICA INSTRUMENTA. Considérese un sistem óptico ilumindo por un hz de luz monocromátic de longitud de ond λ 550nm. El sistem está compuesto por dos lentes delgds que
Más detallesMinimización de autómatas. Minimización de autómatas. Ejemplo 1. Ejemplo 2. b b
Minimizción de utómts Construcción de un AFDt con un número de estdos mínimo que se equivlente un AFDt ddo. Definiciones previs: Estdos ccesiles: es ccesile q ccesile s Σ, δ(q, s) es ccesile Estdos k-equivlentes
Más detallesInducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS LENGUAJES REGULARES I.
Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS LENGUAJES REGULARES I Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM
Más detallesX = x ) pierde su significado. Lo que se hace es sustituir la definida sólo para x,..., por una función f (x)
rte Vriles letoris. Vriles letoris continus En l sección nterior se considerron vriles letoris discrets, o se vriles letoris cuo rngo es un conjunto finito o infinito numerle. ero h vriles letoris cuo
Más detallesZ ξ. g(t)dt y proceda como sigue:
Prolems Prolem.9. Sen f(x) y g(x) funciones continus en [,] y f (x) continu y de signo constnte en [,]. demuestre que (,) tl que f(x)g(x)dx = f() g(x)dx+ f() g(x)dx. R Pr esto considere l función G(x)
Más detallesSISTEMAS DE ECUACIONES LINEALES: Igualación y Sustitución
INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: AREA : MATEMÁTICAS ASIGNATURA: MATEMÁTICAS DOCENTE: JOSÉ IGNACIO DE JESÚS FRANCO RESTREPO TIPO DE GUIA: CONCEPTUAL - EJERCITACION PERIODO GRADO N 0
Más detallesAUTOMATAS FINITOS Traductores
Universidd de Morón Lengujes Formles y Autómts AUTOMATAS FINITOS Trductores AUTOMATAS FINITOS Un utómt finito es un modelo mtemático que posee entrds y slids. Un utomát finito recie los elementos tester
Más detallesDonde a los elementos de E y R se les llama vectores y escalares respectivamente, los segundos como coeficientes de los primeros.
4. Espcios vectoriles, definición propieddes Viguers En l Físic, con frecuenci se us el término vector pr descriir mgnitudes como l fuer, l velocidd, l celerción, otros fenómenos de l nturle, sin emrgo
Más detallesScientia Et Technica ISSN: Universidad Tecnológica de Pereira Colombia
Scienti Et Technic ISSN: 0122-1701 scienti@utp.edu.co Universidd Tecnológic de Pereir Colomi RIOS P, JORGE IVAN; MORALES PEÑA, HUGO HUMBERTO; AGUDELO ZAPATA, AUGUSTO ANGEL ALGORITMO PARA REDUCIR LA COMPLEJIDAD
Más detallesEJERCICIO RESUELTO. El muro de gravedad de la figura sostiene un terreno granular cuyos datos son conocidos.
JRCICIO RSULTO l muro de gredd de l figur sostiene un terreno grnulr cuyos dtos son conocidos. Se pide:. Utilindo l teorí de Rnkine, clculr y dibujr el digrm de presiones del terreno sobre el muro.. Utilindo
Más detallesUNIVERSIDAD NACIONAL DE INGENIERIA P.A FACULTAD DE INGENIERIA MECANICA 04/02/2014 DACIBAHCC EXAMEN PARCIAL DE METODOS NUMERICOS (MB536C)
UIVERSIDAD ACIOAL DE IEIERIA P.A. 4- FACULAD DE IEIERIA MECAICA 44 EXAME PARCIAL DE MEODOS UMERICOS (MB56C) DURACIO: MIUOS SOLO SE PERMIE EL USO DE UA HOJA DE FORMULARIO A4 ESCRIBA CLARAMEE SUS PROCEDIMIEOS
Más detallesIntegración de funciones racionales
Integrción de funciones rcionles P() Se l integrl d donde P() y Q() son funciones polinómics. Si el grdo P() Q() se Q() divide P() entre Q() medinte el método de l cj y se otiene un cociente () y un resto
Más detallesLos Números Racionales
Cpítulo 12 Los Números Rcionles El conjunto de los números rcionles constituyen un extesión de los números enteros, en el sentido de que incluyen frcciones que permiten resolver ecuciones del tipo x =
Más detalles