EJERCICIOS del TEMA 2: Lenguajes Regulares
|
|
- Francisco Javier Fidalgo Molina
- hace 7 años
- Vistas:
Transcripción
1 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í vist en clse. Si M = (Q, Σ, δ, q 0, F) es un utómt finito determinist totlmente especificdo con F = Q, entonces L(M) = Σ. 2. Se M = (Q, Σ, δ, q 0, F) un AFD con Q = {q 0,q 1,q 2 }, Σ = {, }, F = {q 2 } y l función de trnsición δ: δ q 0 q 0 q 1 q 1 q 2 q 1 q 2 q 2 q 0 ) Diuj el utómt M ) Trz los cómputos de M que procesn ls plrs,, c) Qué plrs de ls procesds en () son ceptds por M? 3. Busc tres plrs ceptds y tres plrs rechzds por cd uno de los siguientes utómts mostrndo el cómputo que ls proces. Determin cuáles de ellos están totlmente especificdos. Srís cuál es el lenguje ceptdo por cd uno de ellos? ) ),,, pág. 1
2 EJERCICIOS de MAC 1 ALF (Tem 2) Curso 2010/2011 c ), d ) e ),, f ) g ) 4. Construye AFDs que cepten cd uno de los siguientes lengujes definidos sore el lfeto Σ = {,}: ) L = { x Σ* : l longitud de x es divisile por 3} ) L = { x Σ*: no es suplr de x } c ) L = { x Σ* : x comienz por y termin por } d ) L = { x Σ* : x tiene un número pr de 's y un número pr de 's } e ) L = { x Σ* : x tiene tres 's consecutivs } f ) L = { x Σ* : tod prición de l suplr en x, o ien v seguid de, o está l finl de l plr } g ) L = { x Σ* : si x empiez por no contiene l suplr y si x empiez por contiene l suplr } h ) L = { x Σ* : x tiene un número pr de priciones de l cden } i ) L = { x Σ* : es suplr de x si y sólo si es suplr de x } j ) L = { x Σ* : x está formd por l conctención de un número ritrrio de cdens de l form yy R, con y =2 } k ) L = { x Σ* : x no contiene ningún prefijo en el que l diferenci entre el número de 's y 's se myor que tres ( fvor de culquier de ellos) } pág. 2
3 EJERCICIOS de MAC 1 ALF (Tem 2) Curso 2010/ (Ejercicio especil) Construye un AFD que cepte el siguiente lenguje: L = { x {, }* : x no contiene l suplr ni el sufijo } 6. (Ejercicio especil) Demuestr que l noción de lenguje ceptdo por un AFD no depende del lfeto prticulr de éste (siempre que l menos conteng los símolos involucrdos). Es decir, prue que: "Si Σ* L y Σ, entonces existe un AFD sore el lfeto Σ que cept L si y solo si, existe otro AFD sore el lfeto que cept L". Sore AFNDs (utómts finitos no determinists): 7. Busc tres plrs ceptds y tres plrs rechzds por cd uno de los siguientes utómts no determinists, mostrndo todos los cómputos que ls procesn. Srís qué lenguje cept cd uno de ellos? ) ) c ) 8. Construye AFNDs que cepten los siguientes lengujes sore el lfeto Σ = {,,c} ) L = { x Σ* : x tiene lgún pr de 's seprds por un cden de símolos de longitud 4*i, con i 0 } ) L = { x Σ* : x 5 y el quinto símolo contdo desde el finl es } c) L = { x Σ* : ni ni son sucdens de x } d) L = { x Σ* : x tiene y como sucden } e) L = { x Σ* : ccc es sufijo de x y en ningun otr posición de x pueden encontrrse dos símolos igules seguidos } pág. 3
4 EJERCICIOS de MAC 1 ALF (Tem 2) Curso 2010/2011 f ) L = { x Σ* : x tiene tres símolos igules seguidos } g ) L = { x Σ* : los símolos de x de posición múltiplo de tres son c's } 9. (Ejercicio especil) Construye un AFND que cepte el siguiente lenguje L = { x {,, c}* : x empiez y termin por y entre cd prición de y l siguiente hy un número pr de 's o un número impr c's } 10. (Ejercicio especil) Cuántos utómts finitos determinists y con dos estdos pueden construirse sore el lfeto {0,1}? Aceptn todos ellos lengujes distintos? Y de ellos, cuántos están totlmente especificdos? Y si construimos utómts finitos no determinists? 11. Se el lenguje regulr L = { x {,}*: x mod 2 = 1 x mod 3 = 0 es suplr de x }. Sigue los psos que se te indicn continución sin construir en ningún momento el utómt finito indicdo : ) Supón que quieres construir un utómt finito M que reconozc L. Indic cuántos estdos tendrí M y explic por qué. Enumer dichos estdos, explicndo pr qué sirve cd uno de ellos en tu construcción. Señl cuál serí el estdo inicil y cuáles los finles. ) Elige tres estdos culesquier e indic cuáles serín sus trnsiciones y qué estdos nos llevrín. c) Reconstruye los cómputos socidos ls plrs y. Sore GRs (grmátics regulres) y GLs (grmátics lineles): 12. Construye grmátics regulres ó lineles l derech que generen cd uno de los siguientes lengujes sore el lfeto terminl Σ = {,, c} ) { x Σ* : x mod 2 = 0 } ) { x Σ* : x empiez por y contiene l suplr } c) { x Σ* : x no contiene tres 's consecutivs } d) { x Σ* : x + x mod 3 = 0 } e) { x Σ* : x contiene ls suplrs, y cc } f) { x Σ* : x no contiene ls suplrs ni c } g) { x Σ* : cd prición de en x es precedid de o seguid de c } h) { x Σ* : x no contiene ningun prición de l sucden después de l últim prición del símolo c } i) { x Σ* : x contiene dos s seprds por un número impr de símolos } pág. 4
5 EJERCICIOS de MAC 1 ALF (Tem 2) Curso 2010/2011 j) { x Σ* : x contiene l suplr pero no contiene l suplr } De entre ells, di cules son regulres y cules son lineles. Trnsform ls lineles en regulres. 13. (Ejercicio especil) Se G=(N, Σ, P, S) un grmátic linel l derech, con N={S,A,B} y Σ = {, }, y sen ls siguientes plrs: S, A, AB,, A, S,, S, B, AS, BAS. ) Cuáles de ells podrín ser forms sentenciles de G? ) Descrie l estructur generl de un form sentencil de G. c ) Demuestr por inducción que ls forms sentenciles de G no pueden ser distints de lo descrito en el prtdo nterior. 14. (Ejercicio especil) Un Grmátic cusi-regulr l derech se define como un grmátic G = (N, Σ, P, S), donde ls regls de P responden lgun de ls 3 siguientes forms: A, A B, A, con A,B N, Σ. Consider el siguiente lgoritmo: Entrd: G = (N, Σ, P, S) grmátic cusi-regulr l derech Slid: INCOGNITA Procedimiento: Construir INCOGNITA = ( N 1, Σ, δ, S, F) donde N 1 = N {Z} F = {Z} {A: A P } B δ(a,) A B P Z δ(a,) A P ) Aplic el lgoritmo l grmátic siguiente: G=({S,A,B}, {,,c}, P, S) siendo P el conjunto de producciones S A B A A B cb c ) A qué modelo pertenece INCÓGNITA?. Rzon tu respuest. c) Justific l siguiente firmción: Todo lenguje generdo por un grmátic regulr ( derech) se puede generr medinte un grmátic cusi-regulr ( derech) y vicevers. pág. 5
6 EJERCICIOS de MAC 1 ALF (Tem 2) Curso 2010/2011 Sore ERs (expresiones regulres): 15. Di si son verdd o no ls siguientes firmciones: ) L(****) ) L(**) L( **) = L(* *) c ) L(**) L(c*d*) = d ) cd L(((cd)*)*) e) Ls expresiones regulres α = y β=( ) * son equivlentes. 16. Pr ls siguientes expresiones regulres, escrie tods ls plrs de longitud menor o igul que seis pertenecientes l lenguje que genern, y descrie dicho lenguje en cd cso: ) (10)* (01)* ) (10 01)* c ) (11 0)*(00 1)* d ) ( )*( 0 00) e ) [00 11 (01 10)(00 11)*(01 10)]* 17. Se Σ ={,}. Escrie expresiones regulres pr los siguientes lengujes: ) cdens con l menos tres 's ) cdens con lo sumo tres 's c ) cdens con un número de 's divisile por 3 d ) cdens con l menos un prición de l sucden e) cdens en ls que ls 's vn grupds como mínimo de tres en tres. 18. Se Σ ={,}. Construye un expresión regulr pr el lenguje formdo por ls cdens que no contienen l sucden. Se dee hcer primero el AFD, otener prtir de él l GRD y, resolviendo ls ecuciones correspondientes, llegr l expresión regulr. 19. (Ejercicio especil) Se Σ ={,}. Construye un expresión regulr pr el lenguje formdo por ls cdens que contienen exctmente un prición de l sucden. Se dee hcer primero el AFD, otener prtir de él l GRD y, resolviendo ls ecuciones correspondientes, llegr l expresión regulr. pág. 6
7 EJERCICIOS de MAC 1 ALF (Tem 2) Curso 2010/ Construye expresiones regulres pr denotr los siguientes lengujes: ) { w {, }* : w c en } ) { w {, }* : w 1}. c ) { w {, }* : w tiene un número pr de s y termin por } d ) { w {1,0 }* : w no contiene 101 como suplr } e ) { w {1,0}* : w comienz por 101 y termin por 101 } f ) { w {,,c}* : entre cd dos 's de w hy un número de c's múltiplo de 3} 21. En l definición inductiv de ls expresiones regulres, l regl que firm que es un expresión regulr se puede eliminr, y que con el resto de ls regls es posile construir un expresión α tl que L(α) = {}. Por qué? Sore ERs equivlentes utómts: 22. Construye expresiones regulres equivlentes los siguientes AF's: ) ),, Sore ERs equivlentes grmátics: 23. Construye expresiones regulres equivlentes ls grmátics lineles l derech cuys regls de producción figurn continución: ) S S S A B C A A A B C B B B C C C C ) S A B A A B A C C A D D C D pág. 7
8 EJERCICIOS de MAC 1 ALF (Tem 2) Curso 2010/2011 Ejercicios teóricos sore ERs: 24. (Ejercicio especil) Asummos como y demostrdo que pr culesquier expresiones regulres α 1,..., α n, β 1,..., β n se cumple que: i ) (α 1 α 2... α n )* = (α 1 *α 2 *... α n *)* ii ) (α 1 α 2... α n ) (β 1 β 2... β m ) = α 1 β 1 α 1 β 2... α 1 β m α 2 β 1... α n β 1... α n β m Se dice que un expresión regulr está en form norml disyuntiv si tiene l form α 1 α 2... α n, con n 1 y α 1,..., α n son expresiones regulres en ls que no prece el símolo " ". ) ) Utilizndo los resultdos nteriores i) y ii) demuestr que pr tod expresión regulr α existe otr equivlente fnd(α) en form norml disyuntiv. Escrie l form norml disyuntiv de ls siguientes expresiones regulres: ( (0 1)*100)0* ((10* 01*) (00* 11*))* 25. Se α un expresión regulr culquier: ) ) c ) Diseñ un lgoritmo recursivo pr decidir si α es equivlente l expresión regulr. Descrie otro lgoritmo pr otener prtir de α otr expresión regulr equivlente sinvc(α) que, o ien no contiene l suexpresión, o es exctmente l expresión regulr (inevitle cundo α es equivlente ). Aplic el lgoritmo hecho en el prtdo () l expresión regulr: (1 (11)*)*(0 0 01)*( (1 0)* 10). 26. Se α un expresión regulr que no contiene ningun prición de l suexpresión. ) ) Diseñ un lgoritmo recursivo pr decidir si l plr vcí pertenece o no L(α). Descrie otro lgoritmo pr otener prtir de α otr expresión regulr equivlente sineps(α), que sigue sin contener priciones de, y que tiene l form, β ó β, donde β es un expresión regulr que no contiene priciones de (es decir, en sineps(α) eliminmos tods ls priciones de slvo un en cso de que se estrictmente necesri pág. 8
9 EJERCICIOS de MAC 1 ALF (Tem 2) Curso 2010/2011 pr mntener l equivlenci). c ) Aplic el lgoritmo encontrdo en () l expresión regulr (((1 )* ) 01 1 )* (01 ) (10 ) *. d ) Supongmos hor que, en l definición de expresión regulr, se suprimen ls clúsuls que segurn que y son expresiones regulres. A l luz de los resultdos de este ejercicio y el precedente cuáles serín los lengujes regulres que no podrín ser denotdos por ls misms? Y si sólo quitmos un de ls clúsuls? Sore -AFND's y su relción con ls ER s: 27. Construye -AFND's que cepten los siguientes lengujes sore Σ = {,, c} ) ) c ) d ) L = { x Σ* : ls priciones de en x no pueden ir seguids de c, ls priciones de en x no pueden ir seguids de, y ls priciones de c en x no pueden ir seguids de } L = { x Σ* : x no puede tener ningun ocupndo un posición posterior l de un y x no contiene c's islds } L = { x Σ* : x está formd por uno ó más grupos de 's seprdos por cdens de 1, 2 ó 3 's } L = { x Σ* : x puede descomponerse como conctención de tres suplrs y, z y w cumpliendo que en y cd grupo de 's tiene longitud pr, en z cd grupo de 's tiene longitud pr y en w cd grupo de c's tiene longitud pr } 28. Construye utómts finitos que reconozcn los lengujes denotdos por ls siguientes expresiones regulres: ) **( )* ) ((* 4 ))* c ) ( + * + *) + d ) (((*)*)*)* e ) ( 2 )*( 3 )*(c 4 )*( 4 )*( 3 )*(c 2 )* 29. (Ejercicio especil) ) Construye un utómt, M, que rechce tods ls plrs de longitud impr que tengn los dos últimos símolos igules. Dee ceptr, por ejemplo, ls plrs,, y rechzr,. Puedes construirlo directmente (con ls explicciones oportuns) u otenerlo del prtdo siguiente medinte lgún lgoritmo de trnsformción. pág. 9
10 EJERCICIOS de MAC 1 ALF (Tem 2) Curso 2010/2011 ) Diseñ un expresión regulr que genere el mismo lenguje del prtdo nterior. Puedes diseñrl directmente (con ls explicciones oportuns) u otenerl del prtdo nterior medinte lgún lgoritmo de trnsformción. Sore equivlencis entre utómts: 30. Construye AFD's equivlentes los siguientes AFND's: ) ({ q 0, q 1, q 2, q 3 }, { 0, 1 }, δ 1, q 0, { q 3 } ) ) ({ q 0, q 1, q 2, q 3 }, { 0, 1 }, δ 2, q 0, { q 1,q 3 } ) δ δ q 0 q 0,q 1 q 0 q 0 q 1,q 3 q 1 q 1 q 2 q 2 q 1 q 2 q 1,q 2 q 2 q 3 - q 2 q 3 q 0 q3 q3 q3 q3 - q0 31. Construye AFD's equivlentes los siguientes -AFND's: pág. 10
11 EJERCICIOS de MAC 1 ALF (Tem 2) Curso 2010/ Ddo los siguientes utómts finitos construye el utómt finito mínimo equivlente cd uno de ellos: q 0 q 1 q 2 q 3 q 4 q 5, q q 1 q q q q q , ,0 33. Se el lenguje L = { 100+3i j : i j 0} definido sore el lfeto Σ = { }. ) Demuestr que L es regulr, dndo un expresión regulr α que lo denote. ) Descrie como serí un AFD M, totlmente especificdo, equivlente α. Procur que se el utómt mínimo. Tom un estdo culquier de M, y comprue que no es equivlente/indistinguile de ninguno de los demás estdos. Not: No es necesrio ni conveniente que pliques los lgoritmos de trnsformción o minimizción. De hecho no hce flt que escris el utómt M completo. 34. Supón que te dn dos expresiones regulres α y β, y que te piden que compruees si son o no equivlentes. Explic el proceso que seguirís pr resolverlo. pág. 11
12 EJERCICIOS de MAC 1 ALF (Tem 2) Curso 2010/ Di si son cierts o flss ls siguientes firmciones, rzonndo tu respuest de form reve pero convincente. ) Tenemos un AFD sore el lfeto {,} que contiene dos estdos no finles, p y q, con ls siguientes trnsiciones: p p q q p q Sin conocer el resto del utómt podemos segurr que estos estdos son necesrimente indistinguiles. ) Si M = (Q, Σ, δ, q 0, F) es el utómt mínimo equivlente l AFD, N = (P, Σ, γ, p 0, G), el crdinl de F y G h de ser el mismo. 36. Demuestr que no son regulres sore el lfeto Σ = {, } : ) { w w Σ * : w es l plr que result de cmir cd prición en w de por y vicevers } ) { w Σ * : w = w R w = w } c ) { n m : m n 2*m } d ) { i j k : j = mx(i,k) } e ) { i j k : i, j, k >0 (i j j k i = k) } f ) { i j k : i, j, k >0 (i = j i = k j = k) } g ) { w Σ * : w tiene l menos un prefijo con más 's que 's } 37. Consider el lfeto { M, D, C, L, X, V, I } y el lenguje de los números romnos. Demuestr que es un lenguje regulr construyendo un utómt finito con trnsiciones vcís que lo reconozc. Recuerd que, por ejemplo, VIIII no es un número romno, y que deemos escriir IX, en su lugr. Puede resultrte útil construir l expresión regulr y luego el -AFND correspondiente. pág. 12
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 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 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 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 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 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 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 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 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 detallesAUTÓ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 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 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 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 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 detalles5. Lenguajes Regulares
5. Lengujes Regulres Arceli Snchis de Miguel Agpito Ledezm Espino José A. Iglesis Mr
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 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 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 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 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 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 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 detallesLenguajes Regulares. Departamento de Informática e Ingeniería de Sistemas C.P.S. Universidad de Zaragoza. Última revisión: Feb.
Lengujes Regulres Deprtmento de Informátic e Ingenierí de Sistems C.P.S. Universidd de Zrgoz Últim revisión: Fe. 2003 LengujesRegulres..ppt 27/03/2006 1 Índice Prolem de especificción de lengujes Lengujes
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 detalles3 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 detallesTema 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 detallesFUNDAMENTOS FÍSICOS DE LA INGENIERIA QUINTA SESIÓN DE PRÁCTICAS
DEPARTAMENTO DE FÍSICA APLICADA ESCUELA TÉCNICA SUPERIOR DE INGENIEROS AGRÓNOMOS Y DE MONTES UNIERSIDAD DE CÓRDOBA FUNDAMENTOS FÍSICOS DE LA INGENIERIA QUINTA SESIÓN DE PRÁCTICAS 7.- Utilizción del Polímetro
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 detallesIntroducción a la Lógica y la Computación
Introducción l Lógic y l Computción Prte III: Lengujes y Autómts Autores: Alejndro Tiroschi y Pedro Sánchez Terrf Contenidos 1 Introducción 1 2 Lengujes y Autómts 3 2.1 Cdens, lfetos y lengujes.............................
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 detallesPROGRESIONES ARITMETICAS
PROGRESIONES ARITMETICAS. Hllr l sum de los primeros cien enteros positivos múltiplos de 7. L sum de n términos de un progresión ritmétic viene dd por l expresión: + n Sn n Aplicndo pr 00 términos: + 00
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 detalles3.- Matrices y determinantes.
3.- Mtrices y determinntes. 3.. Definición de mtriz, notción y orden. Se define un mtriz de orden m x n, un reunión de m x n elementos colocdos en m fils y n columns. Cd elemento que form l mtriz se denot
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 detallesSoluciones a los ejercicios
Soluciones los ejercicios PROBLEMA : Considérese el grfo G siguiente: b f c d g h j e i ( Es G un grfo simple? Es plno? Es biprtito? Es completo? Es regulr? Es conexo? (b Hllr el número de regiones, vértices
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 detallesLenguajes 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 detallesDeterminizació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 detallesNOTAS 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 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 detallesAmbigüedad. Sesión 16. Una gramática ambigua. Ambigüedad. Una gramática ambigua. Una gramática ambigua
Ambigüedd Sesión 16 Ambigüedd 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 Dos tipos de mbigüedd n l grmátic
Más detallesEste documento es de distribución gratuita y llega gracias a El mayor portal de recursos educativos a tu servicio!
Este documento es de distriución grtuit y lleg grcis Cienci temátic www.ciencimtemtic.com El myor portl de recursos eductivos tu servicio! www.ciencimtemtic.com ATRICES Definición: Un mtriz A, es un rreglo
Más detallesAmbigü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 detallesEspacios vectoriales y Aplicaciones Lineales II: Núcleo e imagen. Diagonalización. Ker(f) = {x V f(x) = 0} Im(f) = {f(x) x V}.
UNIVERSIDAD DE JAÉN ESCUELA POLITÉCNICA SUPERIOR Deprtmento de Mtemátics (Áre de Álgebr) Curso 28/9 PRÁCTICA Nº Espcios vectoriles y Aplicciones Lineles II: Núcleo e imgen. Digonlizción. NÚCLEO E IMAGEN
Más detallesAX = B. X es la matriz columna de las variables:
ÁLGEBR MTRICIL PRO. MRIEL SRMIENTO SESIÓN 9: METODO DE ELIMINCIÓN GUSSIN En est sesión, resolvemos sistems de ecuciones lineles de orden x y x. Pr ello escribimos el sistem en término de mtrices, por ejemplo:
Más detallesMáximo común divisor. 2. Descomposición en primos Ejemplo. Encontrar mcd 504,300 Se descomponen ambos números en primos 504 2 252 2 126 2 63 3 21 3
Máximo común divisor El máximo común divisor de dos números nturles y es el número más grnde que divide tnto como. se denot mcd,. Lists: (tl vez, el más intuitivo, pero el menos eficiente) Encontrr mcd
Más detalleslasmatematicas.eu Pedro Castro Ortega materiales de matemáticas 10. Matrices y determinantes (2) Matemáticas II 2º Bachillerato 2 3 a
Resuelve ls siguientes ecuciones: 4 5 = 0 0 + 6 = 0 0 + 0 = 0 = 0 Hll el vlor de los siguientes determinntes de orden 4: 0 0 0 0 0 0 4 0 0 5 4 0 0 6 0 5 Clcul el vlor de los siguientes determinntes: 0
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 detallesTEMA 5: ELECTRÓNICA DIGITAL
Deprtmento de Tecnologí. IE Ntr. r. de l Almuden. Mª Jesús iz TEMA 5: ELECTRÓNICA DIGITAL L electrónic se divide en dos grupos: electrónic nlógic y electrónic digitl. En l electrónic nlógic los vlores
Más detallesIntroducción a la integración numérica
Tem 7 Introducción l integrción numéric Versión: 13 de ril de 009 7.1 Motivción L integrl definid de un función continu f : [, ] R R en el intervlo [, ], If) = fx) dx 7.1) es el áre de l región del plno
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 detallesRELACION DE PROBLEMAS DE ÁLGEBRA. Problemas propuestos para la prueba de acceso del curso 1996/ e I =
IES "Jándul" RELACION DE PROBLEMAS DE ÁLGEBRA Prolems propuestos pr l prue de cceso del curso 996/97 º Consider ls mtrices A e I Clcul un mtri X tl que A AX I, clcul, si eiste, l invers de X º Estudi el
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 detallesMatrices M - 1 MATRICES. Definición.- Una tabla de mxn elementos de K dispuestos en m filas y n columnas de la forma ...
Mtrices M - - Mtrices Se K un cuerpo MATRICES Definición- Un tl de n eleentos de K dispuestos en fils n coluns de l for recie el nore de tri de diensión n n n n En un tri el eleento ij ocup el lugr deterindo
Más detallesUnidad 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 detallesUNIVERSIDADES PÚBLICAS DE LA COMUNIDAD DE MADRID PRUEBA DE ACCESO A LAS ENSEÑANZAS UNIVERSITARIAS OFICIALES DE GRADO
UNIVERSIDADES PÚBLICAS DE LA COMUNIDAD DE MADRID PRUEBA DE ACCESO A LAS ENSEÑANZAS UNIVERSITARIAS OFICIALES DE GRADO MODELO Curso / MATERIA MATEMATICAS II INSTRUCCIONES GENERALES Y VALORACIÓN El lumno
Más detallesColegio Técnico Nacional Arq. Raúl María Benítez Perdomo Matemática Primer Curso
Colegio Técnico Ncionl Arq. Rúl Mrí Benítez Perdomo Mtemátic Primer Curso Rdicción Se un número rel culquier, n un número nturl mor que 1, se llm ríz n esim de todo número rel, que stisfce l ecución n
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 detallesEl 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 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 detallesMATRICES Y DETERMINANTES
MATRICES Y DETERMINANTES ) Resolver el siguiente sistem de ecuciones lineles t t z emplendo el método de Guss utilizndo trnsformciones elementles de fils En qué csos es comptible? b) Relcionr ls mtrices
Más detallesC U R S O : MATEMÁTICA
C U R S O : MATEMÁTICA GUÍA TEÓRICO PRÁCTICA Nº 3 1. NÚMEROS RACIONALES UNIDAD: NÚMEROS Y PROPORCIONALIDAD NÚMEROS RACIONALES Los números rcionles son todos quellos números de l form b con y b números
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 detallesY f. Para ello procederemos por aproximaciones sucesivas, de modo que cada una de ellas constituya un término de una sucesión G n cuyo límite
INTEGRALES LECCIÓN Índice: El prolem del áre. Ejemplos. Prolems..- El prolem del áre Se f un función continu y no negtiv en [,]. Queremos clculr el áre S de l región del plno limitd por l gráfic de f,
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 detalles3º) (Andalucía, Junio, 00) Determina una matriz A simétrica (A coincide con su traspuesta) sabiendo que:
PROLEMS SORE MTRICES. PROFESOR: NTONIO PIZRRO. http://ficus.pntic.mec.es/pis NDLUCÍ-MTEMÁTICS PLICDS LS CCSSII: º) (ndlucí, Junio, 98) Si son dos mtrices culquier, es correct l siguiente cden de igulddes?:
Más detalles2.1 Ecuaciones de la recta en 2.2 Posiciones relativas.
. Ecuciones de l rect en. Posiciones reltivs. R Objetivos. Se persigue que el estudinte: Encuentre ecuciones de rects Determine si dos rects son coincidentes, prlels o si son intersecntes Encuentre punto
Más detallesTEMA 1. VECTORES Y MATRICES 1.3. TRAZA Y DETERMINANTE DE UNA MATRIZ
TEM. VECTORES Y MTRICES.. TRZ Y DETERMINNTE DE UN MTRIZ . VECTORES Y MTRICES.. TRZ Y DETERMINNTE DE UN MTRIZ... Concepto de Trz.... Propieddes de l trz.... Determinnte de un mtriz.... Cálculo de determinntes
Más detallesInecuaciones 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 detallesMÉTODO DE KARNAUGH MÉTODO DE KARNAUGH... 1
MÉTODO DE KARNAUGH Jesús Pizrro Peláez MÉTODO DE KARNAUGH... 1 1. INTRODUCCIÓN... 1 2. MÉTODO DE KARNAUGH... 2 3. EJEMPLO DE APLICACIÓN (I)... 4 4. ESTADOS NO IMPORTA EN LAS FUNCIONES LÓGICAS... 6 5. EJEMPLO
Más detallesTEMA 1. LOS NÚMEROS REALES.
TEMA. LOS NÚMEROS REALES... Repso de números enteros y rcionles - Operciones con números enteros - Pso de deciml frcción y de frcción de deciml - Operciones con números rcionles - Potencis. Operciones
Más detallesAplicaciones del cálculo integral
Aplicciones del cálculo integrl Aplicciones del cálculo integrl Cálculo del áre de un función Pr clculr el áre encerrd por un función en un intervlo [,] con el eje X, dee utilizrse l integrl definid. Csos:
Más detallesIngeniería Económica Finanzas y Negocios Internacionales Parcial 2 Mayo 21 de 2011
Myo 21 de 211 Nomre Código Profesor: Escri el nomre de sus compñeros Al frente Izquierd Atrás Derech Se puede consultr únicmente los mps conceptules y resúmenes clificdos y originles. No se puede usr fotocopis.
Más detallesTema 5. Trigonometría y geometría del plano
1 Tem. Trigonometrí y geometrí del plno 1. Rzones trigonométrics de un ángulo gudo Ddo un ángulo culquier, si desde un punto, A, de uno de sus ldos se trz su proyección, A, sobre el otro ldo se obtiene
Más detallesCapítulo 5. Medición de la Distancia por Medio de Triangulación
Cpítulo 5. Medición de l Distnci por Medio de Tringulción 5.1 Introducción Hemos visto cómo medir l distnci de un objeto un cámr cundo dicho objeto es cptdo por un sol cámr; sin embrgo, cundo el objeto
Más detallesTEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES A 2 T L 4 3 F Breve comentrio introductorio Estos puntes no quieren (ni mucho menos) sustituir los que imprtirá el profesor de l signtur. Sirven únicmente como
Más detallesOPERACIONES CON FRACIONES
LEY DE SIGNOS OPERACIONES CON FRACIONES SUMA Y RESTA: Si se sumn dos números con el mismo signo, se sumn los vlores solutos y se coloc el signo común (+) + (+) = + 8 (-) + (-) = - 8 Si se sumn dos números
Más detalles3. FUNCIONES VECTORIALES DE UNA VARIABLE REAL
3. FUNCIONES VECTORIALES DE UNA VARIABLE REAL INDICE 3.1. Definición de función vectoril de un vrile rel, dominio y grficción.2 3.2. Límites y continuidd..3 3.3. Derivción de funciones vectoriles y sus
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 detallesTEMA 5: Logaritmos y ecuaciones logarítmicas. Tema 5: Logaritmos y ecuaciones logarítmicas 1
TEMA : Logritmos y ecuciones rítmics Tem : Logritmos y ecuciones rítmics ESQUEMA DE LA UNIDAD.- Logritmos...- Logritmo de un número rel...- Logritmos decimles y neperinos..- Propieddes de los ritmos..-
Más detallesLa 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 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 detallesBases Formales de la Computación
Gerrdo M. Srri M. Bses Formles de l Computción Gerrdo M. Srri M. Pontifici Universidd Jverin 4 de octure de 2008 Gerrdo M. Srri M. RELACIONES DE SIMULACIÓN El Prolem con l Teorí de Autómts Clásic Gerrdo
Más detalles