Relación de ejercicios hechos en clase en los últimos días previos al examen de febrero

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Relación de ejercicios hechos en clase en los últimos días previos al examen de febrero"

Transcripción

1 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,,ε), (f,ε)) Σ}, f, {f}) - ({f}, Σ, Σ,, f, ) - un lenguje finito no vcío L({f}, Σ, Σ,, f, {f}) = {ε} - un lenguje infinito diferente de Σ * L({s,f}, Σ, Σ, { ((s,,ε), (f,ε)) Σ}, s, {f}) = Σ * {ε} - y un lenguje infinito no numerle. no existe tl lenguje Siendo K = {s,f}, Σ = {,}, Γ={,} y F = {f}, propón ejemplos de trnsiciones que: - cepten de l entrd si hy en l cim y no escrin nd en l pil ((s,,),(s,ε)) - sustituyn l cim de l pil por si est contiene, ((s,ε,),(s,)) - hgn trnsitr l estdo f si se puede ceptr de l entrd y l cim es. ((s,,),(f,ε)) Con ls definiciones nteriores, propón ejemplos de configurciones que: - contengn l cden en estdo finl y con l pil vcí, (f,,ε), f F - tengn en l pil el mismo contenido que en l cden de entrd, (s,w,w), w Σ * y w Γ + - no estén en estdo finl y no tengn l pil vcí. (s,ε,w), s F, w Γ +

2 EJEMPLO DE TEST Mrcr A (Verddero) o B (Flso) en l hoj nex. Anotr el número del test en el recudro tituldo Firm de dich hoj (junto l firm). 1. F L Σ* x,y Σ* (x,y) I L. 2. V Σ* cumple el lem de omeo pr lengujes regulres. 3. F Si un lenguje L cumple l CBR, entonces L es regulr. 4. F L unión de los nturles y los reles del intervlo (1000, 2000) es numerle 5. V Si un lenguje L es regulr entonces cumple l CBR. 6. F En el lgoritmo de conversión de GRD en GRI el número regls otenido siempre es impr. 7. F Ddo un AFD, no siempre existe un AFND equivlente 8. V α+α(β*+ββ*)*+(α+β+ββ)* = (α*β*)* 9. F Si tods ls regls de G son regulres terminles entonces L(G) =1 10. V En el lgoritmo de conversión de GRI AFND, el resultdo nunc es un AFD. 11. F Los suconjuntos A i de A son un prtición de A si A 1 A 2... A n =A. 12. V L L(GCL) L L(APND). 13. V Ddos dos lengujes L 1 y L 2 sore el lfeto Σ, L 1 L 2 Σ *. 14. V x,y Σ* Ψ Σ (xy) = Ψ Σ (x) +Ψ Σ (y). 15. F Todo suconjunto de un lenguje regulr es regulr. 16. F Todo lenguje regulr es finito. 17. V Se s un sustitución. Entonces L 1, L 2 Σ 1 *, s(l 1 L 2 ) = s(l 1 ) s(l 2 ). 18. V Si f es un función iyectiv, entonces Dom(f ) = Rg(f ). 19. V Si G es un GLI, entonces M AFD L(M)=L(G). 20. V Tod GCL tiene l menos un símolo terminle. 21. V Existe l menos un AFND que cept un cden medinte infinits computciones complets 22. F 100 ={ε}. 23. V Un AFD tiene tnts configurciones terminles como estdos. 24. F Si L es LCL entonces no cumple el lem de omeo pr lengujes regulres. 25. V Un grmátic puede estr l vez en FNG y en FNC. 26. V Todo lenguje generdo por un GLI es regulr y existe un GRD que lo gener. 27. F Si G es un GLI, entonces G GRD L(G )=L(G)* 28. V Si G es GCL entonces M APND L(M) {ε}=l(g) 29. F En el lgoritmo de conversión de GCL APND, siempre es cierto que 3 P. 30. F x=y si y sólo si x es, l vez, prefijo y sufijo de y. 31. V Trs plicr el lgoritmo de eliminción de xiom l derech, se cumple que: P 1 2 P. 32. V En el lgoritmo de conversión de GRI en AFND, P =. 33. F R I es el cierre reflexivo de R. 34. V Tod cden generd por un grmátic es un form sentencil de l mism grmátic. 35. V Pr eliminr símolos inútiles primero eliminmos no terminles y después inccesiles. 36. F {M M es AFDM} < {M M es AFD} < {M M es AFND}. 37. V Si y son símolos, se verific est iguldd de lengujes: (+) * = ((+) * ) V (α*β)*α* = (α+β)* 39. F Culquier GR está en FNC. 40. V Dds ls ER α y β, L(α+ββ * αβα+β) L.3 1 GR: Grmátic Regulr. GRI/GRD: Grmátic Regulr Izquierd/Derech. AF: Autómt Finito. GCL: Grmátic de contexto lire. GLI/GLD: Grmátic Linel Izquierd/Derech. AFD: Autómt Finito Determinist. AFND: Autómt Finito No Determinist.

3 PRIMER EJEMPLO DE EXAMEN PRÁCTICO 1º) 1,25 Ddo el siguiente AFD, y l prtición Π = { Q 0 = {q 2, q 3 }, Q 1 = {q 0, q 4 }, Q 2 = {q 1 } } > q 0 q 3 q 1 q 2 q 4 rellenr ls siguientes tls: D Q 0 {Q 1, Q 2 } {Q 0, Q 1 } Q 1 {Q 0, Q 2 } {Q 1 } Q 2 {Q 0 } {Q 1 } DD Q 0 {{q 2 }, {q 3 }} {{q 2 }, {q 3 }} Q 1 {{q 0 }, {q 4 }} {{q 0 }, {q 4 }} Q 2 {{q 1 }} {{q 1 }} 2º) 1,25 Se G = (N,T,P,S) con N = {S,A,B,C,D}, T = {,,c,d}, P = { S AASBB, S AB, A, A, B c, B d, d c, }. De qué tipos (0, 1, 2, RI, RD, L, LI, LD) es l grmátic? Es de tipo 0. No es de ningún otro tipo. Qué lenguje gener l grmátic? L(G) = (+) ( (+)(+) )* (c+d) ( (c+d)(c+d) )* De qué tipos (0, 1, 2, 3, Linel) es el lenguje generdo? L(G) es de tipos 0, 1, 2, 3 y linel. 3º) 1,25 Demostrr formlmente que 2 N no es un conjunto numerle, donde N es el conjunto de los números nturles. Visto en l teorí (Tem 1).

4 4º) 1,25 Aplicrle el lgoritmo de conversión de GCL en APND visto en clse l siguiente grmátic G = ( N, T, P, S ) con: N = { S, A, B }, T = {,, c }, P = { S ASBB, A A cc, B cbsa c } Construimos M = ( K, Σ, Γ,, s, F ) con: K = { p, q } Σ = T = {,, c } Γ = V = N T = { S, A, B,,, c } = { ((p, ε, ε ), (q, S)), ((q, ε, S), (q, ASBB)), ((q, ε, A), (q,a)), ((q, ε, A), (q,cc)), ((q, ε, B), (q,cbsa)), ((q, ε, B), (q,c)), ((q,, ), (q, ε )), ((q,, ), (q, ε )), ((q, c, c), (q, ε )) } s = p F = { q } cumpliéndose que L(G) = L(M). 5º) 1,25 Se Σ = {,,c,d}. Demostrr usndo el lem de omeo que el lenguje L = { w Σ* w = 2n 2n c 3n d 4n con n 0 } no es regulr. Se n N, y se x = 2n 2n c 3n d 4n L, x =11n n. Supongmos que u, v, w Σ* que cumplen conjuntmente tods ls condiciones del lem del omeo pr lengujes regulres. Entonces: 1) x=uvw 2) uv n (por 1) uv= k con 0 k n (por 1) w = 2n k 2n c 3n d 4n 3) v > 0 (por 2) v= j, u= k j con 0 < j < k, 4) m 0, uv m w L Si m=0, uw L. Pero uw = k j 2n k 2n c 3n d 4n = k j+2n k 2n c 3n d 4n = n j 2n c 3n d 4n L porque j>0. Por lo tnto hemos llegdo un surdo, de donde L no es regulr. 6º) 1,25 Se Σ = {,,c} y L = { w Σ* w=cvc, con v {,}* }. Clculr pso pso, mostrndo los lengujes intermedios otenidos, l expresión ( ( s(l) ) 2 ) R donde: s() ={ }, s() = { }, s(c) = { cc }. s(l) = { w Σ* w = ccvcc, con v {,}* } = cc (+)* cc (s(l)) 2 = cc (+)* cc cc (+)* cc

5 ( ( s(l) ) 2 ) R = (s(l)) 2 = cc (+)* cc cc (+)* cc 7º) 1,25 Se Σ = {0,1}. Dr un Expresión Regulr pr el lenguje: L = {w Σ* w >3 w(3)=0 w( w )=1 } (0+1) (0+1) 0 (0+1)* 1 8º) 1,25 Se Σ = {,,c,d}. Demostrr, sin usr el lem de Prikh, que Ψ Σ (L) es semilinel pr L={}{} + {cc,dd} + Ψ Σ (L) = { v N 4 v = (4,3,0,0) + X 1 (4,0,0,0) con X 1 N } { v N 4 v = (0,0,2,0) + X 1 (0,0,2,0) + X 2 (0,0,0,2) con X 1, X 2 N } { v N 4 v = (0,0,0,2) + X 1 (0,0,2,0) + X 2 (0,0,0,2) con X 1, X 2 N }

6 SEGUNDO EJEMPLO DE EXAMEN PRÁCTICO 1º) 1,25 Dd l grmátic G=(N,T,P,S), con N={A, B, C, D, E} T={,, c, d} P={ A ce db d, B C, C dd da } S=A De qué tipos es L(G) y de cuáles no (0, 1, 2, linel, 3)? L(G) es de tipos 0, 1, 2, linel y 3. Qué crdinlidd tiene L(G)? L(G) = ℵ 0 Otener un GRI equivlente plicndo el lgoritmo visto en clse G=(N 1,T,P 1,S), donde: N 1 =N { A 6, A 7, A 8, A 9, A 10 }, P 1 ={ A A 6 A 8 d, A 6 A 7, A 7 ce, A 8 db, B C, C A 9 da 10, A 9 dd, A 10 A } 2º) 1,25 Se Σ = {,}. Dr un Expresión Regulr pr el lenguje: L = {w Σ* w = xz, con ( x =2n n N) (z {,} 2 Σ*) } L = ((+)(+))* (+)* + (+)* (+)(+) (+)* = (+)*

7 3º) 1,25 Rellenr ls siguientes tls pr el utómt presentdo. c-ε c- c- q 0 {q 1 } q 1 {q 2 } {q 0 } q 2 {q 5 } {q 1 } {q 3 } q 3 {q 0 } {q 2 } q 4 {q 1, q 5 } q 5 {q 4 } {q 6 } q 6 {q 5 } {q 3 } > q 0 ε q 1 q 4 q 2 ε ε q 5 q 3 q 6 { q 1, q 6 } { q 2, q 4, q 5 } C-ε {q 4, q 5 } C- {q 2, q 5 } {q 1, q 6 } C- {q 0, q 3 } {q 1, q 3, q 5 } { q 1, q 6 } { q 2, q 4, q 5 } Cierre-ε {q 1, q 6 } {q 2, q 4, q 5 } Cierre- {q 2, q 4, q 5 } {q 1, q 6 } Cierre- {q 0, q 3 } {q 0, q 1, q 3, q 5 } 4º) 1,25 Se Σ = {,,c,d}. Demostrr, sin usr el lem de Prikh, que Ψ Σ (L) es semilinel pr L = { w Σ* w =3 w } Ψ Σ (L) = { v N 4 v = (0,0,0,0) + X 1 (3,1,0,0) + X 2 (0,0,1,0) + X 3 (0,0,0,1) con X 1, X 2, X 3 N }

8 5º) 1,25 Se Σ = {,,c,d}. Demostrr usndo el lem de omeo que el lenguje L = { w Σ* w = n p c n+p d con n,p 0 } no es regulr. Se n N, y se x = n n c 2n d L, x =4n+1 n. Supongmos que u, v, w Σ* que cumplen conjuntmente tods ls condiciones del lem del omeo pr lengujes regulres. Entonces: 5) x=uvw 6) uv n (por 1) uv= k con 0 k n (por 1) w = n k n c 2n d 7) v > 0 (por 2) v= j, u= k j con 0 < j < k, 8) m 0, uv m w L Si m=0, uw L. Pero uw = k j n k n c 2n d= k j+n k n c 2n d = n j n c 2n d L porque j>0. Por lo tnto hemos llegdo un surdo, de donde L no es regulr. 6º) 1,25 Se Σ = {,,c,d} y se L = { w Σ* w = vv R, con v {,}* }. Oteng un APND M tl que L(M)=L. M=(K,Σ,Γ,,s,F), donde: K={p,q} Σ={,,c,d} Γ={,} s=p F={q} ={ ((p,,ε),(p,)), ((p,,ε),(p,)), ((p,,ε),(q,ε)), ((q,,),(q,ε)), ((q,,),(q,ε)) } Nótese que l 1ª y 2ª trnsiciones sirven pr introducir v en l pil (que se lmcen como v R ). L 3ª trnsición sirve pr consumir l que hy en medio de w de mner no determinist. Ls trnsiciones 4ª y 5ª sirven pr ir comprndo l cden v R lmcend en l pil con el resto de w. 7º) 1,25 Sen Σ 1 = {0,1}, Σ 2 = {,,c,d} y L = 1 * 00. ) Clculr pso pso, mostrndo los lengujes intermedios otenidos, l expresión ((s(l)) * ) 2 donde: s(0) = {c,d}, s(1) = {,, }. ) dcdc ((s(l)) * ) 2? Rzon tu respuest. ) s(l) = { w Σ* w = v z, con v {,}*, z {c,d} 2 } = (+)* (c+d) (c+d) (s(l)) * = ( (+)* (c+d) (c+d) )* ((s(l)) * ) 2 = ( ( (+)* (c+d) (c+d) )* ) 2 = ( (+)* (c+d) (c+d) )* ) dcdc ((s(l)) * ) 2, ddo que por un prte se tiene que dc (+)* (c+d) (c+d), y por otro ldo tmién tenemos que dc (+)* (c+d) (c+d), con lo cul se concluye que dcdc ( (+)* (c+d) (c+d) )* = ((s(l)) * ) 2

9 8º) 1,25 Se Σ un lfeto. Demostrr formlmente el siguiente enuncido: M=(K, Σ, δ, s, F) AFD, M =(K, Σ,, s, F ) AFND ( K = K 3 ) ( L(M)=L(M ) ) Se M=(K, Σ, δ, s, F) un AFD culquier. Se entonces M el siguiente AFND que cumple l condición exigid: M =(K, Σ,, s, F ) K = K {q, q, q }, donde q, q, q K s =s F =F ={ (q i, σ, q j ) K Σ K δ(q i, σ)= q j } Nótese que M es como M, slvo que hemos ñdido tres estdos nuevos, llmdos q, q, q, de tl mner que dichos estdos no tienen ningun trnsición entrnte ni sliente.

AUTÓMATAS DE PILA. Dpto. de Informática (ATC, CCIA y LSI). Univiersidad de Valladolid.

AUTÓ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 detalles

AUTOMATAS FINITOS CIENCIAS DE LA COMPUTACION I 2009

AUTOMATAS 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 detalles

Tema 2: Lenguajes regulares

Tema 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 detalles

Tema 4: Operaciones sobre lenguajes regulares

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 detalles

Ejercicios resueltos de Lenguajes, Gramáticas y Autómatas ( )

Ejercicios 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 detalles

3 de marzo de 2011 DSIC - UPV. Tema 5: Expresiones Regulares. U.D. Computación. Definiciones. Propiedades. Construcciones. AFs a partir de ERs

3 de marzo de 2011 DSIC - UPV. Tema 5: Expresiones Regulares. U.D. Computación. Definiciones. Propiedades. Construcciones. AFs a partir de ERs UD AFs Lem de UD DSIC - UPV 3 de mrzo de 2011 UD (DSIC - UPV) 3 de mrzo de 2011 1 / 40 Índice UD AFs Lem de sore expresiones regulres utómts finitos utómts finitos UD (DSIC - UPV) 3 de mrzo de 2011 2 /

Más detalles

Construcción de Vardi & Wolper: Paso final

Construcció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 detalles

Exámenes de Teoría de Autómatas y Lenguajes Formales. David Castro Esteban

Exá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 detalles

Autómatas finitos AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES REGULARES Y AUTÓMATAS FINITOS. Ejemplo 2. Ejemplo 1

Autó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 detalles

1. Indicar el lenguaje aceptado por los siguientes autómatas :

1. 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 detalles

Temas. 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

Temas. 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 detalles

Ejercicios de Lenguajes Gramáticas y Autómatas. Curso 2004 / 2005

Ejercicios 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 detalles

TEORÍA DE AUTÓMATAS I Informática de Sistemas

TEORÍ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 detalles

Minimización de AFDs, método y problemas

Minimizació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 detalles

Examen Parcial de Autómatas y Lenguajes Formales 12 de diciembre de 2003

Examen 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 detalles

INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS

INGENIERÍ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 detalles

GRAMATICAS REGULARES - EXPRESIONES REGULARES

GRAMATICAS 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 detalles

1. Indicar el lenguaje aceptado por los siguientes autómatas :

1. 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 detalles

Autómatas sobre palabras infinitas

Autó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 detalles

Clase Auxiliar 5. Aútomatas Finitos Determinísticos (Diagramas de Estado)

Clase 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 detalles

Autómatas Finitos. Programación II Margarita Álvarez 0,1 0,1. q 3

Autó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 detalles

AUTOMATAS FINITOS Traductores

AUTOMATAS 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 detalles

Apuntes de Lenguajes Formales para Compiladores. Ing. Adrian Ulises Mercado Martinez Revisión Ing. Laura Sandoval Montaño

Apuntes 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 detalles

EJERCICIOS del TEMA 2: Lenguajes Regulares

EJERCICIOS del TEMA 2: Lenguajes Regulares EJERCICIOS de MAC 1 ALF (Tem 2) Curso 2010/2011 EJERCICIOS del TEMA 2: Lengujes Regulres Sore AFDs (utómts finitos determinists): 1. Rzon l vercidd o flsedd de l siguientes firmción, poyándote en l teorí

Más detalles

Caracterización de lenguajes regulares con expresiones regulares

Caracterizació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 detalles

En la definición clásica [85], los autómatas a pila son considerados tuplas. movimientos o transiciones válidos del autómata.

En 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 detalles

TEMA 3 MECANISMOS REGULARES. LEXICOGRAFÍA

TEMA 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 detalles

Tema 22. El lema de bombeo para LR

Tema 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 detalles

Relaciones de equivalencia

Relaciones 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 detalles

Una Introducción a la Teoría de Autómatas sobre Arboles

Una 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 detalles

Tema 25. AP con dos pilas. Más allá del autómata de pila. No-LLC. Máquina de Turing, Problema del paro y Tesis de Church

Tema 25. AP con dos pilas. Más allá del autómata de pila. No-LLC. Máquina de Turing, Problema del paro y Tesis de Church Tem 25 Máquin de Turing, Prolem del pro y Tesis de Church No-LLC LLC no-miguos LLC-Det LR Pl mrk Pl i i c i Dr. Luis A. Pined ISBN: 970-32-2972-7 LLC Proceso de i i c i : AP con dos pils Push tods ls s

Más detalles

Minimización de autómatas. Minimización de autómatas. Ejemplo 1. Ejemplo 2. b b

Minimizació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 detalles

X obtener las relaciones que deben

X 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 detalles

λ = A 2 en función de λ. X obtener las relaciones que deben

λ = 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 detalles

Problemas de Lenguajes y Autómatas

Problemas de Lenguajes y Autómatas Trjo VIII Semestre A2005 Prolems Prolems de Lengujes y Autómts 1. Pr los lengujes ddos sore Σ = {, } construir un expresión regulr de él y un Autómt Finito que lo cepte: ) L = {w w tiene un numero pr de

Más detalles

Soluciones Hoja 4: Relatividad (IV)

Soluciones Hoja 4: Relatividad (IV) Soluciones Hoj 4: Reltividd (IV) 1) Un estdo excitdo X de un átomo en reposo ce su estdo fundmentl X emitiendo un fotón En físic tómic es hitul suponer que l energí E γ del fotón es igul l diferenci de

Más detalles

Sean dos funciones f y g de variable real definidas en un dominio DŒÑ Definición g es una primitiva de f si f(x)=g (x) "x D

Sean dos funciones f y g de variable real definidas en un dominio DŒÑ Definición g es una primitiva de f si f(x)=g (x) x D INTEGRAL DE RIEMANN 1- Primitivs e integrl indefinid - Integrl de Riemnn 3- Interpretción geométric de ls integrles de Riemnn 4- Propieddes de ls integrles de Riemnn 5- Cmio de vrile en ls integrles de

Más detalles

Tema 5: Introducción a la Teoría de la Computabilidad. Máquinas de Turing (MT) Ejemplo de máquina de Turing. Funcionamiento de la Máquina de Turing

Tema 5: Introducción a la Teoría de la Computabilidad. Máquinas de Turing (MT) Ejemplo de máquina de Turing. Funcionamiento de la Máquina de Turing Tem 5: Introducción l Teorí de l Computbilidd OBJETIVO: Máquins de Turing Implementción de tipos de dtos en un MT. Problem de Prd Tesis de Church-Turing Utilizción de l máquin de Turing como modelo computcionl

Más detalles

GUIA DE SISTEMAS DE ECUACIONES LINEALES

GUIA DE SISTEMAS DE ECUACIONES LINEALES Fcultd de Ciencis Deprtmento de Mtemátics y Ciencis de l Computción GUIA DE SISEMAS DE ECUACIONES LINEALES. Resuelv los siguientes sistems de ecuciones usndo el metodo de elimincion gussin, verifique l

Más detalles

IES Fernando de Herrera 23 de octubre de 2013 Primer trimestre - Primer examen 4º ESO NOMBRE:

IES Fernando de Herrera 23 de octubre de 2013 Primer trimestre - Primer examen 4º ESO NOMBRE: IES Fernndo de Herrer de octure de 0 Primer trimestre - Primer exmen 4º ESO NOMBRE: ) Nomrr los principles conjuntos numéricos, explicitndo cuáles son sus elementos y ls relciones de inclusión entre ellos

Más detalles

2 Contents. 8. Formas normales Autómatas de Pila 118. Chapter 3. Máquinas de Turing Definición y termininología

2 Contents. 8. Formas normales Autómatas de Pila 118. Chapter 3. Máquinas de Turing Definición y termininología Contents Chpter 1. Autómt finito 5 1. Alfbetos y lengujes 5 2. Operciones 7 3. Operciones con lengujes 9 4. Numerbilidd 16 5. Lengujes Regulres y Expresiones Regulres 19 6. Autómts finitos determinists

Más detalles

La integral de Riemann

La integral de Riemann L integrl de Riemnn 1 Vmos dr un definición precis de l integrl de un función definid en un intervlo. Este tiene que ser un intervlo cerrdo y cotdo, es decir [,] con < R, y l definición que dremos de integrl

Más detalles

Los Números Racionales

Los 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

Solució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 = δ.

Solució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 detalles

Curvas en el espacio.

Curvas en el espacio. Curvs en el espcio. Tod curv en el espcio R n se puede considerr como l imgen de un función vectoril r : [, b] R n, r(t) = (x 1 (t),..., x n (t)), que recibe el nombre de prmetrizción de l curv. Los puntos

Más detalles

Muchos cálculos algebraicos, que son difíciles o imposibles por otros métodos, son fáciles de desarrollar por medio de los logaritmos.

Muchos cálculos algebraicos, que son difíciles o imposibles por otros métodos, son fáciles de desarrollar por medio de los logaritmos. 1.3. L función Logrítmic Con el uso de los ritmos, los procesos de multiplicción, división, elevción potencis extrcción de ríces entre números reles pueden simplificrse notorimente. El proceso de multiplicción

Más detalles

Lenguajes Regulares. 2.1 Expresiones Regulares (ERs) [LP81, sec 1.9] [LP81, sec 1.9 y cap 2]

Lenguajes Regulares. 2.1 Expresiones Regulares (ERs) [LP81, sec 1.9] [LP81, sec 1.9 y cap 2] Cpítulo 2 Lengujes Regulres [LP81, sec 1.9 y cp 2] En este cpítulo estudiremos un form prticulrmente populr de representción finit de lengujes. Los lengujes regulres son interesntes por su simplicidd,

Más detalles

Parte III: Lenguajes y Autómatas

Parte 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 detalles

Inecuaciones con valor absoluto

Inecuaciones con valor absoluto Inecuciones con vlor soluto El vlor soluto de un número rel se denot por y está definido por:, si 0 si 0 Propieddes Si y son números reles y n es un número entero, entonces: 1.. 3. n 4. n L noción de vlor

Más detalles

NOTAS DE CLASE TEORIA DE LA COMPUTACIÓN. Autora: Dra. Cecilia Poblete Ibaceta. Revisión Técnica: Ing. David Jiménez Mimila

NOTAS DE CLASE TEORIA DE LA COMPUTACIÓN. Autora: Dra. Cecilia Poblete Ibaceta. Revisión Técnica: Ing. David Jiménez Mimila NOTAS DE CLASE TEORIA DE LA COMPUTACIÓN Autor: Revisión Técnic: Ing. Dvid Jiménez Mimil Edición Corregid y Aumentd de Enero de 2006 TABLA DE CONTENIDOS CONJUNTOS... 3 RELACIONES Y FUNCIONES.... 10 GRAMÁTICAS...

Más detalles

Procesadores del Lenguaje I. Antonio Falcó

Procesadores del Lenguaje I. Antonio Falcó Procesdores del Lenguje I Antonio Flcó 2 Índice generl I Preliminres 5 1. Alfbetos y Lengujes 7 1.1. Cdens y Lengujes.............................. 7 1.2. Operciones con lengujes...........................

Más detalles

La Integral de Riemann

La Integral de Riemann Sums de Riemnn Funciones integrbles Riemnn Cálculo de l integrl Teorems de integrbilidd L función potencil Sums de Riemnn Funciones integrbles Riemnn Cálculo de l integrl Teorems de integrbilidd L función

Más detalles

Anexo 3: Demostraciones

Anexo 3: Demostraciones 170 Mtemátics I : Cálculo integrl en IR Anexo 3: Demostrciones Integrl de Riemnn Demostrción de: Propieddes 264 de l págin 142 Propieddes 264.- Se f: [, b] IR un función cotd. ) Pr tod P P[, b], se verific

Más detalles

Unidad 1: Números reales.

Unidad 1: Números reales. Unidd 1: Números reles. 1 Unidd 1: Números reles. 1.- Números rcionles e irrcionles Números rcionles: Son quellos que se pueden escriir como un frcción. 1. Números enteros 2. Números decimles exctos y

Más detalles

Autómatas finitos AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES REGULARES Y AUTÓMATAS FINITOS. Ejemplo 2. Ejemplo 1

Autómatas finitos AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES REGULARES Y AUTÓMATAS FINITOS. Ejemplo 2. Ejemplo 1 Autómts Lengujes regulres Autómts no determinists Cerrdur Autómts finitos AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES REGULARES Y AUTÓMATAS FINITOS Frncisco Hernández Quiroz Deprtmento de Mtemátics Fcultd

Más detalles

June 24, 2011 DSIC - UPV. Autómatas Finitos. U.D. Computación. Autómata Finito Determinista. Autómata Finito no Determinista

June 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 detalles

Clase 13: Derivación de gramáticas y ambigüedad

Clase 13: Derivación de gramáticas y ambigüedad olicitdo: Ejercicios 11: Derivciones de grmátics y mbigüedd M. en C. Edgrdo Adrián Frnco Mrtínez http://computcion.cs.cinvestv.mx/~efrnco @efrnco_escom edfrncom@ipn.mx 1 Contenido Derivción Ejemplo 01

Más detalles

EL EXPERIMENTO FACTORIAL

EL EXPERIMENTO FACTORIAL DISEÑO DE EXPERIMENTOS NOTAS DE CLASE: SEPTIEMBRE 2 DE 2008 EL EXPERIMENTO FACTORIAL Se utiliz cundo se quiere nlizr el efecto de dos o más fuentes de interés (fctores). Permite nlizr los efectos de ls

Más detalles

Problemas de fases nacionales e internacionales

Problemas de fases nacionales e internacionales Problems de fses ncionles e interncionles 1.- (Chin 1993). Ddo el prlelogrmo ABCD, se considern dos puntos E, F sobre l digonl AC e interiores l prlelogrmo. Demostrr que si existe un circunferenci psndo

Más detalles

7 Integral triple de Riemann

7 Integral triple de Riemann Miguel eyes, pto. de Mtemátic Aplicd, FI-UPM 1 7 Integrl triple de iemnn 7.1 efinición Llmremos rectángulo cerrdo de 3 (prlelepípedo) l producto de tres intervlos cerrdos y cotdos de, es decir = [, b]

Más detalles

5. ANÁLISIS MATEMÁTICO // 5.4. INTEGRACIÓN.

5. ANÁLISIS MATEMÁTICO // 5.4. INTEGRACIÓN. 5. ANÁLISIS MATEMÁTICO // 5.4. INTEGRACIÓN. COMPLEMENTOS PARA LA FORMACIÓN DISCIPLINAR EN MATEMÁTICAS Curso 2010-2011 5.4.1. El áre de un círculo medinte proximción por polígonos regulres. 5.4.1. El áre

Más detalles

Solución. Práctica Evaluable 1. Teoría de Juegos. 4 de abril de Considere el siguiente juego en forma extensiva: (3, 6)

Solución. Práctica Evaluable 1. Teoría de Juegos. 4 de abril de Considere el siguiente juego en forma extensiva: (3, 6) Solución. Práctic Evlule. Teorí de Juegos. 4 de ril de 0 Considere el siguiente juego en form etensiv: I D (3, 6) (4, 3) (5, 7) (, 5) (, 3) (3, ) (i) (ii) (iii) (iv) Defin estrtegi. Represente el juego

Más detalles

Dadas 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 )

Dadas 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 detalles

Determinantes y la Regla de Cramer

Determinantes 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 detalles

El conjunto de los números reales se forma mediante la unión del conjunto de los números racionales y el conjunto de los números irracionales.

El conjunto de los números reales se forma mediante la unión del conjunto de los números racionales y el conjunto de los números irracionales. El conjunto de los números reles (R) El conjunto de los números reles se form medinte l unión del conjunto de los números rcionles y el conjunto de los números irrcionles. Propieddes del conjunto R R =

Más detalles

Clase 2: Expresiones algebraicas

Clase 2: Expresiones algebraicas Clse 2: Expresiones lgebrics Operr expresiones lgebrics usndo ls propieddes lgebrics de ls operciones sum y producto, propieddes de ls potencis, regls de signos y préntesis. Evlur expresiones lgebrics

Más detalles

APUNTES DE MATEMÁTICAS

APUNTES DE MATEMÁTICAS APUNTES DE MATEMÁTICAS TEMA 8: FUNCIONES.LÍMITES º BACHILLERATO FUNCIONES.Límites y continuidd ÍNDICE. LíMITES Y CONTINUIDAD DE FUNCIONES...3. Definición límite de un función en un punto...4 3. Definición

Más detalles

Ambigüedad. Ambigüedad. Tema 16. Una gramática ambigua. Una gramática ambigua. Una gramática ambigua

Ambigüedad. Ambigüedad. Tema 16. Una gramática ambigua. Una gramática ambigua. Una gramática ambigua Ambigüedd em 16 Ambigüedd Dr. Luis A. Pined SBN: 970-32-2972-7 Si un grmátic gener más de un estructur prtir de l mism riz y con l mism cosech (más de un estructur pr l mism cden), dich grmátic es mbigu

Más detalles

Integral de línea de campos escalares.

Integral de línea de campos escalares. Integrl de líne de cmpos esclres. Sen f : R n R un cmpo esclr y un curv prmetrizd por σ : [, b] R n de modo que i) σ (1) [, b]. ii) σ([, b]) D(f). iii) f σ es continu en [, b]. Se define l integrl de f

Más detalles

Lenguajes y Autómatas finitos

Lenguajes 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 detalles

NÚMEROS RACIONALES ABSOLUTOS

NÚMEROS RACIONALES ABSOLUTOS NÚMEROS RACIONALES ABSOLUTOS Frcción: es un pr ordendo de números nturles con l segund componente distint de cero. (, ) pr ordendo frcción es un frcción N N EQUIVALENCIA DE FRACCIONES * Frcciones diferentes,

Más detalles

Integrales Impropias. Capítulo Introducción Integrales de Funciones No Acotadas

Integrales Impropias. Capítulo Introducción Integrales de Funciones No Acotadas Cpítulo 8 Integrles Impropis 8.. Introducción L integrl de Riemnn tl como l hemos estudido, está definid únicmente pr funciones cotds y definids sobre intervlos cerrdos y cotdos. En este cpítulo estudiremos

Más detalles

El Teorema Fundamental del Cálculo

El Teorema Fundamental del Cálculo del Cálculo Deprtmento de Análise Mtemátic Fcultde de Mtemátics Universidde de Sntigo de Compostel Sntigo, 2011 L Regl de Brrow: un resultdo sorprendente Recordemos que f es integrble en I = [, b] y su

Más detalles

Primitivas e Integrales

Primitivas e Integrales Cpítulo 25 Primitivs e Integrles En este cpítulo vmos trbjr con funciones de un vrible. En él estbleceremos un cso prticulr del Teorem Fundmentl del Cálculo Integrl (ver [3] pr el cso generl), con el que

Más detalles

7 DE LA EXPRESIÓN REGULAR AL AUTÓMATA FINITO

7 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 detalles

MÉTODOS DE INTEGRACIÓN

MÉ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 detalles

7.1. Definición de integral impropia y primeras propiedades

7.1. Definición de integral impropia y primeras propiedades Cpítulo 7 Integrles impropis 7.. Definición de integrl impropi y primers propieddes El concepto de integrl se etiende de mner csi espontáne situciones más generles que ls que hemos emindo hst hor. Consideremos,

Más detalles

Determinización: Construcción de Safra

Determinización: Construcción de Safra Determinizción: Construcción de Sfr Ddo: Autómt de Büchi A = (Q,Σ,Q 0,δ,F) Supong que Q = {q 1,...,q n }. Vmos construir un utómt de Rin determinist B tl que L ω (A) = L ω (B), donde B está compuesto por:

Más detalles

Z := Z {0} a partir de este nuevo conjunto construimos el producto cartesiano

Z := Z {0} a partir de este nuevo conjunto construimos el producto cartesiano Cpítulo 4 Números Rcionles. Luego de construir los Números Nturles, se presentron ciertos problems como Cuál es el resultdo de 3 menos 5?, pr poder encontrr un solución se creó prtir de N el conjunto de

Más detalles

AUTÓMATAS FINITOS y LENGUAJES REGULARES

AUTÓMATAS FINITOS y LENGUAJES REGULARES Dpto. de nformátic (ATC, CCA y LS. Universidd de Vlldolid. TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES ngenierí Técnic en nformátic de Sistems. Curso 2011-12. AUTÓMATAS FNTOS y LENGUAJES REGULARES 1. Sen

Más detalles

X = x ) pierde su significado. Lo que se hace es sustituir la definida sólo para x,..., por una función f (x)

X = 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 detalles

5.2 Integral Definida

5.2 Integral Definida 80 CÁLCULO / CIENCIAS AMBIENTALES / TEMA 5 5.2 Integrl Definid Definición de Integrl Definid El concepto de integrl definid se construye prtir de l ide de psr l límite un sum cundo el número de sumndos

Más detalles

1.4. Sucesión de funciones continuas ( )

1.4. Sucesión de funciones continuas ( ) 1.4. Sucesión de funciones continus (18.04.2017) Se {f n } un sucesión de funciones f n, definids en I. Si {f n } converge uniformemente f en I y ls f n son continus en I, entonces f es continu en I. D:

Más detalles

NOTAS TEÓRICAS II COTAS y EXTREMOS. AXIOMA del EXTREMO SUPERIOR Curso 2007

NOTAS TEÓRICAS II COTAS y EXTREMOS. AXIOMA del EXTREMO SUPERIOR Curso 2007 NOTAS TEÓRICAS II COTAS y EXTREMOS. AXIOMA del EXTREMO SUPERIOR Curso 2007 1 1. Intervlos Ddos dos números reles y,

Más detalles

El conjunto de los números naturales tiene las siguientes características

El conjunto de los números naturales tiene las siguientes características CAPÍTULO Números Podemos decir que l noción de número nció con el homre. El homre primitivo tení l ide de número nturl y prtir de llí, lo lrgo de muchos siglos e intenso trjo, se h llegdo l desrrollo que

Más detalles

15 Lenguajes y gramáticas III

15 Lenguajes y gramáticas III 2 Contenido Derivciones Árbol de derivción Grmátics libres de contexto Ambigüedd en grmátics jemplo liminr mbigüedd Mp Conceptul 03 3 Derivciones Derivción por l izquierd: ls regls de reemplzo son plicds

Más detalles

Semánticas de procesos y aplicaciones

Semánticas de procesos y aplicaciones Semántics de procesos y plicciones Clse 06: Puntos Fijos Qué vimos hst hor? cciones: multicciones: α 3 operdores sobre multicciones: α \ β, α β y α operdor de elección: + operdor de secuenci:. operdor

Más detalles

Integral Definida. Tema 6. 6.1 Introducción. 6.2 Definición de Integral Definida

Integral Definida. Tema 6. 6.1 Introducción. 6.2 Definición de Integral Definida Tem 6 Integrl Definid 6.1 Introducción En este tem estudiremos l Integrl Definid o Integrl de Riemnn, un concepto mtemático que esencilmente puede describirse como el límite de un sum cundo el número de

Más detalles

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 4: Lunes 1 - Viernes 5 de Abril. Contenidos

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 4: Lunes 1 - Viernes 5 de Abril. Contenidos Coordinción de Mtemátic I (MAT01) 1 er Semestre de 013 Semn 4: Lunes 1 - Viernes 5 de Abril Complementos Contenidos Clse 1: Funciones trigonométrics. Clse : Funciones sinusoidles y ecuciones trigonométrics.

Más detalles

73 ESO. E = m c 2. «El que pregunta lo que no sabe es ignorante un. día. El que no lo pregunta será ignorante toda la vida»

73 ESO. E = m c 2. «El que pregunta lo que no sabe es ignorante un. día. El que no lo pregunta será ignorante toda la vida» 73 ESO dí. «El que pregunt lo que no se es ignornte un El que no lo pregunt será ignornte tod l vid» E = m c ÍNDICE: MENSAJES OCULTOS 1. EXPRESIONES ALGEBRAICAS. VALOR NUMÉRICO DE UNA EXPRESIÓN ALGEBRAICA

Más detalles

3º.- Junio i) Producto de matrices: definición, condiciones para su realización. Si A M m n. (la matriz A tiene m filas y n columnas), B M n p

3º.- Junio i) Producto de matrices: definición, condiciones para su realización. Si A M m n. (la matriz A tiene m filas y n columnas), B M n p IES EL PILES SELECTIVIDD OVIEDO DPTO. MTEMÁTICS Mtrices deterinntes Mtrices deterinntes. Ejercicios de Selectividd. º.- Junio 99. i) Define rngo de un triz. ii) Un triz de tres fils tres coluns tiene rngo

Más detalles

Primer Parcial de Introducción a la Investigación de Operaciones Fecha: 28 de abril de 2010

Primer Parcial de Introducción a la Investigación de Operaciones Fecha: 28 de abril de 2010 Primer Prcil de Introducción l Investigción de Operciones Fech: 8 de bril de 00 INDICACIONES Durción del prcil: hrs. Escribir ls hojs de un solo ldo. No se permite el uso de mteril ni clculdor Numerr ls

Más detalles

A modo de repaso. Preliminares

A modo de repaso. Preliminares UNIDAD I A modo de repso. Preliminres Conjuntos numéricos. Operciones. Intervlos. Conjuntos numéricos Los números se clsificn de cuerdo con los siguientes conjuntos: Números nturles.- Son los elementos

Más detalles

INTEGRAL DEFINIDA. El hallar el área aproximada bajo la curva por suma de n áreas rectangulares de igual ancho x

INTEGRAL DEFINIDA. El hallar el área aproximada bajo la curva por suma de n áreas rectangulares de igual ancho x en INTEGRAL DEFINIDA El concepto de integrl definid está relciondo con el vlor que determin el áre jo l curv dd por un función f (x) el [, ]. (ve l intervlo gráfic) Uno de los primeros psos pr llegr este

Más detalles

Espacios vectoriales y Aplicaciones Lineales I: Bases y coordenadas. Aplicaciones lineales.

Espacios vectoriales y Aplicaciones Lineales I: Bases y coordenadas. Aplicaciones lineales. UNIVERSIDAD DE JAÉN ESCUEA POITÉCNICA SUPERIOR Deprtmento de Mtemátics (Áre de Álgebr) Curso 009/10 PRÁCTICA Nº9 Espcios vectoriles y Aplicciones ineles I: Bses y coordends. Aplicciones lineles. Recordemos

Más detalles

Formalización de los Números Reales. M. en I. Gerardo Avilés Rosas

Formalización de los Números Reales. M. en I. Gerardo Avilés Rosas Formlizción de los Números Reles M. en I. Gerrdo Avilés Ross Agosto de 016 Tem Formlizción de los Números Reles Objetivo: El lumno plicrá ls propieddes de los números reles y sus subconjuntos, pr demostrr

Más detalles

Existe un subconjunto de R, denotado R + Y cuyos elementos son llamados números reales positivos, que satisface los siguientes axiomas:

Existe un subconjunto de R, denotado R + Y cuyos elementos son llamados números reales positivos, que satisface los siguientes axiomas: División: Pr, E R, * O, -;-, ḇ o /. (que se lee " dividido " o " sore ") denot l número.( - 1). Not: -;- no está definido cundo = O. ORDEN ENR Existe un suconjunto de R, denotdo R + Y cuyos elementos son

Más detalles

CUADERNO DE TRABAJO PARA LA CLASE NÚMEROS REALES

CUADERNO DE TRABAJO PARA LA CLASE NÚMEROS REALES FUNDAMENTOS DEL ÁLGEBRA CUADERNO DE TRABAJO PARA LA CLASE NÚMEROS REALES NOMBRE ID SECCIÓN SALÓN Prof. Evelyn Dávil Tbl de contenido TEMA A. CONJUNTOS NUMÉRICOS... REGLA PARA LA SUMA DE NÚMEROS REALES...

Más detalles

Examen de Admisión a la Maestría 8 de Enero de 2016

Examen de Admisión a la Maestría 8 de Enero de 2016 Exmen de Admisión l Mtrí 8 de Enero de 1 Nombre: Instruccion: En cd rectivo seleccione l rput correct encerrndo en un círculo l letr corrpondiente. Puede hcer cálculos en ls hojs que se le proporcionron.

Más detalles

Curvas en el plano y en el espacio

Curvas en el plano y en el espacio Cpítulo 1 Curvs en el plno y en el espcio 1.1. Curvs prmetrizds Definición 1.1.1 (Curv prmetrizd). Un curv prmetrizd diferencible α : I R n, es un plicción de clse C, donde I R es un intervlo bierto, que

Más detalles