GRAMATICAS REGULARES - EXPRESIONES REGULARES

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

Download "GRAMATICAS REGULARES - EXPRESIONES REGULARES"

Transcripción

1 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 G = (N, T, P, S) donde - N es un onjunto finito de símolos no terminles - T es un onjunto finito de símolos terminles N T = - P es un onjunto finito de produiones Cd produión de P tiene l form α β, α = ϕaρ y β = ϕωρ ϕ, ω, ρ (N T) * y A es S ó A N - S es el símolo distinguido o xiom S (N T) Restringiendo los formtos de produiones permitids en un grmáti, se pueden espeifir utro tipos de grmátis (tipo,, 2 y 3) y sus orrespondientes lses de lengujes. Grmátis regulres (Tipo 3) Genern los lengujes regulres (quellos reonoidos por un utómt finito). Son ls grmátis más restritivs. El ldo dereho de un produión dee ontener un símolo terminl y, omo máximo, un símolo no terminl. Ests grmátis pueden ser: - Lineles dereh, si tods ls produiones son de l form A N {S} A B ó A B N T (en el ldo dereho de ls produiones el símolo no terminl pree l dereh del símolo terminl) - Lineles izquierd, si tods ls produiones son de l form A N {S} A B ó A B N T (en el ldo dereho de ls produiones el símolo no terminl pree l izquierd del símolo terminl) En mos sos, se puede inluir l produión S, si el lenguje que se quiere generr ontiene l den ví. Por ejemplo ls siguientes grmátis G y G 2, son grmátis regulres lineles dereh y lineles izquierd respetivmente, que genern el lenguje L = { 2n / n } G = ({A, B}, {}, P, S ) G 2 = ({C, D}, {}, P 2, S 2 ) donde P es el jto. donde P 2 es el jto. S S 2 S A S 2 C A B C D A C B A D C

2 CIENCIAS DE LA COMPUTACION I 29 Algoritmo pr otener l grmáti regulr desde el utómt finito Existe un lgoritmo que permite otener un grmáti regulr que gener un lenguje regulr ddo prtir del utómt finito que reonoe ese lenguje. Los psos seguir son los siguientes: ) Asoir l estdo iniil el símolo distinguido S. 2) Asoir d estdo del utómt (menos el estdo iniil) un símolo no terminl. Si l estdo iniil lleg lgún ro soir tmién un símolo no terminl (demás del símolo distinguido). No soir símolo no terminl quellos estdos finles de los que no slen ros. 3) Pr d trnsiión definid δ (e i, ) = e j, gregr l onjunto de produiones, l produión A B, siendo A y B los símolos no terminles soidos e i y e j respetivmente. Si e j es un estdo finl, gregr tmién l produión A. Si e j es el estdo iniil (tiene dos símolos soidos, el distinguido y un no terminl), utilizr el símolo no terminl (de est mner se evit que el símolo distinguido prez l dereh de un produión). 4) Si el estdo iniil es tmién finl gregr l produión S. Ejemplo : Derivión de l grmáti orrespondiente l lenguje del ej. 4 del punte de utómts finitos L 4 = { x / x {, } * y x ontiene l suden ó x ontiene l suden } L 4 = L(M 4Dmin ), M 4Dmin = < {p, p, p 2, p 3 }, {, }, δ, p, {p 3 }> δ está definid por el siguiente digrm de trnsiión de estdos A S p p p 3, C p 2 B Como l estdo iniil no entrn ros, se soi únimente el símolo distinguido S. L grmáti orrespondiente este lenguje es G = ({A, B, C}, {, }, P, S), siendo P el siguiente onjunto: S A y que δ (p o, ) = p y S y A están soido p y p respetivmente. S B y que δ (p o, ) = p 2 y S y B están soido p y p 2 respetivmente. A C A A B B A B C B C C C C C C

3 CIENCIAS DE LA COMPUTACION I 29 Ejemplo 2: Derivión de l grmáti orrespondiente l lenguje del ej. 3 del punte de utómts finitos. L 3 = {x 3m / x {, } * y l ntidd de s es pr y m }, siendo L 3 = L(M 3D ) M 3D = < {e, e, e 2, e 3, e 4 }, {,, }, δ 3D, e, {e, e 4 }> δ 3D está definid por el siguiente digrm de trnsiión de estdos B e C D E e e 2 e 3 e 4 S A Como l estdo iniil entrn ros, se soi el símolo distinguido S y demás un símolo no terminl A. L grmáti orrespondiente este lenguje es G = ({A, B, C, D, E}, {,, }, P, S), siendo P el siguiente onjunto: S (el estdo iniil es tmién finl) A C S A B B S B A (se us el símolo no terminl soido l estdo iniil) S B B S C C D A A D E A D A B E C Ejemplo 3: Derivión de l grmáti orrespondiente l lenguje del ej. 7 del punte de utómts finitos. L 7 = { 2n 2k+ / n y k } {x / x {, } * y x ontiene l suden } siendo L 7 = L(M 7Dmin ), M 7Dmin = < {p, p, p 2, p 3, p 4, p 5, p 6 }, {, }, δ, p, {p 3, p 6 }> δ está definid por el siguiente digrm de trnsiión de estdos S A B C D p p p 2 p 3 p 4, p 5 p 6 E F L grmáti orrespondiente este lenguje es G = ({A, B, C, D, E, F}, {, }, P, S), siendo P el siguiente onjunto: S A B C C D F F A B B D C E E F A E C D D E F F F B A C F D F E F

4 CIENCIAS DE LA COMPUTACION I 29 Expresiones regulres Se denominn expresiones regulres sore un lfeto A, ls expresiones que se pueden onstruir prtir de ls siguientes regls: - es un expresión regulr que desrie el lenguje vío; - es un expresión regulr que desrie el lenguje {}, esto es el lenguje que ontiene únimente l den ví; - Pr d símolo A, es un expresión regulr que desrie el lenguje {}, esto es el lenguje que ontiene únimente l den ; - Si r y s son expresiones regulres que desrien los lengujes L(r) y L(s) respetivmente: i) r + s es un expresión regulr que desrie el lenguje L(r) L(s) ii) r. s es un expresión regulr que desrie el lenguje L(r). L(s) iii) r * es un expresión regulr que desrie el lenguje L(r) *. El operdor de lusur es el que tiene myor preedeni, seguido por el operdor de ontenión y por último el operdor de unión. Ls expresiones regulres desrien los lengujes regulres (quellos reonoidos por utómts finitos). Por ejemplo ls siguientes son expresiones regulres válids: - *. que desrie el lenguje L = { n / n } - ( + ) * que desrie el lenguje L = { x / x {, } * } Leyes lgeris pr expresiones regulres Dos expresiones regulres r y s son equivlentes (r s) si L(r) = L(s) Sen r, s y t expresiones regulres: ) r + + r r 2) r.. r r 3) r.. r 4) r + s s + r 5) (r + s) + t r + (s + t) 6) (r. s). t r. (s. t) 7) r. (s + t) r. s + r. t 8) (s + t). r s. r + t. r 9) r + r r ) * ) r. r * r *. r 2) r. r * + r * 3) (r *. s * ) * (r + s) * 4) (r * ) * r * Construión de utómts finitos prtir de expresiones regulres Los lengujes desriptos por expresiones regulres son los lengujes reonoidos por los utómts finitos. Existe un lgoritmo pr onvertir un expresión regulr en el utómt finito no determinístio orrespondiente. El lgoritmo onstruye prtir de l expresión regulr un utómt on trnsiiones vís, es deir un utómt que ontiene ros rotuldos on. Luego este

5 CIENCIAS DE LA COMPUTACION I 29 utómt on trnsiiones vís se puede onvertir en un utómt finito sin trnsiiones vís que reonoe el mismo lenguje. Construión del utómt finito on trnsiiones Si r es un expresión regulr on n operdores y sin vriles omo operndos tómios, existe un utómt finito no determinístio M on trnsiiones (AFND-) que ept solmente quells dens que están en L(r). M tiene un estdo finl, no entrn ros l estdo iniil y no slen ros del estdo finl. r puede ser un expresión sin operdores (, o un símolo) o on operdores (+,., *). Si r no tiene operdores, entones: Pr r = el AFND- es e e Pr r = el AFND- es e e Pr r = ( A) el AFND- es e e Si r tiene operdores, se dn tres sos dependiendo de l form de r: ) r = r + r 2 Sen M = <E, A, δ, e, {e f }> y M 2 = <E 2, A, δ 2, e 2, {e f2 }>, los utómts orrespondientes r y r 2. Se onstruye un nuevo utómt M que une estos dos utómts M y M 2 gregndo un estdo iniil e y un estdo finl e f ; M = < E E 2 {e, e f }, A, δ, e, {e f }>. El estdo iniil de M tiene trnsiiones los estdos iniiles de M y M 2 ; los estdos finles de estos utómts tienen trnsiiones l estdo finl del utómt M. e... M e f e e f e 2... M 2 e f2 2) r = r. r 2 Sen M = <E, A, δ, e, {e f }> y M 2 = <E 2, A, δ 2, e 2, {e f2 }>, los utómts orrespondientes r y r 2. Se onstruye un nuevo utómt M, M = < E E 2, A, δ, e, {e f2 }> que tiene omo estdo iniil l estdo iniil de M y omo estdo finl l estdo finl de M 2 ; tiene demás un ro rotuldo desde el estdo finl de M l estdo iniil de M 2. e... e f e 2... e f2 M M 2

6 CIENCIAS DE LA COMPUTACION I 29 3) r = r * Se M = <E, A, δ, e, {e f }> el utómt orrespondiente r. Se onstruye un nuevo utómt M, M = < E {e, e f }, A, δ, e, {e f }>; y se gregn ros rotuldos desde e l estdo iniil de M y l estdo finl de M, y desde el estdo finl de M l estdo iniil de M y e f. Ejemplo 4: Construir el AFND- orrespondiente l siguiente expresión regulr r =. + *. r es de l form r + r 2, donde r =. y r 2 = *. r se puede expresr omo r 3. r 4, donde e e... e f M e f r 3 = e e 2 r 4 = e 3 e 4 El utómt pr r es e e 2 e 3 e 4 r 2 se puede expresr omo r 5. r 6, donde r 5 = r 7 * siendo r 7 = e 6 e 7 El utómt pr r 5 es e 5 e 6 e 7 e 8 r 6 = El utómt pr r 2 es e 9 e e 5 e 6 e 7 e 8 e 9 e El utómt orrespondiente r es

7 CIENCIAS DE LA COMPUTACION I 29 AFND- =<{e, e, e 2, e 3, e 4, e 5, e 6, e 7, e 8, e 9, e, e }, {, }, δ, e, {e }>, on δ definid por el siguiente digrm de trnsiión de estdos e e e 2 e 3 e 4 e e 5 e 6 e 7 e 8 e 9 e Construión del AFND prtir del AFND- Ddo un AFND- es posile onstruir un AFND equivlente sin trnsiiones vís que reonoe el mismo lenguje. Los estdos del nuevo utómt son los estdos importntes del AFND- y el estdo iniil del AFND-. Se denominn estdos importntes quellos estdos los que lleg un ro on un símolo rel omo rótulo. El estdo iniil es el estdo iniil del AFND-. L funión de trnsiión se define teniendo en uent que existe un trnsiión del estdo importnte e i l estdo importnte e j on el símolo x, si existe lgún estdo e k tl que: - se puede llegr desde el estdo e i l estdo e k on un mino de ó ms trnsiiones ; se permite e i = e k ; - en el AFND- existe un trnsiión del estdo e k l estdo e j rotuld on el símolo x. Los estdos finles del nuevo utómt son los estdo finles del AFND- y todos los estdos e i del AFND- pr los ules existe un mino on trnsiiones, en el AFND-, lgún estdo finl del AFND-. Ejemplo 5: Construión del AFND orrespondiente l AFND- del ejemplo 4. El onjunto de estdos está formdo por e (estdo iniil) y por los estdos e 2, e 4, e 7 y e (estdos importntes). Los estdos finles son e 4 y e (existe un mino en el AFND- on trnsiiones un estdo finl del AFND-). El estdo iniil es e. Trnsiiones pr el estdo e : desde el estdo e se pueden lnzr on trnsiiones los estdos e, e, e 5, e 6, e 8 y e 9. En el AFND- existe un trnsiión de e e 2 on, un trnsiión de e 6 e 7 on y un trnsiión de e 9 e on. Entones en el nuevo utómt hy un trnsiión de e e 2 on, un trnsiión de e e 7 on y un trnsiión de e e on. Trnsiiones pr el estdo e 2 : desde el estdo e 2 se pueden lnzr on trnsiiones los estdos e 2 y e 3. En el AFND- existe un trnsiión de e 3 e 4 on. Entones en el nuevo utómt, hy un trnsiión del estdo e 2 l estdo e 4 on. Trnsiiones pr el estdo e 7 : desde el estdo e 7 se pueden lnzr on trnsiiones los estdos e 6, e 7, e 8 y e 9. En el AFND- existe un trnsiión de e 6 e 7 on y un trnsiión de e 9 e on. Entones en el nuevo utómt, hy un trnsiión del estdo e 7 l estdo e 7 on y un trnsiión del estdo e 7 l estdo e on. Trnsiiones pr el estdo e 4 : desde el estdo e 4 se pueden lnzr on trnsiiones los estdos e 4 y e. Como en el AFND- no existen trnsiiones sore símolos reles desde el estdo e, entones no se gregn trnsiiones desde el estdo e 4 en el nuevo utómt.

8 CIENCIAS DE LA COMPUTACION I 29 Trnsiiones pr el estdo e : desde el estdo e se pueden lnzr on trnsiiones los estdos e y e. Como en el AFND- no existen trnsiiones sore símolos reles desde el estdo e, entones no se gregn trnsiiones desde el estdo e en el nuevo utómt. El utómt orrespondiente sin trnsiiones se define AFND = <{e, e 2, e 4, e 7, e }, {, }, δ, e, {e 4, e }>, on δ definid por el siguiente digrm de trnsiión de estdos e 2 e 4 e e 7 e Se puede oservr que este utómt es no determinístio. Como y se h visto, es posile onstruir prtir del mismo el utómt finito determinístio equivlente que reonoe el mismo lenguje. Ejemplo 6 Construir el AFND- orrespondiente l siguiente expresión regulr r = ( + * ). r es de l form r. r 2, donde r = + * y r 2 = r se puede expresr omo r 3 + r 4, donde r 3 = * r 4 = r 5 siendo r 5 = El utómt pr r 4 es e e 2 e 4 e 5 e 3 e 4 e 5 e 6 El utómt pr r es El utómt pr r 2 es e e 2 e e 7 e 3 e 4 e 5 e 6 e 8 e 9

9 CIENCIAS DE LA COMPUTACION I 29 El utómt orrespondiente r es AFND- =<{e, e, e 2, e 3, e 4, e 5, e 6, e 7, e 8, e 9 }, {, }, δ, e, {e 9 }>, on δ definid por el siguiente digrm de trnsiión de estdos e e 2 e e 7 e 3 e 4 e 5 e 6 e 8 e 9 Construión del AFND orrespondiente l AFND- nterior El onjunto de estdos está formdo por e (estdo iniil) y por los estdos e 2, e 5 y e 9 (estdos importntes). El únio estdo finl es e 9 El estdo iniil es e. El utómt orrespondiente sin trnsiiones se define AFND = <{e, e 2, e 5, e 9 }, {, }, δ, e, {e 9 }>, on δ definid por el siguiente digrm de trnsiión de estdos e e 2 e 9 e 5 Se puede oservr que este utómt es no determinístio. Como y se h visto, es posile onstruir prtir del mismo el utómt finito determinístio equivlente que reonoe el mismo lenguje, que podrí ser luego minimizdo. Otr posiilidd es simplifir l expresión regulr primero pr otener diretmente el AFD mínimo. r = ( + * ). ( + * ). (. +. * + ). (. ( + * ) + ). (. ( +. * + ) + ). (. (. * + ) + ). (. * + ). *.

10 CIENCIAS DE LA COMPUTACION I 29 Construión de l expresión regulr prtir del utómt A prtir de ulquier utómt finito es posile otener un expresión regulr que desrie el lenguje reonoido por el utómt. Est onversión onsiste en ir eliminndo los estdos del utómt uno por uno, reemplzndo los rótulos sore los ros, que iniilmente son símolos, por expresiones regulres más omplids. Eliminión de estdos del utómt: Se dese eliminr el estdo u, pero se deen mntener los rótulos de ls expresiones regulres sore los ros de modo tl que los rótulos de los minos entre ulesquier pr de estdos de los estdos restntes no mien. s s 2... s n S S 2 S n R u U T 2 T m T t t 2... t m Si no existe ro de u u se puede gregr uno rotuldo. Los nodos s i, pr i =, 2,..., n, son nodos predeesores del nodo u, y los nodos t j, pr j =, 2,..., m, son nodos suesores del nodo u. Existe un ro de d s i u, rotuldo por un expresión regulr S i, y un ro de u d t j rotuldo por un expresión regulr T j. Si se elimin el nodo u, estos ros y el ro rotuldo U despreerán. Pr preservr ests dens, se dee onsiderr d pr s i y t j y gregr l rótulo del ro de s i t j, un expresión regulr que represente lo que despree. En generl se puede suponer que existe un ro rotuldo R ij de s i t j pr i =, 2,..., n y j =, 2,..., m. Si el ro de s i t j no está presente se puede gregr on rótulo. El onjunto de dens que rotuln los minos de s i u, inluyendo el ilo de u u, y luego de u t j, se puede desriir por l expresión regulr S i U * T j. Por lo tnto, después de eliminr u y todos los ros que llegn y slen de u, se dee reemplzr el rótulo R ij del ro de si t j por l expresión regulr R ij + S i U * T j Algoritmo pr onstruir l expresión regulr prtir del utómt: Los psos seguir son los siguientes: ) Repetir pr d estdo finl: Si el estdo finl es tmién iniil, eliminr todos los estdos exepto el estdo iniil. S L expresión regulr orrespondiente es S *. s

11 CIENCIAS DE LA COMPUTACION I 29 Sino, eliminr los estdos del utómt hst que queden únimente el estdo iniil y el estdo finl en onsiderión. S s U V T t L expresión regulr que nos llev del estdo s l estdo t es S * U (T + V S * U) * S * U (T * (V S * U) * ) * 2) Relizr l unión de ls expresiones regulres otenids pr d estdo finl del utómt. Ejemplo 7: Otener l expresión regulr orrespondiente l lenguje del ejemplo p p p 3, p 2 Pso ) El únio estdo finl es p 3. Como no es iniil se deen eliminr los estdos p y p 2 pr que queden únimente p (el estdo iniil) y p 3 (el estdo finl en onsiderión). - Eliminión del estdo p : + p p p 2 - Eliminión del estdo p 2 : p p 3 ( + )() * ( + ) + + p p 3 ( + )() * ( + ) +

12 CIENCIAS DE LA COMPUTACION I 29 Pso 2) L expresión regulr orrespondiente es: (( + )() * ( + ) + )( + ) * Ejemplo 8: Otener l expresión regulr orrespondiente l lenguje del ejemplo 2 e e e 2 e 3 e 4 Pso ) Como el utómt tiene dos estdos finles, se lulrá un expresión regulr pr d uno de ellos. El estdo finl e es tmién iniil. Por lo tnto se deerán eliminr todos los estdos que están en el mino de e e. El únio estdo eliminr es e. - Eliminión del estdo e : + * e L expresión regulr pr el estdo e es ER = ( + * ) * El otro estdo finl es e 4. Como no es iniil se deen eliminr los estdos e, e 2 y e 3 pr que queden únimente e (el estdo iniil) y e 4 (el estdo finl en onsiderión). - Eliminión de e + * e e 2 e 3 e 4 - Eliminión de e 2 + * e e 3 e 4 - Eliminión de e 3 + * e e 4

13 CIENCIAS DE LA COMPUTACION I 29 L expresión regulr pr el estdo e 4 es ER 2 = ( + * ) * () * Pso 2) L expresión regulr orrespondiente l utómt se otiene uniendo ls expresiones regulres resultntes pr d estdo finl. ER = ER + ER 2 = ( + * ) * + ( + * ) * () * Ejemplo 9: Otener l expresión regulr orrespondiente l lenguje L = {x / x {,, } * y x ontiene ntidd pr de s y d en x está preedid por l menos un } AFD = <{e, e, e 2, e 3 }, {,, }, δ, e, {e, e }> e e e 2 e 3 Pso ) Como el utómt tiene dos estdos finles, se lulrá un expresión regulr pr d uno de ellos. Estdo finl e Como no es iniil se deen eliminr los estdos e 2 y e 3 pr que queden únimente e (el estdo iniil) y e (el estdo finl en onsiderión). - Eliminión de e 2 e e 3 e 2 e 3 + * e e * e 3 - Eliminión de e 3 + * e * e 3 e

14 CIENCIAS DE LA COMPUTACION I 29 e e + * (+ * ) * L expresión regulr pr el estdo e es ER = * (+(+ * (+ * ) * ) * ) * Estdo finl e El estdo finl e es tmién iniil. Por lo tnto se deerán eliminr todos los estdos que están en el mino de e e, es deir e, e 2 y e 3. Retomndo el utómt otenido en el pso nterior, sólo quedrí por eliminr el estdo e - Eliminión de e e + * (+ * ) * e e + * (+ * (+ * ) * ) e ER = (+ * (+ * (+ * ) * )) * Pso 2) L expresión regulr orrespondiente l utómt se otiene uniendo ls expresiones regulres resultntes pr d estdo finl. ER = ER + ER = * (+(+ * (+ * ) * ) * ) * + (+ * (+ * (+ * ) * )) *

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

Preguntas y respuestas para la evaluación continua 2008/2009

Preguntas y respuestas para la evaluación continua 2008/2009 Pregunts y respuests pr l evluión ontinu 28/29 Dr. Arno Formell Universidd de Vigo Deprtmento de Informáti Áre de Lengujes y Sistems Informátios E-324 Ourense http://www.ei.uvigo.es/ formell formell@ei.uvigo.es

Más detalles

CONCEPTO AUTÓMATAS DE ESTADO FINITO (AF) Analizar los autómatas de estado finito y sus componentes, así como las diferentes formas de representarlos.

CONCEPTO AUTÓMATAS DE ESTADO FINITO (AF) Analizar los autómatas de estado finito y sus componentes, así como las diferentes formas de representarlos. CONCEPTO AUTÓMATAS DE ESTADO FINITO (AF) OBJETIVO Anlizr los utómts de estdo finito y sus omponentes, sí omo ls diferentes forms de representrlos. JUSTIFICACION L definiión de los utómts de estdo finito

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

Teoría de Autómatas y Lenguajes Formales

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

Ejemplo para transformar un DFA en una Expresión Regular

Ejemplo para transformar un DFA en una Expresión Regular Ejemplo pr trnsformr un DFA en un Expresión Regulr En este texto vmos ver uno e los métoos que se usn pr trnsformr utómts finitos eterminists en expresiones regulres, el métoo e eliminión e estos. Cuno

Más detalles

Ciencias de la Computación I

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

Fundamentos de Algoritmos y Computabilidad

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

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

PROGRAMA EDUCATIVO: INGENIERÍA EN COMPUTACIÓN ELABORÓ: LILIA OJEDA TOCHE

PROGRAMA EDUCATIVO: INGENIERÍA EN COMPUTACIÓN ELABORÓ: LILIA OJEDA TOCHE DIAPOSITIVAS AUTÓMATAS DETERMINISTAS Y NO DETERMINISTAS (EJERCICIOS) UNIDAD DE APRENDIZAJE: AUTÓMATAS Y LENGUAJES FORMALES PROGRAMA EDUCATIVO: INGENIERÍA EN COMPUTACIÓN ESPACIO ACADÉMICO: FACULTAD DE INGENIERÍA

Más 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

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

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

Capítulo 8: Propiedades de Lenguajes Regulares

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

INGENIERÍA EN INFORMÁTICA MODELOS ABSTRACTOS DE COMPUTO I

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

Ciencias de la Computación I

Ciencias de la Computación I Ciencias de la Computación I Gramáticas Regulares Expresiones Regulares Gramáticas - Intuitivamente una gramática es un conjunto de reglas para formar correctamente las frases de un lenguaje - Por ejemplo,

Más detalles

5. Lenguajes Regulares

5. Lenguajes Regulares 5. Lengujes Regulres Arceli Snchis de Miguel Agpito Ledezm Espino José A. Iglesis Mr

Más detalles

Función de transición δ. Tema 6. Función de transición extendida. Función de transición extendida. Función de transición extendida

Función de transición δ. Tema 6. Función de transición extendida. Función de transición extendida. Función de transición extendida Tem 6 El lenguje eptdo por un FA Funión de trnsiión δ p j p l Dr. Luis A. Pined ISBN: 970-32-2972-7 Σ Q p i p k n Pr todo en Q & Σ, δ(, ) = p Funión de trnsiión etendid δ permite moverse the un estdo otro

Más 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

DETERMINANTES. GUIA DETERMINANTES 1

DETERMINANTES. GUIA DETERMINANTES 1 GUI DETERMINNTES DETERMINNTES. Los determinntes fueron originlmente investigdos por el mtemátio jponés Sei Kow lrededor de 8, por seprdo, por el filósofo mtemátio lemán Gottfried Wilhelm Leiniz lrededor

Más detalles

q 2 q 3 b q 3 q 4 a, b

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

SESIÓN 11 SISTEMA DE ECUACIONES DE PRIMER GRADO CON DOS INCOGNITAS I

SESIÓN 11 SISTEMA DE ECUACIONES DE PRIMER GRADO CON DOS INCOGNITAS I Mtemátis I SESIÓN SISTEMA DE ECUACIONES DE PRIMER GRADO CON DOS INCOGNITAS I I. CONTENIDOS:. Conepto y representión geométri.. Métodos de soluión: o Igulión o Sustituión. o Reduión (sum y rest). o Determinnte.

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

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

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

INTEGRALES IMPROPIAS

INTEGRALES IMPROPIAS INTEGRALES IMPROPIAS INDICE.- Integrles impropis de primer espeie....- Integrles impropis de segund espeie.- Integrles impropis del tipo C... 8 4.- Criterios de omprión 8.- Biliogrfi 0 DEFINICION DE INTEGRALES

Más detalles

ECUACIONES DE PRIMER Y SEGUNDO GRADO

ECUACIONES DE PRIMER Y SEGUNDO GRADO UNIDAD ECUACIONES DE PRIMER Y SEGUNDO GRADO EJERCICIOS RESUELTOS Ojetivo generl. Al terminr est Unidd resolverás ejeriios y prolems que involuren l soluión de euiones de primer grdo y de segundo grdo Ojetivo.

Más detalles

ÁLGEBRA DE BOOLE. Algebra de Boole

ÁLGEBRA DE BOOLE. Algebra de Boole ÁLGEBRA DE BOOLE Alger de Boole George Boole 854 desrrolló un herrmient mtemáti que se utiliz pr el estudio de omputdores. L pliión en omputdores es del tipo inrio 0/ El estdo de un elemento del iruito

Más detalles

Cuestionario Respuestas

Cuestionario Respuestas Cuestionrio Respuests Copright 2014, MtemtiTu Derehos reservdos 1) Un ineuión o desiguldd on un vrile (inógnit) es un enunido en que se presentn dos epresiones, l menos un on l vrile entre ells uno de

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

SOLUCIONES DE LOS EJERCICIOS DE CORRIENTE CONTINUA -1 er TRIMESTRE-. problemas:11, 12 y 14

SOLUCIONES DE LOS EJERCICIOS DE CORRIENTE CONTINUA -1 er TRIMESTRE-. problemas:11, 12 y 14 R= SOLUCONES DE LOS PROLEMS DE ELECTRCDD DE C.C. SOLUCONES DE LOS EJERCCOS DE CORRENTE CONTNU - er TRMESTRE-. prolems:, y ª ) Soluionremos este prolem por el método generl de nálisis por lzos ásios, omprondo

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

Conceptos básicos de la Teoría de Grafos

Conceptos básicos de la Teoría de Grafos Mtemáti Disret y Lógi 2 Coneptos ásios e l Teorí e Grfos 1. Definiiones A menuo, uno se utiliz un mp e rreters interes oservr omo ir e un puelo otro por ls rreters inis en el mismo. En onseueni se tienen

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

Propuesta sobre la enseñanza de los números racionales Geovany Sanabria Brenes

Propuesta sobre la enseñanza de los números racionales Geovany Sanabria Brenes Geovny Snri B. Propuest sore l enseñnz de los números rionles Geovny Snri Brenes Un mner de ordr los números rionles es trvés del onoimiento previo de rzones. En l tulidd, ls friones en primri no son vists

Más detalles

FUNCIÓN CUADRÁTICA Y LA ECUACIÓN DE UNA PARÁBOLA HORIZONTAL

FUNCIÓN CUADRÁTICA Y LA ECUACIÓN DE UNA PARÁBOLA HORIZONTAL FUNCIÓN CUADRÁTICA Y LA ECUACIÓN DE UNA PARÁBOLA HORIZONTAL El prolem de l práol horizontl Qué relión h entre ls propieddes nlítis de l funión udráti ls propieddes geométris de l práol horizontl? Como

Más detalles

a vectores a y b se muestra en la figura del lado derecho.

a vectores a y b se muestra en la figura del lado derecho. Produto ruz o produto vetoril Otr form nturl de definir un produto entre vetores es trvés del áre del prlelogrmo determindo por dihos vetores. El prlelogrmo definido por los h vetores y se muestr en 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

1.-Algunas desigualdades básicas.

1.-Algunas desigualdades básicas. Preprión Olimpid Mtemáti Espñol. Curso 05-6. Desigulddes (y polinomios, y funiones). 3 de Noviemre de 05. Fernndo Myorl..-Alguns desigulddes ásis. ) 0 pr ulquier R. L iguldd sólo se umple pr = 0. ) (Desiguldd

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

UNIDAD VI LA ELIPSE 6.1. ECUACIÓN EN FORMA COMÚN O CANÓNICA DE LA ELIPSE

UNIDAD VI LA ELIPSE 6.1. ECUACIÓN EN FORMA COMÚN O CANÓNICA DE LA ELIPSE UNIDAD VI LA ELIPSE OBJETIVO PARTIULAR Al onluir l unidd, el lumno onoerá plirá ls propieddes relionds on el lugr geométrio llmdo elipse, determinndo los distintos prámetros, su euión respetiv vievers.

Más detalles

INGENIERÍA EN INFORMÁTICA MODELOS ABSTRACTOS DE COMPUTO I

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

Colegio Nuestra Señora de Loreto TRIGONOMETRÍA 4º E.S.O.

Colegio Nuestra Señora de Loreto TRIGONOMETRÍA 4º E.S.O. TRIGONOMETRÍ 4º E.S.O. Frniso Suárez Bluen TRIGONOMETRÍ PREVIOS. Teorem de Tles (Semejnz) Si ortmos dos rets por un serie de rets prlels, los segmentos determindos en un de ells son proporionles los segmentos

Más detalles

Tema 5. Semejanza. Tema 5. Semejanza

Tema 5. Semejanza. Tema 5. Semejanza Tem 5. Semejnz Tem 5. Semejnz 1. Definiión de Semejnz. Esls. Teorem de Tles 3. Semejnz de Triángulos. riterios 4. riterios de Semejnz en triángulos retángulos 5. Teorems en triángulos retángulos 6. Relión

Más detalles

{a,b,c,e,d,f} {a,h,a,b,c} {c,e,e,d,c,b} {d,e,g,e,e,d} {e,e} {h,a,b,c,a,h} {c,d,e,c} {a,b,c,d,e,c} {a,h,a} {b,a,c,d,f}

{a,b,c,e,d,f} {a,h,a,b,c} {c,e,e,d,c,b} {d,e,g,e,e,d} {e,e} {h,a,b,c,a,h} {c,d,e,c} {a,b,c,d,e,c} {a,h,a} {b,a,c,d,f} RUTA Un rut de longitud n desde u v en G es un seueni de n rists e 1,,e n de G pr el ul existe un seueni x 0 =u, x 1,., x n-1, x n =v de vérties tl que e i tiene, pr i=1,, n los puntos finles x i-1 y x

Más detalles

1. Definición de Semejanza. Escalas

1. Definición de Semejanza. Escalas Tem 5. Semejnz Tem 5. Semejnz 1. Definiión de Semejnz. Esls. Teorem de Tles 3. Semejnz de Triángulos. riterios 4. riterios de Semejnz en triángulos retángulos 5. Teorems en triángulos retángulos 6. Relión

Más detalles

Programación: el método de bisección

Programación: el método de bisección Progrmión: el método de iseión Este texto fue esrito por Egor Mximenko y Mri de los Angeles Isidro Perez. Ojetivos. Enter l ide del método de iseión, progrmr el método de iseión usndo un ilo while, pror

Más detalles

Sistemas de Ecuaciones lineales Discusión con parámetros. Discutir el siguiente sistema de ecuaciones lineales según el valor del parámetro a:

Sistemas de Ecuaciones lineales Discusión con parámetros. Discutir el siguiente sistema de ecuaciones lineales según el valor del parámetro a: ALGEBRA Sistems de Euiones lineles Disusión on prámetros Disutir el siguiente sistem de euiones lineles según el vlor del prámetro : + ( + ) = + = + = Interpretión: Del enunido se dedue que se trt de un

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 finitos TEORÍA DE LA COMPUTACIÓN LENGUAJES REGULARES Y AUTÓMATAS FINITOS. Ejemplo 2. Ejemplo 1

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

Este documento es de distribución gratuita y llega gracias a El mayor portal de recursos educativos a tu servicio!

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

c c a c a b b a c a A estas razones numéricas se les da el nombre: Si en cambio consideramos γ, resulta: Comparando (1), (2), (3), (4) obtenemos:

c c a c a b b a c a A estas razones numéricas se les da el nombre: Si en cambio consideramos γ, resulta: Comparando (1), (2), (3), (4) obtenemos: TRIGONOMETRIA NOCIONES PREVIAS Si onsidermos tres vrills,, tles que puede onstruirse on ells un triángulo (siempre que se umpl que l medid de d vrill se menor que l sum de ls otrs dos mor que l difereni)

Más detalles

Resolver inecuaciones como las siguientes. Expresar la solución en forma gráfica y algebraica. Comparar las soluciones de los ejercicios e), f) y g).

Resolver inecuaciones como las siguientes. Expresar la solución en forma gráfica y algebraica. Comparar las soluciones de los ejercicios e), f) y g). 64 Tercer Año Medio Mtemátic Ministerio de Educción Actividd 3 Resuelven inecuciones y sistems de inecuciones con un incógnit; expresn ls soluciones en form gráfic y en notción de desigulddes; nlizn ls

Más detalles

Departamento: Física Aplicada III

Departamento: Física Aplicada III Fund mentos Físi os de l Ingenierí. (Ind ustri les) Prlelogrmo insrito en trpezoide Ddo un trpezoide (udrilátero irregulr que no tiene ningún ldo prlelo otro), demuestre, usndo el álger vetoril, que los

Más detalles

EVALUACIÓN DE EXPRESIONES ALGEBRAICAS CON VARIABLES

EVALUACIÓN DE EXPRESIONES ALGEBRAICAS CON VARIABLES Algoritmos y Estruturs de Dtos Fundmentos de Progrmión 2 : 1 sesión (S8: del 16 l 20 de myo) EVALUACIÓN DE EXPRESIONES ALGEBRAICAS CON VARIABLES En est práti proederemos evlur expresiones esrits en form

Más detalles

5 Integral doble de Riemann

5 Integral doble de Riemann Miguel eyes, Dpto. de Mtemáti Aplid, FI-UPM 1 5 Integrl doble de iemnn 5.1 Definiión Llmremos retángulo errdo de 2 l produto de dos intervlos errdos y otdos de, es deir = [, b] [, d] = { (x, y) 2 : x b,

Más detalles

1 Se construye una tabla. 2 Se repite lo siguiente hasta que ya no haya cambios: (q i, q j ) := s.

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

CONSTRUCCION DE TRIANGULOS

CONSTRUCCION DE TRIANGULOS ONSTRUION DE TRINGULOS INTRODUION Ls exigenis que se imponen un figur que se dese onstruir son ls siguientes: 1) l mgnitud de segmentos, ros, ángulos y áres. 2) l posiión reltiv de puntos y línes. 3) l

Más detalles

Es una sucesión de lados que van de un vértice x a un vértice w (los lados son distintos).

Es una sucesión de lados que van de un vértice x a un vértice w (los lados son distintos). CAMINOS Y CIRCUITOS En un grfo se puede reorrer l informión de diferentes mners pr llegr de un punto otro. Todo reorrido es un mino y l longitud del mino o del iruito es el número de vérties que se ton

Más detalles

1 - Resolver los siguientes determinantes usando propiedades 1/10

1 - Resolver los siguientes determinantes usando propiedades 1/10 - Resolver los siguientes determinntes usndo propieddes ) ) / ) d) e) f) / / g) / / / / / / / / / / / / / h) / / / / / / / / / / / / / / / i) / / / / j) / / 8 / k) h k w k w h w h k h k w - Hllr los vlores

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

1 Se construye una tabla. 2 Se repite el siguiente procedimiento hasta que ya no haya cambios: (q i, q j ) := s.

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

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

Introducción a la lógica epistémica

Introducción a la lógica epistémica Introducción l lógic epistémic Fernndo Soler Toscno Universidd de Sevill ¾Qué es l lógic epistémic? Sistem forml pr rzonr sore el conocimiento y l creenci Podemos modelr el conocimiento de uno o vrios

Más detalles

Matemática II Tema 4: matriz inversa y determinante

Matemática II Tema 4: matriz inversa y determinante Mtemáti II Tem 4: mtriz invers y eterminnte 2012 2013 Ínie Mtriz invertile 1 Definiión y propiees 1 Cómputo e l mtriz invers 3 Determinnte e un mtriz 4 Propiees e los eterminntes 4 Cómputo el eterminnte

Más detalles

APLICACIONES DE LA DERIVADA

APLICACIONES DE LA DERIVADA APLICACIONES DE LA DERIVADA.- BACHILLERATO.- TEORÍA Y EJERCICIOS. Pág. 1 Creimiento y dereimiento. APLICACIONES DE LA DERIVADA Cundo un funión es derivle en un punto, podemos onoer si es reiente o dereiente

Más detalles

x x = 0 es una ecuación compatible determinada por que sólo se

x x = 0 es una ecuación compatible determinada por que sólo se Euiones Denominmos euión l iguldd que se stisfe pr uno o más vlores de l(s) vrile(s), o inógnit(s), que interviene en ell. Ejemplos: + 5 + 5 + 6 0 + 0 Denominmos euión lgeri tod euión del tipo: n n n +

Más detalles

Ambigüedad. Sesión 16. Una gramática ambigua. Ambigüedad. Una gramática ambigua. Una gramática ambigua

Ambigü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 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

Universidad de Valladolid

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

Determinantes Bachillerato 2º. Determinantes. Los determinantes históricamente son anteriores a las matrices, pero por el auge de éstos han quedado

Determinantes Bachillerato 2º. Determinantes. Los determinantes históricamente son anteriores a las matrices, pero por el auge de éstos han quedado Determinntes hillerto º Determinntes Introduión: Los determinntes histórimente son nteriores ls mtries, pero por el uge de éstos hn queddo relegdos un º plno. El uso de los determinntes nos permitirá:

Más detalles

Tema IV Elección Social. El Análisis Positivo, Votación, Teorema de May, Teorema de Imposibilidad de Arrow

Tema IV Elección Social. El Análisis Positivo, Votación, Teorema de May, Teorema de Imposibilidad de Arrow Tem IV Eleión Soil El Análisis Positivo, Votión, Teorem de My, Teorem de Imposiilidd de Arrow 1 Qué hiimos en el tem nterior? Repso Estudimos ul deerí ser l ominión de reursos (en un eonomí de intermio)

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

Tema 14. Gramáticas libres del contexto (GLC o CFG) Dr. Luis A. Pineda ISBN: Definición recursiva de lenguajes

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

Visualización de triángulos. Curso de Matemáticas para Física. Trigonometría. Trigonometría. Física I, Internet A b.

Visualización de triángulos. Curso de Matemáticas para Física. Trigonometría. Trigonometría. Física I, Internet A b. Visulizión de triángulos Curso de Mtemátis pr Físi Curso de Mtemátis pr Físi Físi I, vi@ Internet 2004 B A C Físi I, vi@ Internet 2004 Visulizión de triángulos Fijémonos en un triángulo ulquier. Curso

Más detalles

Aprendizaje de lenguajes incontextuales (II) Autómatas de árboles y gramáticas incontextuales

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

Factorización de polinomios. Sandra Schmidt Q. sschmidt@tec.ac.cr Escuela de Matemática Instituto Tecnológico de Costa Rica

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

Aplicaciones del cálculo integral

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

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

RAZONES TRIGONOMÉTRICAS EN EL TRIÁNGULO RECTÁNGULO

RAZONES TRIGONOMÉTRICAS EN EL TRIÁNGULO RECTÁNGULO Geometrí y Trigonometrí Rzones trigonométris en el triángulo retángulo 7. RZONES TRIGONOMÉTRIS EN EL TRIÁNGULO RETÁNGULO 7.1 onepto de trigonometrí Trigonometrí L plr trigonometrí es un volo ltino ompuesto

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

B 1. d 1 d 2 B 2 XI.2 ECUACIÓN ORDINARIA DE LA HIPÉRBOLA HORIZONTAL CON CENTRO EN EL ORIGEN

B 1. d 1 d 2 B 2 XI.2 ECUACIÓN ORDINARIA DE LA HIPÉRBOLA HORIZONTAL CON CENTRO EN EL ORIGEN Págin del Colegio de Mtemátis de l ENP-UNAM Hipérol Autor: Dr. José Mnuel Beerr Espinos HIPÉRBOLA UNIDAD XI XI.1 DEFINICIÓN DE HIPÉRBOLA Un hipérol es el lugr geométrio de todos los puntos P del plno,

Más detalles

Bases Formales de la Computación

Bases 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

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

APUNTE: TRIGONOMETRIA

APUNTE: TRIGONOMETRIA APUNTE: TRIGONOMETRIA UNIVERSIDAD NACIONAL DE RIO NEGRO Asigntur: Mtemáti Crrers: Li. en Eonomí Profesor: Prof. Mel S. Chresti Cutrimestre: ero Año: 06 o Coneptos Previos o Definiión de ángulo Un ángulo

Más detalles

UNIDAD IV ÁLGEBRA MATRICIAL

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

Teoría de Lenguajes. Transductores y Máquinas Secuenciales Generalizadas

Teorí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 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

22. Trigonometría, parte II

22. Trigonometría, parte II 22. Trigonometrí, prte II Mtemátis II, 202-II 22. Trigonometrí, prte II Extensión del dominio Se P un punto sore l irunfereni x 2 + 2 =. Est irunfereni tiene rdio entro el origen O(0, 0). Denotmos por

Más detalles

Estructuras de datos. Estructuras de datos. Estructuras de datos. Estructuras de datos

Estructuras de datos. Estructuras de datos. Estructuras de datos. Estructuras de datos Existen dos tipos de list on un uso muy freuente en el desrrollo de pliiones de softwre. El primero son ls pils uyo omportmiento es el de un list que insert y elimin sus elementos por el mismo extremo

Más detalles

CONTROL DE PROCESOS FACET UNT TEMA 1 Nota Auxiliar B ÁLGEBRA DE BLOQUES

CONTROL DE PROCESOS FACET UNT TEMA 1 Nota Auxiliar B ÁLGEBRA DE BLOQUES Digrms en Bloques Un sistem de control puede constr de ciert cntidd de componentes. Pr mostrr ls funciones que reliz cd componente se costumr usr representciones esquemátics denominds Digrm en Bloques.

Más detalles

Álgebra Booleana y Propiedades

Álgebra Booleana y Propiedades Álger Boolen y Propieddes Se B ={;}. Deinimos l sum y el produto y omplemento pr los elementos de B omo + =. + = + = + =.. = =. =.. = Un vrile es un vrile oolen si sólo tom vlores de B. en onseueni + =

Más detalles

DETERMINANTES SELECTIVIDAD ZARAGOZA

DETERMINANTES SELECTIVIDAD ZARAGOZA DETERMINANTES SELECTIVIDAD ZARAGOZA. (S-97)Hllr el rngo de l mtriz B 0 0 según se el vlor del prámetro [,5 puntos] Puesto que el menor 0 0 rgb 0 () 0 ( ) 0 ) Pr 0 r(b) ) Pr 0 0 - B 0-0 0 - r(b) 0-0 - 0-0

Más detalles

PROBLEMAS RESUELTOS SUMA DE VECTORES METODO GEOMÉTRICO

PROBLEMAS RESUELTOS SUMA DE VECTORES METODO GEOMÉTRICO PROBLEMAS RESUELTOS SUMA DE VECTORES METODO GEOMÉTRICO 1. Los vectores mostrdos en l figur tienen l mism mgnitud (10 uniddes) El vector (+c) + (d+) - c, es de mgnitud: c ) 0 ) 0 c) 10 d) 0 e) 10 d Este

Más detalles