AUTÓMATAS FINITOS y LENGUAJES REGULARES
|
|
- Juan José Maestre Jiménez
- hace 7 años
- Vistas:
Transcripción
1 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 AUTÓMATAS FNTOS y LENGUAJES REGULARES 1. Sen A y B dos lengujes definidos sore el mismo lfeto Σ. Considérese ls prtes de cd uno de ellos, P(A y P(B respectivmente, como el conjunto de todos sus suconjuntos. Son ciertos, entonces, estos resultdos? P( A P( B P( A B P( A P( B P( A B (julio Sen L 1, L 2 y L 3 tres lengujes formles, prtir de los cules se form L y L como: L' L1 ( L2 L3 L" L L L L Compruéese si son igules. Si l respuest es negtiv, estúdiese l inclusión en mos sentidos, esto es: L' L"? L" L'? (julio Encontrr el utómt finito determinist mínimo que reconozc el siguiente lenguje: L( R (ferero Demostrr ls siguientes igulddes entre expresiones regulres: ( ( ( ( (ferero Ddo un lenguje L regulr definido soe un lfeto, demostrr que su complementrio es regulr. Otener, prtir del RFD que cept L, el que reconoce su complementrio. (junio Otener el reconocedor finito no determinist (RFN que cepte el lenguje formdo por quells cdens de ceros y unos, tles que el tercer símolo por l derech se un cero. gulmente, clculr el reconocedor finito determinist (RFD mínimo socido dicho lenguje. (junio Demostrr que si L 1 y L 2 son lengujes regulres definidos sore un mismo lfeto, entonces L=L 1 L 2 tmién lo es. Apoyándose en este resultdo pror que ddo un cierto lenguje L sore un lfeto, si L es regulr, entonces ls cdens de L con longitud pr formn un lenguje regulr. (septiemre Otener el reconocedor finito determinist (RFD mínimo pr el lenguje LR ( c( / c. (septiemre
2 Autómts y Lengujes Regulres. 3º.T. nformátic de Sistems. Universidd de Vlldolid. 9. Encontrr tres lengujes A, B y C que cumpln: A(B-C AB-AC. Justificr l respuest. (enero Otener l expresión regulr de los lengujes definidos por los siguientes conjuntos: ( ( ( ( ( ( ( ( ( ( ( (septiemre Encontrr l expresión más compct que defin l lenguje reconocido por el siguiente utómt finito determinist. A B C, E, D (septiemre Demostrr que ls cdens de dígitos que representn en deciml los nturles divisiles por dos, incluido el cero, formn un lenguje regulr. (ferero Pror si ls siguientes expresiones regulres son equivlentes o no. ( / c( / c( /( (junio En l siguiente figur se representn dos utómts finitos A1 y A2, que ceptrán sendos lengujes L1 y L2. Hllr: A1: A2: Los lengujes L1 y L2 El reconocedor finito determinist mínimo que reconozc l unión de los lengujes L1 y L2. (Septiemre
3 Autómts y Lengujes Regulres. 3º.T. nformátic de Sistems. Universidd de Vlldolid. 15. Demostrr que si L es un lenguje regulr, entonces L'={wL / w L} es un lenguje regulr tmién. (enero Se L un lenguje regulr definido sore un lfeto, prtir del cul se construye L' como: L x1 x2 L w1, w2 x2w1, w2 x1 L Demostrr que este lenguje L' es regulr. (ferero Otener l expresión regulr más simple posile del lenguje complementrio del que reconoce el siguiente RFN:,, (junio Se L 1. Construir un reconocedor finito determinist mínimo pr este lenguje. (septiemre Si x es un plr culquier, se denot por ss(x l conjunto de cdens otenido medinte l eliminción de un número ritrrio, incluido el cero, de símolos de ss( L ss( x x L, clculr: dich plr x. Asimismo, si L es un lenguje, ss x ss x Demostrr que si L es un lenguje regulr, entonces ss(l es un lenguje regulr. 21. Demostrr que si ss(l es regulr, en generl, L no necesrimente es regulr. 22. Hllr ss (septiemre Demostrr que si un lenguje regulr contiene cdens de l form n n, donde n es un número ritrrimente grnde, entonces deen pertenecer dicho lenguje m n cdens de l form / m n. Pr no dr lugr equívocos, conviene clrr que l expresión nterior no es pr todo m, sino pr lgúnos m. (enero
4 Autómts y Lengujes Regulres. 3º.T. nformátic de Sistems. Universidd de Vlldolid. 24. Ddo un lenguje regulr L construido sore un lfeto, demostrr que los siguientes lengujes otenidos prtir del citdo L son regulres: C x z ( L / yxz L y, z F ( L / z xy ( x L ( y M ( L z / z yx ( x L ( y (ferero Otener l expresión regulr más simple que represente l complementrio del conjunto de cdens ddo por /. (ferero Se el RFN definido por:, Q q 1,q 2 F q 1 f q, q, q f ( q, ( q, q f ( q 2, ( f 1 2 Otener: L expresión regulr más simple que se deriv de nlizr el RFN. El RFD mínimo. c L expresión regulr más simple otenid del nálisis del RFD mínimo. (septiemre Se un reconocedor finito determinist con n estdos, un solo estdo finl y cpz de reconocer, l menos, un cden de longitud estrictmente menor que n-1; se podrí concluir, entonces, que el lenguje ceptdo por este utómt es infinito? Justifíquese l respuest. (enero Pr cd un de ls siguientes relciones, dr un ejemplo, si es posile, de lengujes construidos sore el lfeto Σ = {, } que l cumpln. i L L+ L ii L = L+ L iii L L+ = L iv L = L+ = L En el supuesto cso de que no se fctile poner un ejemplo, justifíquese este hecho. (enero Demuéstrese que existe un lgoritmo (nº finito de psos pr ser si dos RFD son equivlentes o no. Pr no inducir errores, conviene clrr, que no está demostrdo que pr un lenguje regulr, el RFD mínimo se único. (ferero Ddo un RFD y dos estdos culesquier de él q 1 y q 2, se define el lenguje que distingue q 1 y q 2, denotdo por L(q 1, q 2, como el formdo por ls cdens, que 4
5 Autómts y Lengujes Regulres. 3º.T. nformátic de Sistems. Universidd de Vlldolid. prtiendo de q 1, llegn un estdo finl, pero no sucede lo mismo, si lo hcen desde q 2 y vicevers. Crcterícese L(q 1, q 2 dentro de l Jerrquí de Lengujes de Chomsky. Expóngse un método sistemático pr otener L(q 1, q 2 pr un RFD ritrrio. Oténgse el lenguje L(q 1, q 3 en el siguiente RFD: (septiemre 2001 q 1 q 2 q 3 q 2 q 3 q 3 q 3 q 2 q Se Σ un lfeto con el que se formn sendos lengujes A y E. A prtir de ellos se formul l siguiente ecución X E AX, l cul dmite como solución X A E. Pruéese que culquier solución Y dee contener A E. (septiemre Pror que el lenguje L x ( / / x x no es regulr. (ferero Demostrr que el lenguje formdo por cdens de dígitos hexdecimles, que representn potencis excts de dos, es regulr. (ferero Oténgse un utómt finito determinist mínimo pr reconocer tods quells plrs, compuests por ls letrs {,,c}, que contengn l sucden. (septiemre Compruéese l vercidd de ls siguientes igulddes entre expresiones regulres: ( ( ( ( c ( (septiemre 2002 n m 36. Ddo el lenguje L n m; n, m / demostrr: L no es regulr. Verific el omeo del lem (no el lem completo. (ferero Pror que pr un utómt finito determinist M con k estdos. L (M si y sólo si M cept un cden de longitud menor que k. L (M es infinito si y solo si M cept un cden de longitud n, donde k n 2k. (ferero Se M un reconocedor finito determinist de k estdos. 5
6 Autómts y Lengujes Regulres. 3º.T. nformátic de Sistems. Universidd de Vlldolid. Demostrr que si M cept un cden de longitud n, con n k, entonces L(M es infinito. Supóngse que el lenguje L es finito y se se que 2045 pertenece L. Qué se puede decir cerc del número de estdos de culquier reconocedor finito determinist pr L? (septiemre Ddo L p { x ( c / x x x 1}, demostrr que no es regulr. A c continución tómese el siguiente lenguje L N { x ( c / x x x 1}, c pror que no es regulr, pero verific el lem de omeo de los lengujes regulres. (septiemre Ddo el utómt finito no determinist: q 1 q 2,q 4 q 3,q 4 q 2 q 3 q 3,q 4 q 4 q 2,q 4 Hállese: El reconocedor finito determinist mínimo. El lenguje generdo, pero no su expresión regulr, sino l crcterístic diferencidor de sus cdens. c L expresión regulr de su lenguje complementrio. (Enero 2003 n 2m m n 41. Demuéstrese L { / m, n 0} no es regulr. (Enero Un plíndromo es un cden que se lee igul de izquierd derech, que de derech izquierd. Pr un lfeto ritrrio, pruéese que no es un lenguje regulr. (Ferero Considérese el siguiente reconocedor finito determinist: A Q,, q0, f, { q f } / f ( q0, f ( q f, Demuéstrese que el cierre positivo de culquier cden no vcí ceptd por dich máquin constituye un suconjunto del lenguje generdo por el utómt. (Ferero Ddo el lfeto Σ={,,c}, con el cul se formn los siguientes lengujes, indíquese justificdmente cuáles son regulres: Plrs que contienen exctmente tres es. 6
7 Autómts y Lengujes Regulres. 3º.T. nformátic de Sistems. Universidd de Vlldolid. Plrs con el número de es igul l de es menos uno. c Plrs con dos es como máximo. d Plrs con un cntidd de es igul l producto del número de es por el de ces. e Plrs con un c como mínimo. (Julio Demuéstrese si son cierts o no ls siguientes igulddes entre expresiones regulres: ( rs r r r( sr r ( x y ( x y c ( ( d ( c ( c (Julio Oténgse justificdmente l expresión regulr de los siguientes lengujes definidos con del lfeto Σ={,, c}: i Plrs con un número impr de s. ii iii Cdens con un número pr de s o impr de s (o ms. Plrs de Σ, que de precer un, ést dee ir ntecedid por un y seguid de un c. (Ferero Demuéstrese que el siguiente lenguje L construido prtir de otro regulr L, es tmién regulr. L n2n 1 / 123 2n L (Ferero 2004 n n 48. Sen 1 L / n 1 y L w ( / 1 2 w w. Es L? (Julio L 1?. Es L2 L Pr todo lenguje forml L se verific que L L L? (Julio Demuéstrese o refútese l siguiente firmción: Todo suconjunto de un lenguje regulr es un lenguje regulr tmién (Julio Constrúyse el AFD mínimo pr el lenguje L w ( tod " " está entre dos " es" (Enero
8 Autómts y Lengujes Regulres. 3º.T. nformátic de Sistems. Universidd de Vlldolid. 52. Estúdiese l pertenenci los lengujes regulres del siguiente conjunto: i j L ( i j ( i, j 1 (Enero Sen A y B dos lengujes formles y l operción, denotd por el superíndice, que d como resultdo su inverso o reflejdo. Verifíquese si se cumplen ests igulddes: ( A B A B ( A B A B c ( A A d ( A ( A e ( A ( A (Ferero Simplifíquense, si es posile, ls expresiones regulres que vienen continución: i ii iii iv ( ( ( ( ( ( ( (Ferero Constrúyse el AFD mínimo pr el complementrio del lenguje: L w( / w 2m 1 w 2n; m, n (Ferero Oténgse l expresión regulr y el reconocedor finito determinist más simples socidos l lenguje formdo por los números nturles expresdos en se 4, cuy últim cifr no h precido nteriormente. Teng presente que el lenguje no dmite cdens con ceros innecesrios l izquierd. (Enero Demuéstrese que el lenguje formdo por tirs de letrs, cuy longitud es un número primo, no es un lenguje regulr. (Enero Clcúlese el utómt finito determinist mínimo, que reconozc el mismo lenguje que el siguiente utómt finito no determinist: 8
9 Autómts y Lengujes Regulres. 3º.T. nformátic de Sistems. Universidd de Vlldolid. Q\Σ 0 1 p {p, q} {p} q {r, s} {t} r {p, r} {t} s Ø Ø t Ø Ø (Ferero Se define l operción (lt sore dos cdens de idéntic longitud (x, y como: n n / x 1 2 n y 1 2 lt( x, y Esto se puede extender lengujes, de tl mner que: lt( L 1, L 2 lt( x, y / x L 1 y L 2. Demuéstrese que si se prte de lengujes regulres, el resultdo de est operción es otro lenguje regulr. (Ferero A prtir del método expuesto pr llevr co el nálisis de un utómt finito j determinist (AFD, clcúlese l expresión regulr más simple de ij en función j1 de otrs de idéntic nturlez pero de un grdo menor ( hk, es decir, con el superíndice igul j-1. (Julio Se L un lenguje y uno de los crcteres del lfeto con el que se form L. Se define el lenguje cociente de L entre el crácter, que se denot por, : L/ w / w L. Demuéstrese que este lenguje sí otenido es regulr, si el de prtid (L lo es. Análogmente, lléguese l mism conclusión, si l extrcción del crácter se hicier por el extremo izquierdo, lo que se denot por: \L w/ w L. (Julio Oténgse l expresión regulr y el reconocedor finito determinist más simples socidos l lenguje formdo por los números en inrio nturl que continene l menos un uno y que de her vrios, estrán seprdos un cntidd pr de dígitos. Esto incluye l distnci cero, es decir, puede her dos unos seguidos. Téngse presente que el lenguje no dmite cdens con ceros innecesrios l izquierd. Si se mplise l se del sistem de numerción otr con más crcteres, podrí extenderse l expresión regulr y el RFD nteriores este nuevo lfeto? (Enero Considérese un AFN sin trnsiciones lmd y con un estdo finl solmente, l cul se le ñde, precismente, los siguientes rcos lmd: Del estdo finl l inicil. Del inicil culquier estdo lcnzle desde él. n 9
10 Autómts y Lengujes Regulres. 3º.T. nformátic de Sistems. Universidd de Vlldolid. c De culquier estdo que pudier llegr l finl, hst el propio finl. d Del inicil l finl. Descriir el lenguje socido l RFN que surgirí de plicr cd cso por seprdo en función del lenguje del utómt originl. (Enero Oténgse l expresión regulr y el reconocedor finito determinist más simples socidos l lenguje formdo por its, cuy lectur de derech izquierd d como resultdo un número en inrio nturl múltiplo de cutro. Téngse en cuent que, diferenci con otros ejercicios, no hy restricción con respecto los ceros que no contriuyn l vlor numérico de l cden. Asimismo, no pierd de vist, que l lectur de l entrd sigue siendo de izquierd derech. (Ferero Considérese un trnsformción h de cd crácter de un lfeto Σ en un tir concret de símolos de otro lfeto Π. Esto podrí contemplrse como un plicción: h :. Si se plicse est operción un plr, se tendrí otr plicción: w h( w h( 1 h( 2 h( 1 2 n n Si se extendiese lengujes, el resultdo serí: h( L h( 1 h( 2 h( n / 1 2n L. Demuéstrese, entonces, que si L es regulr, el resultdo de est operción es regulr. (Ferero Verifíquese el cumplimiento, o no, de l siguiente firmción. Ddo un lenguje regulr L, que se puede poner como L L 1 L2, entonces L 1 y L 2 son regulres tmién. (Julio Oténgse un AFD mínimo pr el lenguje formdo por s y s, tl que sus cdens cumpln con l condición de que tod dee estr precedid y seguid por l menos un. (Julio Estúdiese l relción de inclusión e iguldd entre los conjuntos representdos por ls siguientes expresiones regulres: c (Enero Un homomorfismo h plicdo un lfeto Σ consiste en trnsformr cd uno de sus crcteres en un cden, en generl, compuest por símolos de otro lfeto Π, que ocsionlmente podrí coincidir con Σ. Si se plicse est operción un plr, se tendrí que: 10
11 Autómts y Lengujes Regulres. 3º.T. nformátic de Sistems. Universidd de Vlldolid. h( 1 2 n h( 1 h( 2 h( n ; donde,, 1 2 n h ( L h( w / w L Extendido lengujes serí: L operción contrri serí llevr co el homomorfismo inverso, esto es: h 1 ( L w / h( w L ; donde L Clcúlese, entonces, el homomorfismo inverso del lenguje L 00 1, siendo que proviene de plicr l trnsformción h ( 01 y h ( 10. El resultdo es un lenguje regulr todví más sencillo que el de prtid, pero, recuérdese, que no st con dr este dto, si no que hy demostrrlo. (Enero Constrúyse el AFD mínimo que reconozc l lenguje formdo prtir del lfeto,, que grup sólo ls plrs que empiezn y terminn por, pero que nunc tienen dos es seguids. Asimismo, oténgnse dos expresiones regulres de este lenguje, lo más simples posiles, un en l que prezc el operdor unión, y, otr, en l que no. (Ferero Se define el operdor P sore un lenguje L, y se denot por P(L, como quel que d como resultdo el siguiente conjunto de plrs: P( L xy /( y 0 x L;( y 1 x L. Verifíquese si est operción es cerrd dentro l ctegorí de lengujes regulres. En cso firmtivo, constrúyse un RFN que reconozc P(L prtir de un L regulr. (Ferero Se l clse de lengujes formles: Σ ΣΣ ; donde Σ es un determindo lfeto y represent culquier de los elementos de este conjunto. Verifíquese si ls operciones de unión, intersección, cierre y complemento son cerrds en l est clse. (Julio Dd l expresión regulr y el utómt:,, Compruéese si mos tienen socido el mismo lenguje. (Julio Existe lgún lenguje forml L finito que cumpl que: c c L L? E infinito? (enero
12 Autómts y Lengujes Regulres. 3º.T. nformátic de Sistems. Universidd de Vlldolid. 75. Clcúlese un expresiones regulr lo más simple posile pr cd uno de estos dos lengujes formdos con letrs es y es solmente: Cdens que no contienen l sucden. Aquells plrs que de precer un prej de es, dee estr inmeditmente seguid de un prej de es. (enero Ddo el lenguje L,,,,, clcúlese tods ls plrs de longitud menor que cutro pertenecientes L. (ferero Se l operción plicd un plr, que d como resultdo: i Eliminción de tods ls es, si en l cden originl hí un número pr de ells. ii Lo mismo con ls es, si l cntidd inicil de ls misms er impr. Est operción es cerrd sore el conjunto de los lengujes regulres? (ferero Constrúyse el utómt finito determinist mínimo socid l siguiente expresión regulr: Si se pudier, simplifíquese est expresión su form más simple posile. 79. Ddo un y un lfeto Σ, se define el conjunto de lengujes: Σ / Σ (ferero 2009 Es cerrd est fmili respecto de l unión?, l intersección? o el complemento? (julio Compruéese l vercidd de ests igulddes entre expresiones regulres: (julio
13 Autómts y Lengujes Regulres. 3º.T. nformátic de Sistems. Universidd de Vlldolid. 81. Oténgse un utómt finito determinist mínimo pr un lenguje compuesto por plrs de con un número impr de es y pr de es simultánemente. (enero Oténgse un expresión regulr, lo más simple posile, pr cd uno de estos lengujes:,, 2 " " 83. Clcúlese el utómt finito determinist mínimo pr el lenguje: ú 3 (ferero Considérese ls cdens dentro del lfeto Σ,, cuyo segmento más lrgo de es es impr. Este conjunto es un lenguje regulr? 85. Se A el utómt finito de l figur, cuyo lenguje se le plic l siguiente trnsformción:,. Clcúlese el utómt finito determinist mínimo socido l lenguje. q1 q2 q 3 (julio Dd l fmili de lengujes Σ /, verifíquese si es cerrd frente l s operciones de unión, cierre y conctención. (ferero Se el utómt finito de l figur y l expresión regulr. Oténgse el AFD mínimo pr. 13
14 Autómts y Lengujes Regulres. 3º.T. nformátic de Sistems. Universidd de Vlldolid. q1 q2 λ λ q 3 (ferero Se define un operción sore un plr, como quell que sustituye cd por, si el número de es pr; por el contrrio, si l cntidd de es impr, ls quedn como estn. Compruéese si est operción es cerrd dentro de los lengujes regulres. (ferero Constrúyse el AFD mínimo que reconozc l siguiente expresión regulr: (julio Ddo un, Σ,,,, se define un lenguje socido cd estdo como: Σ /,, Clcúlese, entonces:,, En función de los resultdos nteriores, verifíquese si l fmili de lengujes constituye un recurimiento o un prtición, o ningun de ls dos coss. Si fuer el cso, cómo podrí constituirse dich fmili de lengujes en un conjunto cociente?. Anlícese si l unión e intersección nteriores drín el mismo resultdo sore un AFD mínimo. Recuerde que no st con responder ests cuestiones escuetmente, sino que hy que justificrls decudmente, y que, en cso contrrio, no se vlorrá. (julio
15 Autómts y Lengujes Regulres. 3º.T. nformátic de Sistems. Universidd de Vlldolid. 91. Se l fmili de los lengujes finitos y l de los cofinitos, que son quellos cuyo complementrio es finito. Si se fij un mismo lfeto y dos lengujes ritrrios L y L respectivmente finito y cofinito, justifíquese l vercidd o flsedd de: Todo lenguje regulr pertenece. L L d L Σ e L c L L (julio
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 detallesProblemas 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 detallesMATRICES. 1. Determinar la matriz transpuesta de cada una de las siguientes; , B= , C= 2. Efectúa la siguiente operación con matrices y calcula A
MTRICES. Determinr l mtriz trnspuest de cd un de ls siguientes;,, C 8. Efectú l siguiente operción con mtrices y clcul. Sen 8, y C determinr: ) t C ) (-C) t t c) -C( t -) d) - t -(C). Dds ls siguientes
Más detallesEJERCICIOS 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 detallesSEPTIEMBRE " ( él representa el producto vectorial)? En caso afirmativo, justifíquese. En caso contrario, póngase un ejemplo que lo confirme.
SEPTIEMBRE 99 OPCIÓN A EJERCICIO. Otener ls mtrices A y B tles que cumplen ls siguientes condiciones: B A B A Se trt de un sistem de ecuciones mtriciles, que se puede resolver por culquier método. Pr este
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 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 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 detallesTEMA : INTERVALOS. Clases de intervalos Notación de conjuntos
TEMA : INTERVALOS L rect rel: el conjunto de números reles se puede representr medinte los puntos de un rect horizontl, que se denomin rect rel, donde cd punto le corresponde un único número rel. Al número
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 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 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 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 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 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 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 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 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 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 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 detallesLos números reales. 1.4 Orden de los números reales CAPÍTULO
1 CAPÍTULO 1 Los números reles 1 1.4 Orden de los números reles Un número que pertenezc los reles. 2 R / es positivo si está l derech del cero; esto se denot sí: > 0 o bien 0 < : 0 Un número que pertenezc
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 detallesNúmeros Reales. Los números naturales son {1; 2; 3; }, el conjunto de todos ellos se representa por.
Se distinguen distints clses de números: Números Reles Los números nturles son {1; 2; 3; }, el conjunto de todos ellos se represent por. El primer elemento es el 1 y no tiene último elemento Todo número
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 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 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 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 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 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 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 detallesLOS CONJUNTOS NUMÉRICOS
Pontifici Universidd Ctólic de Chile Fcultd de Educción Nivelción de Estudios pr Adultos CREA Educción Mtemátic Nivel 2 Profesor Jun Núñez Fernández LOS CONJUNTOS NUMÉRICOS Como se mencionó en l clse nterior,
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 detallesA 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 detallesTEMA 0: CONCEPTOS BÁSICOS.
TEMA : CONCEPTOS BÁSICOS.. Intervlos:. Intervlos. 2. Propieddes de ls potencis.. Propieddes de los rdicles. Operciones con rdicles. Rcionlizción. 4. Conceptos de un polinomio. Fctorizción de polinomios..
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 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 detallesRESUMEN 01 NÚMEROS. Nombre : Curso. Profesor :
RESUMEN 01 NÚMEROS Nomre : Curso : Profesor : PÁGINA 1 Números Los elementos del conjunto N = {1, 2, 3, 4, 5, } se denominn Números Nturles. Los Números Crdinles corresponden l unión del conjunto de los
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 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 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 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 detallesI.E.S. PADRE SUÁREZ Álgebra Lineal 1 TEMA I MATRICES. DETERMINANTES.
I.E.S. PDRE SUÁREZ Álgebr Linel TEM I. Mtrices.. Operciones con mtrices. Determinnte de un mtriz cudrd.. Mtriz invers de un mtriz cudrd. MTRICES. DETERMINNTES.. MTRICES. Llmmos mtriz de números reles,
Más detallesINTEGRALES IMPROPIAS
NOTAS PARA LOS ALUMNOS DE ANALISIS MATEMATICO III INTEGRALES IMPROPIAS Ing. Jun Scerdoti Deprtmento de Mtemátic Fcultd de Ingenierí Universidd de Buenos Aires V INDICE INTEGRALES IMPROPIAS.- PUNTOS SINGULARES
Más detallesTEMA 1 Matrices MATRICES A... es una matriz de dos filas y tres columnas. El elemento a 2,3 = -3
. DEFINICIÓN. http://mtemticsconsole.wikispces.com/ TE trices TRICES Un mtriz de m fils n columns es un serie ordend de m n números ij, i=,,...m; j=,,...n, dispuestos en fils columns, tl como se indic
Más detallesEstructuras Algebraicas. UCR ECCI CI-1204 Matemática Discretas Prof. M.Sc. Kryscia Daviana Ramírez Benavides
UCR ECCI CI-204 Mtemátic Discrets Prof. M.Sc. Krysci Dvin Rmírez Benvides Se E un conjunto no vcío, un función f f : E E E se llm ley de composición intern (operción) sobre E. Además, l imgen f(,b) se
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 detallesEscribe en la pantalla de trabajo de wiris los polinomios y las operaciones indicadas teniendo en cuenta las siguientes indicaciones:
Cálculo con wiris. ºESO EJERCICIOS GUIADOS.- Siendo que: P ( ) Q ( ) 6 R ( ) reliz ls siguientes operciones: ) P ( ) Q( ) ) Q( ) R( ) c) P( ) R( ) d) Cociente resto de Q ( ) R( ) Escrie en l pntll de trjo
Más detallesTEMA 1. NÚMEROS REALES
TEMA. NÚMEROS REALES. El número que indic los dís del ño es un número muy curioso. Es el único número que es sum de los cudrdos de tres números nturles consecutivos y que demás es sum de los cudrdos de
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 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 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 detallesCUADERNO 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λ = 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 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 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 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 detallesTrigonometría. Prof. María Peiró
Trigonometrí Prof. Mrí Peiró Trigonometri Funciones Trigonométrics Ls funciones trigonométrics son rzones o cocientes entre dos ldos de un triángulo rectángulo. Hy seis funciones trigonométrics: Directs
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 detallesMATRICES. MATRIZ INVERSA. DETERMINANTES.
DP. - AS - 59 7 Mteátics ISSN: 988-79X 5 6 MATRICES. MATRIZ INVERSA. DETERMINANTES. () Define rngo de un triz. () Un triz de tres fils y tres coluns tiene rngo tres, cóo vrí el rngo si quitos un colun?
Más detallesEstructuras algebraicas. Departamento de Álgebra. Apuntes de teoría
ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 2015/2016 Apuntes de teorí Autor: Jun González-Meneses. Revisión: Jvier Herrer y José Mrí Uch Tem 3: Anillos. Recordemos que un nillo es un tern (A,
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 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 detallesAPUNTES 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 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 detallesCURSO DE NIVELACIÓN 2012 EJERCITARIO TEÓRICO DE MATEMÁTICA I
CURSO DE NIVELACIÓN 0 EJERCITARIO TEÓRICO DE MATEMÁTICA I 0 EJERCITARIO TEÓRICO DE MATEMÁTICA I. Con relción l potencición, se firm que es un operción: ) Conmuttiv. ) Distriutiv respecto l sum. 3) Distriutiv
Más detallesACTIVIDADES DE APRENDIZAJE Nº 5... 112
FACULTAD DE INGENIERÍA - UNJ Unidd : olinomios UNIDAD olinomios Introducción - Epresiones lgebrics - Clsificción de ls epresiones lgebrics - Epresiones lgebrics enters 7 - Monomios 7 - Grdo de un monomio
Más detallesConjuntos numéricos. Intervalos. Operaciones en el conjunto de números reales.
Fich Técnic Conjuntos numéricos Intervlos Operciones en el conjunto de números reles Índice de tems: Conjuntos numéricos Intervlos Operciones y propieddes Módulo o vlor bsoluto de un número rel Conjuntos
Más detallesLÁMINA No. 1.1 LECTURA Y ESCRITURA DE UN NÚMERO
6 LÁMINA No. 1.1 REPRESENTACION GRÁFICA DE N N {0, 1,,, 4, 5,...} Propieddes de N: 1. Tiene primer elemento. 0 1 4 5... 1er elemento suc() último elemento. Todo número tiene sucesor. No existe último elemento
Más detalles[FACTORIZACION DE POLINOMIOS]
009 CETis 6 Ing. Gerrdo Srmiento Díz de León [FACTORIZACION DE POLINOMIOS] Documento que enseñ como fctorizr polinomios Pr fctorizr polinomios hy vrios métodos: FACTORIZACIÓN DE POLINOMIOS. Scr fctor común:
Más detallesFactorización de polinomios. Sandra Schmidt Q. sschmidt@tec.ac.cr Escuela de Matemática Instituto Tecnológico de Costa Rica
Artículo de sección Revist digitl Mtemátic, Educción e Internet (www.cidse.itcr.c.cr/revistmte/). Vol. 12, N o 1. Agosto Ferero 2012. Fctorizción de polinomios. Sndr Schmidt Q. sschmidt@tec.c.cr Escuel
Más detallesNÚMEROS RACIONALES. Los números racionales son todos aquellos números de la forma b
NÚMEROS RACIONALES Los números rcionles son todos quellos números de l form b con y b números enteros y b distinto de cero. El conjunto de los números rcionles se represent por l letr Q. IGUALDAD ENTRE
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 detallesLos números racionales:
El número rel MATEMÁTICAS I 1 1. EL CONJUNTO DE LOS NÚMEROS REALES. LA RECTA REAL 1.1. El conjunto de los números reles. Como y sbes los números nturles surgen de l necesidd de contr, expresr medids, pr
Más detalles