AUTOMATAS FINITOS Traductores

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "AUTOMATAS FINITOS Traductores"

Transcripción

1 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 y entreg un respuest (si o no). En el cso de los lengujes, el utómt finito funcion como un máquin reconocedor de cdens de un lenguje regulr. SI Entrd Automát Finito NO Un utómt finito consiste en un conjunto finito de estdos y un conjunto de trnsiciones entre esos estdos, que dependen de los símolos de l cden de entrd. El utómt finito cept un cden x si l secuenci de trnsiciones correspondientes los símolos de x conduce desde el estdo inicil un estdo finl. Si pr todo estdo del utómt existe como máximo un trnsición definid pr cd símolo del lfeto, se dice que el utómt es determinístico (AFD). Si prtir de lgún estdo y pr el mismo símolo de entrd, se definen dos o más trnsiciones se dice que el utómt es no determinístico (AFND). Formlmente un utómt finito se define como un 5-upl M = <Q, Σ, δ, q, F> donde Q: conjunto finito de estdos Σ: lfeto o conjunto finito de símolos de entrd δ: función de trnsición de estdos, que se define como - δ: Q x Σ Q si el utómt es determinístico - δ: Q x Σ P(Q) si el utómt es no determinístico (P(Q) es el conjunto potenci de E, es decir el conjunto de todos los suconjuntos de Q) q: estdo inicil; e Q F: conjunto de estdos finles o estdos de ceptción; F Q Generlmente se soci con cd utómt un grfo dirigido, llmdo digrm de trnsición de estdos, donde: - cd nodo del grfo corresponde un estdo q i simoliz l estdo q i, q i Q - el estdo inicil se indic medinte un flech que no tiene nodo origen q T3_Autómts Finitos, y Trductores

2 Universidd de Morón Lengujes Formles y Autómts - los estdos finles se representn con un círculo dole q 2 - si existe un trnsición del estdo q i l estdo q j pr un símolo de entrd, existe entonces un rco rotuldo desde el nodo q i l nodo q j ; es decir que δ(q i, ) = q j, se represent en el digrm (q i, q j Q, Σ) q i q j Ejemplo : Autómt finito determinístico que cept el lenguje L = { n c m / n > y m } M D = < {q, q, q 2 }, {,, c}, δ D, q, {q 2 }> δ D está definid por el siguiente digrm de trnsición de estdos donde: c q q q 2 δ D (q, ) = q δ D (q, ) = q δ D (q, c ) = q 2 δ D (q 2, ) = q 2 Prticulrmente est función δ D puede representrse por medio de un mtriz donde ls fils serán los estdos y ls columns los símolos del lfeto de entrd Q / Σ c q q q q q 2 q 2 q 2 Ejemplo 2: Autómt finito determinístico que cept el lenguje L 2 = {x/ x {, } * } M 2D = < {q, q, q 2, q 3 }, {, }, δ 2D, q, {q 3 }> δ 2D está definid por el siguiente digrm de trnsición de estdos q q q 2 q 3 T3_Autómts Finitos, y Trductores 2

3 Universidd de Morón Lengujes Formles y Autómts Ejemplo 3: Autómt finito determinístico que cept el lenguje L 3 = {xc 3m / x {, } * y l cntidd de s es pr y m } M 3D = < {e, e, e 2, e 3, e 4 }, {,, c}, δ 3D, e, {e, e 4 }> δ 3D está definid por el siguiente digrm de trnsición de estdos e e c c c e 2 e 3 e 4 Ejemplo 4: c Autómt finito no determinístico que cept el lenguje L 4 = { x / x {, } * y x contiene l sucden ó x contiene l sucden } M 4ND = < {e, e, e 2, e 3, e 4 }, {, }, δ 4ND, e, {e 2, e 4 }> δ 4ND está definid por el siguiente digrm de trnsición de estdos, e e 3 e 4, e e 2, Función de trnsición pr cdens Se define demás un función δ * : Q x Σ * Q, tl que δ * (q i, x) es el estdo en que estrá el utómt después de leer l cden x comenzndo en el estdo q i. ) δ * (q i, λ) = q i 2) δ * (q i, x) = δ(δ * (q i,x), ) siendo x un cden y un símolo del lfeto Σ. L diferenci entre δ y δ * es que δ se define desde un estdo y un símolo del lfeto, y δ * se define desde un estdo y un cden de símolos. El lenguje ceptdo por un utómt finito M = <Q, Σ, δ, q, F> es: L(M) = { x Σ * / δ * (q, x) F } Los lengujes ceptdos por utómts finitos se denominn lengujes regulres. Equivlenci entre AFD y AFND Pr cd AFND, existe un AFD que cept el mismo lenguje. Ddo el utómt finito no determinístico M ND = <Q ND, Σ, δ ND, q ND, F ND >, se define el utómt finito determinístico correspondiente M D = <Q D, Σ, δ D, q D, F D > como sigue: - Q D = ρ(q ND ) (conjunto potenci de Q ND ). Cd elemento de Q D se represent como [q, q 2,..., q i ] donde q, q 2,..., q i están en Q ND. Se dee notr que [q, q 2,..., q i ] es un único estdo de M D que corresponde un conjunto de estdos de M ND. T3_Autómts Finitos, y Trductores 3

4 Universidd de Morón Lengujes Formles y Autómts - Σ: lfeto - δ D : Q D x Σ Q D, se define como δ D ([q, q 2,..., q i ], ) = [q l, q m,..., q k ] sii δ ND ({q, q 2,..., q i }, ) = δ G ({q, q 2,..., q i }, ) = {q l, q m,..., q k }, donde δ G se define como δ G (C, ) = δ (p, ) y δ G (, ) = (C: conj. de estdos) p C Es decir que δ D plicd un elemento [q, q 2,..., q i ] de Q D se clcul plicndo δ ND cd estdo de E ND representdo por [q, q 2,..., q i ]. - q D = [q ND ] - F D : conjunto de todos los estdos de Q D que contienen l menos un estdo finl de M ND. Ejemplo 5: Construcción del utómt finito determinístico correspondiente l utómt finito no determinístico del ejemplo 4. El AFD M 4D correspondiente l AFND M 4ND se define como M 4D = < E 4D, {, }, δ 4D, [e ], F 4D > L función de trnsición δ 4D se clcul como: δ 4D [e ] [e, e 3 ] [e, e ] [e, e 3 ] [e, e 3, e 4 ] [e, e ] [e, e ] [e, e 3 ] [e, e, e 2 ] [e, e 3, e 4 ] [e, e 3, e 4 ] [e, e, e 4 ] [e, e, e 2 ] [e, e 2, e 3 ] [e, e, e 2 ] [e, e, e 4 ] [e, e 3, e 4 ] [e, e, e 2, e 4 ] [e, e 2, e 3 ] [e, e 2, e 3, e 4 ] [e, e, e 2 ] [e, e, e 2, e 4 ] [e, e 2, e 3, e 4 ] [e, e, e 2, e 4 ] [e, e 2, e 3, e 4 ] [e, e 2, e 3, e 4 ] [e, e, e 2, e 4 ] Como δ 4ND (e, ) = {e, e 3 }, entonces δ 4D ([e ], ) = [e, e 3 ]. Como δ 4ND ({e, e 3 }, )= δ G ({e, e 3 }, )=δ 4ND (e, ) δ 4ND (e 3, )={e, e 3 } {e 4 } = {e, e 3, e 4 } entonces δ 4D ([e, e 3 ], ) = [e, e 3, e 4 ]. De l mism form se clcul δ 4D pr el resto de los estdos. Se dee notr que se h clculdo δ 4D pr únicmente quellos estdos lcnzles desde el estdo inicil y prtir de los cules se puede lcnzr un estdo finl. Por lo tnto, el conjunto de estdos E 4D es E 4D = {[e ], [e, e 3 ], [e, e ], [e, e 3, e 4 ], [e, e, e 2 ], [e, e, e 4 ], [e, e 2, e 3 ], [e, e, e 2, e 4 ], [e, e 2, e 3, e 4 ].} El conjunto de estdos finles F 4D está formdo por quellos estdos de E 4D que contienen l menos un estdo finl de M 4ND. Entonces F 4D = {[e, e 3, e 4 ], [e, e, e 2 ], [e, e, e 4 ], [e, e 2, e 3 ], [e, e, e 2, e 4 ], [e, e 2, e 3, e 4 ]} Renomrndo los estdos correspondientes l AFD: [e ] q [e, e 3 ] q [e, e ] q 2 [e, e 3, e 4 ] q 3 T3_Autómts Finitos, y Trductores 4

5 Universidd de Morón Lengujes Formles y Autómts [e, e, e 2 ] q 4 [e, e, e 4 ] q 5 [e, e 2, e 3 ] q 6 [e, e, e 2, e 4 ] q 7 [e, e 2, e 3, e 4 ] q 8 l función de trnsición δ 4D se puede reescriir como: δ 4D q q q 2 q q 3 q 2 q 2 q q 4 q 3 q 3 q 5 q 4 q 6 q 4 q 5 q 3 q 7 q 6 q 8 q 4 q 7 q 8 q 7 q 8 q 8 q 7 Entonces M 4D = <{q, q, q 2, q 3, q 4, q 5, q 6, q 7, q 8 }, {, }, δ 4D, q, {q 3, q 4, q 5, q 6, q 7, q 8 }> El digrm de trnsición de estdos correspondiente este utómt es: q q 3 q 5 q 7 q q 2 q 4 q 6 q 8 Minimizción de AFD Pr cd AFD existe un AFD con cntidd mínim de estdos que cept el mismo lenguje. El lgoritmo de minimizción divide el conjunto de estdos del AFD en clses de equivlenci. Los psos seguir son los siguientes: ) Eliminr los estdos no lcnzles desde el estdo inicil. 2) Eliminr los estdos desde los cules no es posile lcnzr un estdo finl. 3) Construir un prtición Π del conjunto de estdos, que consiste en dos grupos: estdos finles y estdos no finles. 4) Pr cd grupo G de un prtición Π K, dividir G en sugrupos tles que dos estdos s y t están en el mismo grupo sí y sólo sí pr todo símolo del lfeto de entrd, los estdos s y t vn l mismo grupo de Π K-. 5) Repetir el pso 4 hst que Π K = Π K- Ejemplo 6: Minimizción del AFD resultnte del ejemplo 5. T3_Autómts Finitos, y Trductores 5

6 Universidd de Morón Lengujes Formles y Autómts Pso : no existen estdos no lcnzles desde el estdo inicil. Pso 2: no existen estdos desde los cules no es posile lcnzr un estdo finl. Pso 3: Como q, q, q 2 son estdos no finles y q 3, q 4, q 5, q 6, q 7, q 8 son estdos finles Π = { q q q 2, q 3 q 4 q 5 q 6 q 7 q 8 } Pso 4: Grupo q q q 2. Como - desde q con se ps l grupo q q q 2 - desde q con se ps l grupo q 3 q 4 q 5 q 6 q 7 q 8 - desde q 2 con se ps l grupo q q q 2 se dee seprr el estdo q de los estdos q y q 2. Pr ver si q y q 2 pueden quedr en el mismo grupo, se dee nlizr qué ocurre con el símolo : - desde q con se ps l grupo q q q 2 - desde q con se ps l grupo q 3 q 4 q 5 q 6 q 7 q 8 Entonces, como con vn distintos grupos se deen seprr tmién. Después de relizr un nálisis similr pr el grupo q 3 q 4 q 5 q 6 q 7 q 8, l prtición resultnte es: Π = { q, q, q 2, q 3 q 4 q 5 q 6 q 7 q 8 } Pso 5: Anlizndo Π se puede concluir que no hy mner de seguir prticionndo, y que Π 2 = Π. Renomrndo los estdos: q p q p q 2 p 2 q 3 q 4 q 5 q 6 q 7 q 8 p 3 el AFD mínimo se define como M 4Dmin = < { p, p, p 2, p 3 }, {, }, δ, p, {p 3 }>, donde δ está definid por el siguiente digrm de trnsición de estdos p p p 3, p 2 De los ejemplos 4, 5 y 6 se puede concluir que: L(M 4ND ) = L(M 4D ) = L(M 4Dmin ) = L 4 T3_Autómts Finitos, y Trductores 6

7 Universidd de Morón Lengujes Formles y Autómts Ejemplo 7: Autómt finito no determinístico que cept el lenguje L 7 = { 2n 2k+ / n y k } {x / x {, } * y x contiene l sucden } M 7ND = < {e, e, e 2, e 3, e 4, e 5, e 6, e 7 }, {, }, δ 7ND, e, {e 3, e 7 }> δ 7ND está definid por el siguiente digrm de trnsición de estdos e e e 2 e 3, e 5 e 4 e 6 e 7, El utómt finito determinístico M 7D correspondiente l AFND M 7ND se define como M 7D = < E 7D, {, }, δ 7D, [e ], F 7D > L función de trnsición δ 7D se clcul como: δ 7D [e ] [e, e 5 ] - [e, e 5 ] [e 2, e 5 ] [e 5, e 6 ] [e 2, e 5 ] [e, e 5 ] [e 3, e 5, e 6 ] [e 5, e 6 ] [e 5, e 7 ] [e 5, e 6 ] [e 3, e 5, e 6 ] [e 5, e 7 ] [e 4, e 5, e 6 ] [e 5, e 7 ] [e 5, e 7 ] [e 5, e 6, e 7 ] [e 4, e 5, e 6 ] [e 5, e 7 ] [e 3, e 5, e 6 ] [e 5, e 6, e 7 ] [e 5, e 7 ] [e 5, e 6, e 7 ] Como δ 7ND (e, ) = {e, e 5 }, entonces δ 7D ([e ], ) = [e, e 5 ]. Como δ 7ND ({e, e 5 }, )= δ G ({e, e 5 }, )=δ 7ND (e, ) δ 7ND (e 5, )={e 2 } {e 5 } = {e 2, e 5 } entonces δ 7D ([e, e 5 ], ) = [e 2, e 5 ]. De l mism form se clcul δ 7D pr el resto de los estdos. Se dee notr que se h clculdo δ 7D pr únicmente quellos estdos lcnzles desde el estdo inicil y prtir de los cules se puede lcnzr un estdo finl. Por lo tnto, el conjunto de estdos E 7D es E 7D = {[e ], [e, e 5 ], [e 2, e 5 ], [e 3, e 5, e 6 ], [e 4, e 5, e 6 ], [e 5, e 6 ], [e 5, e 7 ], [e 5, e 6, e 7 ]} El conjunto de estdos finles F 7D está formdo por quellos estdos de E 7D que contienen l menos un estdo finl de M 7ND. Entonces F 7D = {[e 5, e 7 ], [e 3, e 5, e 6 ], [e 5, e 6, e 7 ]} Renomrndo los estdos correspondientes l AFD: T3_Autómts Finitos, y Trductores 7

8 Universidd de Morón Lengujes Formles y Autómts [e ] q [e, e 5 ] q [e 2, e 5 ] q 2 [e 3, e 5, e 6 ] q 3 [e 4, e 5, e 6 ] q 4 [e 5, e 6 ] q 5 [e 5, e 7 ] q 6 [e 5, e 6, e 7 ] q 7 l función de trnsición δ 7D se puede reescriir como: δ 7D q q - q q 2 q 5 q 2 q q 3 q 3 q 6 q 4 q 4 q 6 q 3 q 5 q 6 q 5 q 6 q 6 q 7 q 7 q 6 q 7 Entonces M 7D = <{q, q, q 2, q 3, q 4, q 5, q 6, q 7 }, {, }, δ 7D, q, {q 3, q 6, q 7 }> El digrm de trnsición de estdos correspondiente este utómt es: q q q 2 q 3 q 4 q 5 q 6 q 7 El utómt finito determinístico mínimo correspondiente l utómt M 7D se clcul como sigue: Pso : no existen estdos no lcnzles desde el estdo inicil. Pso 2: no existen estdos desde los cules no es posile lcnzr un estdo finl. Pso 3: Como q, q, q 2, q 4 y q 5 son estdos no finles y q 3, q 6 y q 7 son estdos finles Π = { q q q 2 q 4 q 5, q 3 q 6 q 7 } Pso 4: Grupo q q q 2 q 4 q 5. Como - desde q con se ps l grupo q q q 2 q 4 q 5 - desde q con se ps l grupo q q q 2 q 4 q 5 - desde q 2 con se ps l grupo q q q 2 q 4 q 5 - desde q 4 con se ps l grupo q 3 q 6 q 7 - desde q 5 con se ps l grupo q 3 q 6 q 7 T3_Autómts Finitos, y Trductores 8

9 Universidd de Morón Lengujes Formles y Autómts los estdos q 4 y q 5 se deen seprr de los estdos q, q y q 2. Pr ver si q, q y q 2 pueden quedr en el mismo grupo, se dee nlizr qué ocurre con el símolo : - desde q con no hy trnsiciones definids - desde q con se ps l grupo q q q 2 q 4 q 5 - desde q 2 con se ps l grupo q 3 q 6 q 7 Como con vn distintos grupos se deen seprr. Pr ver si q 4 y q 5 pueden quedr en el mismo grupo, se dee nlizr qué ocurre con el símolo : - desde q 5 con se ps l grupo q q q 2 q 4 q 5 - desde q 4 con se ps l grupo q 3 q 6 q 7 Entonces, como con vn distintos grupos se deen seprr tmién. Después de relizr un nálisis similr pr el grupo q 3 q 6 q 7, l prtición resultnte es: Π = { q, q, q 2, q 4, q 5, q 3, q 6 q 7 } Pso 5: Anlizndo Π se puede concluir que no hy mner de seguir prticionndo, y que Π 2 = Π. Renomrndo los estdos: q p q p q 2 p 2 q 3 p 3 q 4 p 4 q 5 p 5 q 6 q 7 p 6 el AFD mínimo se define como M 7Dmin = < { p, p, p 2, p 3, p 4, p 5, p 6 }, {, }, δ, p, {p 3, p 6 }>, donde δ está definid por el siguiente digrm de trnsición de estdos p p p 2 p 3 p 4, p 5 p 6 Se puede concluir que L(M 7ND ) = L(M 7D ) = L(M 7Dmin ) = L 7 T3_Autómts Finitos, y Trductores 9

10 Universidd de Morón Lengujes Formles y Autómts Algoritmo pr otener l grmátic regulr desde el utómt finito Existe un lgoritmo que permite otener un grmátic regulr prtir de un utómt finito que reconoce ls hilers generds por el lenguje regulr generdo por l grmátic. Los psos seguir son los siguientes: ) Asocir l estdo inicil el símolo distinguido S. 2) Asocir cd estdo del utómt (menos el estdo inicil) un símolo no terminl. Si l estdo inicil lleg lgún rco socir tmién un símolo no terminl (demás del símolo distinguido). 3) Pr cd trnsición definid δ (e i, ) = e j, gregr l conjunto de producciones, l producción A B, siendo A y B los símolos no terminles socidos e i y e j respectivmente. Si e j es un estdo finl, gregr tmién l producción A. Si e j es el estdo inicil (tiene dos símolos socidos, el distinguido y un no terminl), utilizr el símolo no terminl (de est mner se evit que el símolo distinguido prezc l derech de un producción). 4) Si el estdo inicil es tmién finl gregr l producción S λ. Ejemplo 8: Derivción de l grmátic correspondiente l lenguje del ej. 4 de este punte L 4 = { x / x {, } * y x contiene l sucden ó x contiene l sucden } L 4 = L(M 4Dmin ), M 4Dmin = < {p, p, p 2, p 3 }, {, }, δ, p, {p 3 }> δ está definid por el siguiente digrm de trnsición de estdos A S p p p 3, C p 2 B Como l estdo inicil no entrn rcos, se soci únicmente el símolo distinguido S. L grmátic correspondiente este lenguje es G = ({A, B, C, S}, {, }, P, S), siendo P el siguiente conjunto: S A y que δ (p o, ) = p y S y A están socido p y p respectivmente. S B y que δ (p o, ) = p 2 y S y B están socido p y p 2 respectivmente. A C A A B B A B C B C C C C C C T3_Autómts Finitos, y Trductores

11 Universidd de Morón Lengujes Formles y Autómts Ejemplo 9: Derivción de l grmátic correspondiente l lenguje del ej. 3 de este punte. L 3 = {xc 3m / x {, } * y l cntidd de s es pr y m }, siendo L 3 = L(M 3D ) M 3D = < {e, e, e 2, e 3, e 4 }, {,, c}, δ 3D, e, {e, e 4 }> δ 3D está definid por el siguiente digrm de trnsición de estdos B e C D E c e c c e 2 e 3 e 4 S A c Como l estdo inicil entrn rcos, se soci el símolo distinguido S y demás un símolo no terminl A. L grmátic correspondiente este lenguje es G = ({A, B, C, D, E, S}, {,, c}, P, S), siendo P el siguiente conjunto: S λ (el estdo inicil es tmién finl) A cc S A B B S B A (se us el símolo no terminl socido l estdo inicil) S B B S cc C cd A A D ce A D c A B E cc Ejemplo : Derivción de l grmátic correspondiente l lenguje del ej. 7 de este punte. L 7 = { 2n 2k+ / n y k } {x / x {, } * y x contiene l sucden } 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 trnsición de estdos S A B C D p p p 2 p 3 p 4 p 5, p 6 E F L grmátic correspondiente este lenguje es G = ({A, B, C, D, E, F, S}, {, }, P, S), siendo P el siguiente conjunto: 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 T3_Autómts Finitos, y Trductores

12 Universidd de Morón Lengujes Formles y Autómts Autómt finito: Modelo Un utómt finito M que se utiliz como modelo es simplemente un utómt finito que se define como un 3-upl M M = <Q, Σ, δ >. Notr que no existe estdo inicil q, ni el conjunto de estdos finles F, y que solo se utiliz pr modelr el funcionmiento de un proceso. Donde Q: Conjunto finito de estdos, Σ: Alfeto o conjunto finito de símolos de entrd, δ: Es l función de trnsición de estdos definid δ: Q x Σ Q Ejemplo 2: Se muestr el modelo de funcionmiento de un grdor tipo Q ={OFF, ON, PAUSA, AVAN., RETR.} Σ={ply, pus, stop, rew, ff} δ: stop OFF RETR rew ff ply ff stop ply stop rew rew ply ON ff AVAN pus pus PAUSA T3_Autómts Finitos, y Trductores 2

13 Universidd de Morón Lengujes Formles y Autómts Autómt Finito Trductor Un utómt finito trductor M T es simplemente un utómt finito que se define como un 7-upl M T = <Q, Σ, δ, q, F, S, γ>. Donde Q: Conjunto finito de estdos, Σ: Alfeto o conjunto finito de símolos de entrd, δ: Es l función de trnsición de estdos definid δ: Q x Σ Q q : Estdo inicil q Σ. F: Conjunto de estdos finles o estdos de ceptción. F E. S: Alfeto o conjunto finito de símolos de slid γ: Es l función de trducción definid γ: Q x Σ S* Ams funciones δ: Q x Σ Q y γ: Q x Σ S* están definids sore Q x Σ. Si existen δ (q i, ) = q j y γ (q i, ) = x donde q i, q j Q; Σ ; x S* en el digrm de trnsición de estdos el vlor de l trducción x se greg sore los rcos. / x q i q j Función de trducción pr cdens L extensión de l función de trducción γ * : Q x Σ* S*, tl que γ * (q i,ω) es l cden que trducirá el utómt, luego de leer l cden ω en l cint de entrd y comenzndo en el estdo q i, se define como: ) γ * (q i, λ) = λ 2) γ * (q i, ω) = γ * (q i, ω). γ(δ * (q, ω), ) donde Σ, ω Σ*, q, q i Q L diferenci entre γ y γ * es que γ se define desde un estdo y un símolo del lfeto, y γ* se define desde un estdo y un cden de símolos. Not: El utómt solo define l trducción, si el utómt finito reconocedor suycente cept l cden. Es decir, l trducción T(ω):Σ* S* socid M T está definid como: T(ω)= γ * (q, ω) δ * (q, ω) F donde ω Σ* Ejemplo 3: En ciert oficin, un máquin expendedor distriuye dos tipos de eids en lt: gseos y gu minerl. El precio por unidd es $. L máquin cept moneds de $.25, $.5 y $; y devuelve el cmio necesrio. Pr comprr un eid se deen introducir ls moneds, y luego pretr el otón G pr solicitr un gseos, o ien el otón M pr solicitr Agu Minerl. Pr est máquin se model el siguiente Autómt Finito AFM = <E, Σ, δ, S, γ> L función de trducción γ, indic el dinero que se entreg como cmio por l dquisición de l eid, seguido por el tipo de eid que se h selecciondo. El conjunto de estdos E = { e, e, e 2, e 3, e 4 }, donde el estdo e k de l máquin, pr k =,, 2, 3, 4, recuerd l inserción de un totl de k * $.25. Σ = {.25,.5,, G, M} T3_Autómts Finitos, y Trductores 3

14 Universidd de Morón Lengujes Formles y Autómts S = {.25,.5,, g, m} donde g indic lt de gseos y m gu minerl δ.25.5 G M γ.25.5 G M e e e 2 e 4 e e e ε ε ε ε ε e e 2 e 3 e 4 e e e ε ε.25 ε ε e 2 e 3 e 4 e 4 e 2 e 2 e 2 ε ε.5 ε ε e 3 e 4 e 4 e 4 e 3 e 3 e 3 ε ε ε.5 e 4 e 4 e 4 e 4 e e e g m Ejemplo 4: Se L = { n 2m k / n 2 y m 2 y k } Trducir ls cdens de L: n 2m k como 2n+ (c) m pr n 2, m 2, k M T4 = <{e,e,e 2,e 3,e 4,e 5,e 6,e 7 }, {,}, δ, e, {e 6, e 7 }, {,,c}, γ > δ y γ : / /λ e / e / e 2 / /c /λ /c e 3 e 4 e 5 /λ e 6 e 7 /λ Pr l cden de entrd = 2 4 T( 2 4 ) = γ * (e, 2 4 ) δ * (e, 2 4 ) F T( 2 4 ) = 5 2 (c) 2 e 6 F Pr l cden de entrd T( ) = γ * (e, ) δ * (e, ) T( ) = (c) 3 e 7 F Pr l cden de entrd 4 2 T( 4 2 ) = γ * (e, 4 2 ) δ * (e, 4 2 ) T( 4 2 ) no es válid porque e F T3_Autómts Finitos, y Trductores 4

15 Universidd de Morón Lengujes Formles y Autómts Ejemplo 5: Se L = {cc () 2k x / k y x {,c}*} Trducir ls cdens de L: cc() 2k x como k+ m pr k y m= x M T5 = <{e,e,e 2,e 3,e 4,e 5,e 6 }, {,}, δ, e, {e 2, e 6 }, {}, γ > δ y γ: /λ c/ / e e c/λ /λ /λ e 3 e 2 e 4 e 5 /,c/ /, c/ e 6 Pr l cden de entrd cc γ * (e, cc)= δ * (e, cc) F Pr l cden de entrd cc() 4 cc γ * (e, cc() 4 cc)= 3 4 = 7 δ * (e, cc() 4 cc) F Pr l cden de entrd ccccc γ * (e, ccccc)= 9 δ * (e, ccccc) F Pr l cden de entrd ccc γ * (e, ccc)= 2 δ * (e, ccc) F T3_Autómts Finitos, y Trductores 5

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

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

Determinización: Construcción de Safra

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

Más detalles

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

GRAMATICAS REGULARES - EXPRESIONES REGULARES

GRAMATICAS REGULARES - EXPRESIONES REGULARES CIENCIAS DE LA COMPUTACION I 29 GRAMATICAS REGULARES - EXPRESIONES REGULARES Grmátis Ls grmátis formles definen un lenguje desriiendo ómo se pueden generr ls dens del lenguje. Un grmáti forml es un udrupl

Más detalles

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

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

June 24, 2011 DSIC - UPV. Autómatas Finitos. U.D. Computación. Autómata Finito Determinista. Autómata Finito no Determinista s s no s s s DSIC - UPV June 24, 2011 (DSIC - UPV) s s June 24, 2011 1 / 41 (AFD) s s no s (AFD) Un (AFD) es un 5-tupl de l siguiente form: A = (Q,Σ,δ, q 0, F), siendo: Q un conjunto finito de estdos Σ

Más detalles

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

Facultad de Informática Universidad Complutense de Madrid PROBLEMAS DE FUNDAMENTOS DE COMPUTADORES TEMA 5. Problemas básicos:

Facultad de Informática Universidad Complutense de Madrid PROBLEMAS DE FUNDAMENTOS DE COMPUTADORES TEMA 5. Problemas básicos: Fcultd de Informátic Universidd Complutense de Mdrid Prolems ásicos: PROBLEMAS DE FUNDAMENTOS DE COMPUTADORES TEMA 5 1. Especifique como máquin de Moore un sistem secuencil cuy slid z se comport, en función

Más detalles

2. REPRESENTACIÓN ANALÍTICA Y GRÁFICA DE UN VECTOR

2. REPRESENTACIÓN ANALÍTICA Y GRÁFICA DE UN VECTOR 1. INTRODUCCIÓN CÁLCULO VECTORIAL Mgnitud: Es todo quello que se puede medir eperimentlmente. Ls mgnitudes físics se clsificn en esclres ectoriles. Mgnitud esclr: Es quell que iene perfectmente definid

Más detalles

APUNTES DE MATEMÁTICAS

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

Más detalles

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

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

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

Má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. 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 detalles

A modo de repaso. Preliminares

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

Más detalles

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

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

Resolución de circuitos complejos de corriente continua: Leyes de Kirchhoff.

Resolución de circuitos complejos de corriente continua: Leyes de Kirchhoff. Resolución de circuitos complejos de corriente continu: Leyes de Kirchhoff. Jun P. Cmpillo Nicolás 4 de diciemre de 2013 1. Leyes de Kirchhoff. Algunos circuitos de corriente continu están formdos por

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

7. Integrales Impropias

7. Integrales Impropias Ingenierí Mtemátic FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Cálculo Dierencil e Integrl 08-2 Bsdo en el punte del curso Cálculo (2d semestre), de Roerto Cominetti, Mrtín Mtml y Jorge

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

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

Integrales impropias

Integrales impropias Integrles impropis En todo el estudio hecho hst hor se hn utilizdo dos propieddes fundmentles: l función tení que ser cotd y el intervlo de integrción tení que ser cerrdo y cotdo. En est últim sección

Más detalles

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

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

Más detalles

Universidad Central de Venezuela Facultad de Farmacia Matemática - Física Prof. J. R. Morales

Universidad Central de Venezuela Facultad de Farmacia Matemática - Física Prof. J. R. Morales Universidd Centrl de Venezuel Fcultd de Frmci Mtemátic - Físic Prof J R Morles Guí de Vectores (Resumen de l Teorí) 1 En físic distinguiremos dos tipos de cntiddes: vectoriles esclres Ls cntiddes vectoriles

Más detalles

Lenguajes y Autómatas finitos

Lenguajes y Autómatas finitos Trjo VII Semestre A2005 Teorí Lengujes y Autómts finitos 1. Lengujes. Conceptos fundmentles Se Σ un colección finit de símolos. Este conjunto de símolos se denomin lfeto y los elementos letrs. Un plr sore

Más detalles

Semánticas de procesos y aplicaciones

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

Más detalles

1 VECTORES 1. MAGNITUDES ESCALARES Y VECTORIALES. Un mgnitud es un concepto bstrcto. Se trt de l ide de lgo útil que es necesrio medir. Ncen sí mgnitudes como l longitud, que represent l distnci entre

Más detalles

I.3.1.3 Hidroformilación bifásica de 1-octeno con sistemas de Rh/fosfina perfluorada P(C 6 H 4 -p-och 2 C 7 F 15 ) 3

I.3.1.3 Hidroformilación bifásica de 1-octeno con sistemas de Rh/fosfina perfluorada P(C 6 H 4 -p-och 2 C 7 F 15 ) 3 I.3 Discusión de resultdos I.3.1.3 Hidroformilción ifásic de 1-octeno con sistems de Rh/fosfin perfluord P(C 6 H 4 -p-och 2 C 7 F 15 ) 3 Como y se h comentdo en l introducción l ctálisis ifásic en sistems

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

EJERCICIOS del TEMA 2: Lenguajes Regulares

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

Más detalles

Tema 4. Integración compleja

Tema 4. Integración compleja Not: Ls siguientes línes son un resuen de ls cuestiones que se hn trtdo en clse sore este te. El desrrollo de todos los tópicos trtdos está recogido en l iliogrfí recoendd en l Progrción de l signtur.

Más detalles

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

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

Más detalles

15 Lenguajes y gramáticas III

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

Más detalles

Repartido N 5. Limites ISCAB 3 EMT prof. Fernando Diaz

Repartido N 5. Limites ISCAB 3 EMT prof. Fernando Diaz Reprtido N 5 Limites ISCAB EMT prof. Fernndo Diz El resultdo de un límite es un vlor de y en un función cundo el vlor de se proim mucho un vlor ddo sin llegr ser igul él. Es cercrse mucho un vlor en pr

Más detalles

Problemas de Lenguajes y Autómatas

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

Más detalles

Autómatas Finitos y Lenguajes Regulares

Autómatas Finitos y Lenguajes Regulares Autómatas Finitos y Lenguajes Regulares Problema: Dado un lenguaje L definido sobre un alfabeto A y una cadena x arbitraria, determinar si x L o x L. Cadena x AUTOMATA FINITO SI NO Lenguaje Regular Autómatas

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

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

EL EXPERIMENTO FACTORIAL

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

Más detalles

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

EXÁMENES DE REPASO Teoría de Autómatas y Lenguajes Formales UNIVERSIDAD FRANCISCO DE VITORIA

EXÁMENES DE REPASO Teoría de Autómatas y Lenguajes Formales UNIVERSIDAD FRANCISCO DE VITORIA EXÁMENES DE REPASO Teoría de Autómatas y Lenguajes Formales UNIVERSIDAD FRANCISCO DE VITORIA 1ER PARCIAL TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Examen parcial 12/02/2003 1.- Usa el lema de bombeo para

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

INSTITUTO VALLADOLID PREPARATORIA Página 105 ELIPSE

INSTITUTO VALLADOLID PREPARATORIA Página 105 ELIPSE INSTITUTO VALLADOLID PREPARATORIA Págin 05 6 LA ELIPSE 6. DEFINICIONES L elipse es el lugr geométrico de todos los puntos cuy sum de distncis dos puntos fijos, llmdos focos, es constnte. En l figur 6.,

Más detalles

AUTÓMATAS PUSH-DOWN Y MÁQUINAS DE TURING

AUTÓMATAS PUSH-DOWN Y MÁQUINAS DE TURING 1 FACULTAD REGIONAL ROSARIO AUTÓMATAS PUSH-DOWN Y MÁQUINAS DE TURING GUÍA TEÓRICO-PRÁCTICA PARA ALUMNOS DE LA CÁTEDRA SINTAXIS Y SEMÁNTICA DE LOS LENGUAJES DE LA CARRERA DE INGENIERÍA EN SISTEMAS DE INFORMACIÓN

Más detalles

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

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

Más detalles

MATRICES. En forma simplificada A = ( a ij ) nxm y se le denomina

MATRICES. En forma simplificada A = ( a ij ) nxm y se le denomina MTRICES Mtrices de números reles. Definimos mtriz rel de elementos pertenecientes R y de dimensión n fils por m columns, quel conjunto de números reles escritos de l form siguiente: n n mtriz nxm m m nm

Más detalles

Espacios vectoriales y Aplicaciones Lineales II: Núcleo e imagen. Diagonalización. Ker(f) = {x V f(x) = 0} Im(f) = {f(x) x V}.

Espacios vectoriales y Aplicaciones Lineales II: Núcleo e imagen. Diagonalización. Ker(f) = {x V f(x) = 0} Im(f) = {f(x) x V}. UNIVERSIDAD DE JAÉN ESCUELA POLITÉCNICA SUPERIOR Deprtmento de Mtemátics (Áre de Álgebr) Curso 28/9 PRÁCTICA Nº Espcios vectoriles y Aplicciones Lineles II: Núcleo e imgen. Digonlizción. NÚCLEO E IMAGEN

Más detalles

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

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

Más detalles

Determinantes de una matriz y matrices inversas

Determinantes de una matriz y matrices inversas Determinntes de un mtriz y mtrices inverss Determinnte de un mtriz Está definido solmente pr mtrices cudrds. El determinnte de un mtriz cudrd es un número rel. Definición: Si = [ ij ] es un mtriz de dimensión

Más detalles

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

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

Más detalles

DETERMINANTES K K. A cada matriz n-cuadrada A = (a ij ) se le asigna un escalar particular denominado determinante de A, denotado por det (A), A o = K

DETERMINANTES K K. A cada matriz n-cuadrada A = (a ij ) se le asigna un escalar particular denominado determinante de A, denotado por det (A), A o = K DETERMINANTES A cd mtriz ncudrd A ( ij ) se le sign un esclr prticulr denomindo determinnte de A, denotdo por det (A), A o n n n n nn K Un tbl ordend n n de esclres situd entre dos línes verticles, llmd

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

PROBLEMAS DE ELECTRÓNICA DIGITAL

PROBLEMAS DE ELECTRÓNICA DIGITAL Prolems de Eletróni Digitl 4º ESO PROLEMS DE ELECTRÓNIC DIGITL 1. En l gráfi siguiente se muestr l rterísti de l resisteni de un LDR en funión de l luz que reie. Qué tipo de mgnitud es est resisteni? 2.

Más detalles

Tema 5. Trigonometría y geometría del plano

Tema 5. Trigonometría y geometría del plano 1 Tem. Trigonometrí y geometrí del plno 1. Rzones trigonométrics de un ángulo gudo Ddo un ángulo culquier, si desde un punto, A, de uno de sus ldos se trz su proyección, A, sobre el otro ldo se obtiene

Más 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 de electricidad y electrónica elektrika eta elektronika saila

departamento de electricidad y electrónica elektrika eta elektronika saila ALGORITMOS Y ESTRUCTURAS DE DATOS Convoctori de junio Curso 2000/2001 Soluciones propuests 1. (1 punto) L complejidd temporl de un cierto lgoritmo, en términos del tmño del prolem n, viene dd por l siguiente

Más detalles

1. EXPRESIONES ALGEBRAICAS. CLASIFICACIÓN

1. EXPRESIONES ALGEBRAICAS. CLASIFICACIÓN http://www.cepmrm.es ACFGS - Mtemátics ESG - /0 Pág. de Polinomios: Teorí ejercicios. EXPRESIONES ALGEBRAICAS. CLASIFICACIÓN Tnto en mtemátics, como en físic, en economí, en químic,... es corriente el

Más detalles

Autómatas Finitos. Leopoldo Altamirano, Eduardo Morales. Verano, 2011 INAOE. Introducción a. Autómatas. Definición formal de un. Finito Determinístico

Autómatas Finitos. Leopoldo Altamirano, Eduardo Morales. Verano, 2011 INAOE. Introducción a. Autómatas. Definición formal de un. Finito Determinístico los s s s s Leopoldo Altamirano, Eduardo Morales INAOE Verano, 2011 (INAOE) Verano, 2011 1 / 60 Contenido los s s 1 los s 2 3 4 s 5 (INAOE) Verano, 2011 2 / 60 los s los s los s s : Conjunto de estados

Más detalles

TRABAJO PRACTICO No 7. MEDICION de DISTORSION EN AMPLIFICADORES DE AUDIO

TRABAJO PRACTICO No 7. MEDICION de DISTORSION EN AMPLIFICADORES DE AUDIO TRBJO PRCTICO No 7 MEDICION de DISTORSION EN MPLIFICDORES DE UDIO INTRODUCCION TEORIC: L distorsión es un efecto por el cul un señl pur (de un únic frecuenci) se modific preciendo componentes de frecuencis

Más detalles

3. FUNCIONES VECTORIALES DE UNA VARIABLE REAL

3. FUNCIONES VECTORIALES DE UNA VARIABLE REAL 3. FUNCIONES VECTORIALES DE UNA VARIABLE REAL INDICE 3.1. Definición de función vectoril de un vrile rel, dominio y grficción.2 3.2. Límites y continuidd..3 3.3. Derivción de funciones vectoriles y sus

Más detalles

Lenguajes Regulares. Departamento de Informática e Ingeniería de Sistemas C.P.S. Universidad de Zaragoza. Última revisión: Feb.

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

Taller de Matemáticas I

Taller de Matemáticas I Tller de Mtemátics I Semn y Tller de Mtemátics I Universidd CNCI de México Tller de Mtemátics I Semn y Temrio. Los números positivos.. Representción de números positivos... Frcciones... Decimles... Porcentjes..4.

Más detalles

Ciencias de la Computación I

Ciencias de la Computación I Ciencias de la Computación I Autómatas Finitos No Determinísticos Minimización de Autómatas Finitos Determinísticos Agosto 2007 Autómatas Finitos Determinísticos Para cada estado y para cada símolo se

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

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

AUTÓMATAS DE PILA. Nota: Si existe transición de tipo (2), sólo se garantiza que AP es determinístico si s A, δ( e i, s, X) está indefinida.

AUTÓMATAS DE PILA. Nota: Si existe transición de tipo (2), sólo se garantiza que AP es determinístico si s A, δ( e i, s, X) está indefinida. AUTÓMATAS DE PILA Los autómatas de pila, en forma similar a como se usan los autómatas finitos, también se pueden utilizar para aceptar cadenas de un lenguaje definido sobre un alfabeto A. Los autómatas

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

INTEGRACIÓN. CÁLCULO DE

INTEGRACIÓN. CÁLCULO DE Cpítulo INTEGRACIÓN. CÁLCULO DE ÁREAS.. Introducción Si el problem del cálculo de l rect tngente llevó los mtemáticos del siglo XVII l desrrollo de ls técnics de l derivción, otro problem, el del cálculo

Más detalles

Concepto clave. La derivada de una función se define principalmente de dos maneras: 1. Como el límite del cociente de Fermat ( )( )

Concepto clave. La derivada de una función se define principalmente de dos maneras: 1. Como el límite del cociente de Fermat ( )( ) Concepto clve L derivd de un función se define principlmente de dos mners: 1. Como el límite del cociente de Fermt f ( ) lím x f ( x) f ( ) x. Como el límite del cociente de incrementos f ( x) lím x 0

Más detalles

Repaso de vectores. Semana 2 2. Empecemos! Qué sabes de...? El reto es... Repaso de vectores

Repaso de vectores. Semana 2 2. Empecemos! Qué sabes de...? El reto es... Repaso de vectores Semn 2 2 Repso de vectores Repso de vectores Empecemos! Estimdo prticipnte, en est sesión tendrás l oportunidd de refrescr tus seres en cunto l tem de vectores, los cules tienen como principl plicción

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 1: FUNCIONES. LÍMITES Y CONTINUIDAD

TEMA 1: FUNCIONES. LÍMITES Y CONTINUIDAD Conceptos preinres TEMA : FUNCIONES. LÍMITES Y CONTINUIDAD Un función es un relción entre dos mgnitudes, de tl mner que cd vlor de l primer le sign un único vlor de l segund. Si A y B son dos conjuntos,

Más detalles

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

Examen Parcial de Autómatas y Lenguajes Formales 12 de diciembre de 2003 Exmen Prcil de Autómts y Lengujes Formles 2 de diciemre de 23 Resolver los siguientes prolems. Tiempo 2 hors.. Dr un grmátic y demostrr que es correct pr L = { m n 2m < n < 3m}. 2. Dr un utómt de pil determinist

Más detalles

1. Cuales son los números naturales?

1. Cuales son los números naturales? Guí de mtemátics. Héctor. de bril de 015 1. Cules son los números nturles? Los números nturles son usdos pr contr (por ejemplo, hy cinco moneds en l mes ) o pr imponer un orden (por ejemplo,. Es t es l

Más detalles

AUTÓMATAS FINITOS y LENGUAJES REGULARES

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

Más detalles

CONSIDERACIONES SOBRE LAS COMPUERTAS

CONSIDERACIONES SOBRE LAS COMPUERTAS Abril de 006 CONSDERACONES SOBRE LAS COMPUERTAS Cátedr de Mecánic de los Fluidos Escuel de ngenierí Mecánic Autores: ngeniero Edgr Blbstro ngeniero Gstón Bourges e-mil: gbourges@fcei.unr.edu.r 1 Abril

Más detalles

Inferencia Gramatical

Inferencia Gramatical 3 Inferenci Grmticl 3.1 Introducci n L utilizci n en l pr ctic de los mžtodos sint cticos de reconocimiento de forms viene condiciond, no s lo por l necesidd de tener resuelt l etp de representci n, que

Más detalles

Aplicaciones de la integral

Aplicaciones de la integral 5 Mtemátics I : Cálculo integrl en I Tem 4 Aplicciones de l integrl 4. Áres de superficies plns 4.. Funciones dds de form explícit A l vist del estudio de l integrl definid relizdo en el Tem 3, prece rzonle

Más detalles

MÉTODO DE KARNAUGH MÉTODO DE KARNAUGH... 1

MÉTODO DE KARNAUGH MÉTODO DE KARNAUGH... 1 MÉTODO DE KARNAUGH Jesús Pizrro Peláez MÉTODO DE KARNAUGH... 1 1. INTRODUCCIÓN... 1 2. MÉTODO DE KARNAUGH... 2 3. EJEMPLO DE APLICACIÓN (I)... 4 4. ESTADOS NO IMPORTA EN LAS FUNCIONES LÓGICAS... 6 5. EJEMPLO

Más detalles

5.2 Línea de influencia como diagrama de desplazamiento virtual

5.2 Línea de influencia como diagrama de desplazamiento virtual 5.2 íne de influenci como digrm de desplzmiento virtul líne de influenci se puede determinr plicndo el rincipio del Desplzmiento Virtul. r ello st con:. Remover el vínculo socido con el efecto cuy líne

Más detalles

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

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

Más detalles

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

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

Más detalles

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

Relaciones de equivalencia

Relaciones de equivalencia Relciones de equivlenci. Un relción de equivlenci en un conjunto X se puede interpretr como el suconjunto de X X ddo por (, ) X X }. Enúnciesen ls propieddes de l relción de equivlenci en términos de dicho

Más detalles

APLICACIONES LINEALES: Núcleo e Imagen de una aplicación lineal.

APLICACIONES LINEALES: Núcleo e Imagen de una aplicación lineal. Universidd de Jén Deprtmento de Mtemátics (Áre de Álgebr) Curso 2014/15 PRÁCTICA Nº 12 APICACIONES INEAES: Núcleo e Imgen de un plicción linel. Con est práctic se pretende revisr l definición de plicción

Más detalles

Curvas en el plano y en el espacio

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

Más detalles

Pruebas t para una y dos muestras independientes

Pruebas t para una y dos muestras independientes Densidd Densidd AGRO 55 LAB 9 Pruebs t pr un y dos muestrs independientes 1. Clcule ls siguientes probbiliddes usndo l tbl t e InfoStt. Incluy un digrm en cd cso.. P(T>1.356) si gl=1 b. P(T

Más detalles

Cristal. Estado Sólido. Estructura Cristalina. Red. Celdas. Red

Cristal. Estado Sólido. Estructura Cristalina. Red. Celdas. Red Estdo Sólido Estructurs Cristlins Cristl Un cristl es un rreglo periódico de átomos o grupos de átomos que es construido por l repetición infinit de estructurs unitris idéntics en el espcio. L estructur

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

3.- Matrices y determinantes.

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

TEMA 6. INTEGRAL DE RIEMANN. 6.1 INTEGRAL DE RIEMANN 6.1.1 Partición de un intervalo

TEMA 6. INTEGRAL DE RIEMANN. 6.1 INTEGRAL DE RIEMANN 6.1.1 Partición de un intervalo TEMA 6. INTEGRAL DE RIEMANN 6.1 INTEGRAL DE RIEMANN 6.1.1 Prtición de un intervlo Se f :, y fx K x,. Definición: Un prtición de, es un conjunto ordendo y finito de números reles y distintos P x 0,...,x

Más detalles

De preferencia aquella que tenga algún 1 como elemento. Mejor aún si conteniendo el 1 también tiene elementos iguales a cero.

De preferencia aquella que tenga algún 1 como elemento. Mejor aún si conteniendo el 1 también tiene elementos iguales a cero. DETERMINANTE DE UNA MATRIZ DE ORDEN O MÁS PREGUNTA Clculr los determinntes siguientes ) ) c) RESOLUCIÓN Pr resolver el determinnte de un mtriz cudrd de orden o más es recomendle plicr el método de Reducción

Más detalles

Lenguajes de consulta

Lenguajes de consulta Lengujes de consult Mrt Zorrill Universidd de Cntbri Silberschtz, A., Korth, H.F., Sudrshn, S., Fundmentos de Bses de Dtos, 5ª edición, Mdrid, 006 Lecturs recomendds Básics Cp. y 5. Silberschtz, A., Korth,

Más detalles

Error de cono. a b. Dastronomía.com Versión 2: actualizado 26 Feb 2013

Error de cono. a b. Dastronomía.com Versión 2: actualizado 26 Feb 2013 Error de cono 90 - Qué es el error de cono - Cómo fect - Cómo medirlo con SV ligner - Cómo corregirlo Ejemplo ED80 sujeto con nills Ejemplo cálculo de l elevción de l col de milno del VC200L VISAC Versión

Más detalles

FORMULARIO EN DISTINTAS OPERACIONES FINANCIERAS 1. CAPITALIZACIÓN SIMPLE: ( ) ( )

FORMULARIO EN DISTINTAS OPERACIONES FINANCIERAS 1. CAPITALIZACIÓN SIMPLE: ( ) ( ) Isbel Nóvo Arechg FORMULARIO EN DISTINTAS OPERACIONES FINANCIERAS 1. CAPITALIZACIÓN SIMPLE: El tnto i y el tiepo n, tienen que estr correlciondos, es decir, referidos l iso período de tiepo, generlente

Más detalles

Parte III: Lenguajes y Autómatas

Parte III: Lenguajes y Autómatas Introducción l Lógic y l Computción Prte III: Lengujes y Autómts Autor 1r. Versión: Alejndro Tirboschi Autor 2d. Versión: Pedro Sánchez Terrf Autores 3r. Versión: Rul Fervri y Ezequiel Orbe 1 Modelos de

Más detalles

Desarrollos para planteamientos de ecuaciones de primer grado

Desarrollos para planteamientos de ecuaciones de primer grado 1) Hllr un número tl que su triple menos 5 se igul su doble más 2. 5= 2 + 2 2= 2+ 5 = 7 2) El triple de un número es igul l quíntuplo del mismo menos 20. Cuál es este número? = 5 20 20 = 5 20 = 2 = 10

Más detalles