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