UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

UNIDAD N 2:

Gramticas y Modelos Matemticos Jerarqua de Chomsky y formatos estndares para tipos 0 y 1. Los aceptores de lenguajes formales: MT y ALL. Construccin de una MT.
2. Problemas a resolver por los alumnos en grupo 2.1. Para cada conjunto de producciones:

Completar la gramtica Indicar a que tipo de gramticas corresponden en la Jerarqua de Chomsky, justificando la respuesta. Obtener 3 palabras de longitud > 4 generadas por la gramtica Obtener 3 cadenas de longitud >4 que no se puedan generar Enunciar el lenguaje generado.

a) G = N , T , P , S N = {S, X, Z} T = {a, b, c} P: 1. S Saa / Xb 2. X Xb / Z 3. Z Zcc / c Gramtica Tipo 3 Regular por Izquierda: Se cumple que todas las producciones tienen la forma: N1 N2w Nw Donde NN y wT* Derivaciones: S 1 Saa 1 Xbaa 2 Zbaa 3 Zccbaa 3 cccbaa S 1 Xb 2 Xbb 2 Zbb 3 Zccbb 3 Zccccbb 3 cccccbb S 1 Saa 1 Saaaaa 1 Xbaaaa 2 Xbbaaaa 2 Xbbbaaaa 2 Zbbbaaaa 3 cbbbaaaa Ejemplos de cadenas que no se pueden generar: cbaaa, cccaa, ccbaa cbaaa: S 1 Saa 1 Saaaa cccaa: S 1 Saa 1 Xbaa ccbaa: S 1 Saa 1 Xbaa 2 Zbaa 3 Zccbaa 3 cccbaa L= { c2r+1 bn a2m / r 0, n 1, m 0 }

b) G = N , T , P , S N = {S, A, B, X, Y, Z, T} T = {a, b} P: 1. S AB / XY / ZT / 2. A XY / XZ 3. Y AZ 4. B ZT / ZX 5. T BX 6. X a 7. Z b Pgina 1

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

Gramtica Tipo 2: 1. No es gramtica de Tipo 3 GR, pues no se cumple que todas las producciones tengan la forma N1 N2w o N1 wN2 Nw N w Donde NN y wT* 2. Es gramtica de Tipo 2 GIC: Se cumple en todas las producciones que es un no terminal. Derivaciones: S XY aY aAZ aAb aXYb aaYb aaAZb aaAbb aaXZbb aaaZbb aaabbb S ZT bT bBX bBa bZTa bbTa bbBXa bbBaa bbZXaa bbbXaa bbbaaa S AB XYB aYB aAZB aAbB aXZbB aaZbB aabbB aabbZX aabbbX aabbba Ejemplos de cadenas que no se pueden generar: aaabb, aaaaa, aabaa aaabb: S XY aY aAZ aAb aXYb aaYb aaAZb aaAbb aaXZbb aaaZbb aaabbb aaaaa: S XY aY aAZ aAb aabaa: S AB XYB aYB aYZT aYbT aYbBX aYbBa aAZbBa aAbbBa L = {ambm+nan / m 0, n 0, m+n1 }

c) G = N , T , P , S N = {S, A, B, C} T = {a, b} P: 1. S BAB 2. BA BC 3. CA AAC 4. CB AAB 5. A a 6. B b Gramtica de Tipo 1 GDC: 1. No es gramtica de Tipo 3 GR, ya que no se cumple este formato dem que 2.1.b 2. No es gramtica de Tipo 2 GIC: No se cumple porque en las producciones 2, 3 y 4 no es un no terminal. 3. Esta gramtica es de Tipo 1 GDC: Se cumple en todas las producciones que Long() Long(). Derivaciones: S BAB BCB BAAB bAAB baAB baaB baab S BAB BCB BAAB BCAB BAACB BAAAAB * baaaab S BAB BCB BAAB BCAB BAACB BAAAAB BCAAAB BAACAAB BAAAACAB BAAAAAACB BAAAAAAAAB *baaaaaaaab Pgina 2

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

Ejemplos de cadenas que no se pueden generar: aaaaa, babab, baaab

aaaaa: S BAB BCB BAAB BCAB BAACB bAACB babab: S BAB BCB BAAB BCAB BAACB bAACB bAaCB baaab: S BAB BCB BAAB BCAB BAACB BAAAAB L = {b ak b / k=2n con n0}

d) S SXZ / a ZX XZ Zb Xa ab No es gramtica de ningn tipo porque no todas las producciones cumplen con la condicin de por lo menos un No Terminal en el lado izquierdo de la produccin.

e) G = N , T , P , S N = {S, X} T = {a, b} P: 1. S aXS / a 2. X Xb 3. Xb bX 4. bXb bbb Gramtica de Tipo 1 GDC: 1. No es gramtica de Tipo 3 GR: ya que no se cumple este formato dem que 2.1.b 2. No es gramtica de Tipo 2 GIC: No se cumple porque en la produccin 3 y 4 no es un no terminal. 3. Esta gramtica es de Tipo 1 GDC: Se cumple en todas las producciones que Long() Long(). Derivaciones: S aXS aXa aXba abXa abXba abbba S aXS aXa aXba aXbba abXba abXbba abbbba S aXS aXaXS aXaXa aXbaXa aXbbaXa abXbaXa abbbaXa abbbaXba abbbaXbba abbbaXbbba abbbaXbbbba abbbabXbbba abbbabbbbba

Ejemplos de cadenas que no se pueden generar: babbba, abbbab, aabba

babbba: S aXS abbbab: S aXS aXa aabba: S aXS aXa aXba aXbba abXba L = { lenguaje formado por todas las secuencias de a y b que comiencen y terminen con a y entre dos a debe haber por lo menos 3 b } Pgina 3

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

f) G = N , T , P , S N = {S, X, Y, Z} T = {a, b} P: 1. S aSX / bSX / aY / bZ 2. X a / b 3. Y a 4. Z b Gramtica Tipo 2: 1. No es gramtica de Tipo 3 GR: ya que no se cumple este formato dem que 2.1.b 2. Es gramtica de Tipo 2 GIC: Se cumple en todas las producciones que es un no terminal. Derivaciones: S aSX aaSXX aabZXX aabbXX aabbaX aabbab S bSX baSXX babSXXX babaYXXX babaaXXX babaabXX babaabbX babaabba S asX abSXX abbSXXX abbbZXXX abbbbXXX abbbbbXX abbbbbbX abbbbbbb

Ejemplos de cadenas que no se pueden generar: bababa, aba, aabba

bababa: S bSXbaSXX babZXX babbXX aba: S aSX abZX abbX

aabba: S aSX aaSXX aabZXX aabbXXaabbaX L={ Todas las secuencias de a y b de longitud par cuyos 2 smbolos centrales son iguales } g) G = N , T , P , S N = {S, A, B, X} T = {a, b} P: 1. S bXa / ba 2. X BXa / bb 3. BX XBB 4. BBa baa 5. A a Observamos que esta ltima regla es intil puesto que el no terminal A nunca aparece a la derecha de ninguna produccin Gramtica de Tipo 1 GDC: 1. No es gramtica de Tipo 3 R: ya que no se cumple este formato dem que 2.1.b 2. No es gramtica de Tipo 2 GIC: No se cumple porque en la produccin 3 y 4 no es un no terminal. 3. Esta gramtica es de Tipo 1 GDC: Se cumple en todas las producciones que Long() Long(). Derivaciones: S bXa bBXaa bXBBaa bbbBBaa bbbbaaa S bXa bBXaa bXBBaa bBXaBBaa bXBBaBBaa bbbBBaBBaa bbbbaaBBaa bbbbaabaaa S bXa bBXaa bXBBaa bBXaBBaa bXBBaBBaa bBXaBBaBBaa bXBBaBBaBBaa bbbBBaBBaBBaa bbbbaaBBaBBaa bbbbaabaaBBaa bbbbaabaabaaa Pgina 4

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

Ejemplos de cadenas que no se pueden generar: aba, bbbbab, bbba

aba: S bXa

bbbbab: S bXa bBXaa bbbab: S bXa bbba

L ={ ba y todas las palabras de la forma: b3 (baa)n a con n>=0 }

h) G = N , T , P , S N = {S, X} T = {a, b} P: 1. S aXb 2. X aXbb 3. Xb bbb 4. aX a Gramtica de Tipo 0 GI: 1. No es gramtica de Tipo 3 GR: ya que no se cumple este formato dem que 2.1.b 2. No es gramtica de Tipo 2 GIC: No se cumple porque en la produccin 3 y 4 no es un no terminal. 3. No es gramtica de Tipo 1 GDC: No se cumple en la produccin 4 que Long() Long(). 4. Es gramtica de Tipo 0: En todas las producciones contiene, por lo menos, un No Terminal. Derivaciones: S 1 aXb 4 ab S 1 aXb 2 aaXbbb 4 aabbb S 1 aXb 2 aaXbbb 2 aaaXbbbbb 3 aaabbbbbbb

Ejemplos de cadenas que no se pueden generar: aba, abbbab, bbbab

aba: S aXb

abbbab: S aXb aaXbbb

bbbab: S aXb
L = {a am (bb)n+m b / m 0 ; n = 0 , 1 }

i)

G = N , T , P , S N = {S, X} T = {a, b} P: 1. S aX / 2. X aX / Xb /a

Pgina 5

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

Gramtica Tipo 2 GIC: 1. No es gramtica es de Tipo 3 GR: ya que no se cumple este formato dem que 2.1.b 2. Es gramtica de Tipo 2 GIC: Se cumple en todas las producciones que es un no terminal. Derivaciones: S aX aXb aXbb aXbbb aabbb S aX aaX aaaX aaaaX aaaaa S aX aaX aaaX aaaXb aaaab

Ejemplos de cadenas que no se pueden generar: aba, abbbab, bbbab

aba: S aX aXb

abbbab: S aX aXb aXbb

bbbab: S aX
L = { a2+n bm / m 0 ; n 0 }

j)

G = N , T , P , S N = {S, X} T = {a, b} P: 1. S aX / bS / b 2. X bS / b

Gramtica Tipo 3 GR: Se cumple que todas las producciones tienen la forma N1 wN2 N w Donde NN y wT* Derivaciones: S bS bbS bbbS bbbbS bbbbb S bS baX babS babbS babbaX babbab S aX abS abaX ababS ababb

Ejemplos de cadenas que no se pueden generar: aba, abbbaa, bbbab

aba: S aX abS abaX

abbbaa: S aX abS abbS abbbS abbbaX abbbaX

bbaab: S aX abS abbS abbaX abbabS

L = { todas las secuencias que terminan con b y no tienen a consecutivas }

Pgina 6

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

2.2. Para las gramticas de tipo 0 y 1 del ejercicio anterior, obtener una gramtica equivalente en formato estndar. Para las gramticas de tipo 2 y 3, indicar si se encuentran o no en algn formato estndar. Justificar la respuesta. a) Gramtica Tipo 3 GR: No se encuentra en formato estndar: N1 t N2 NN , tT Nt Permite S siempre y cuando S no figure a la derecha de ninguna produccin. b) Gramtica Tipo 2: Est en el formato estndar de Chomsky: N1 N2 N3 NN , tT. Nt Permite S siempre y cuando S no figure a la derecha de ninguna produccin.

c) Gramtica Tipo 1 La produccin que no cumple con el formato estndar es la 3: CA AAC La reemplazamos por las siguientes producciones, donde X y Y son dos nuevos noterminales. CA XA XA XYC XYC AYC AYC AAC La gramtica equivalente en formato estndar es la siguiente: G = N , T , P , S N = {S, A, B, C, X, Y} T = {a, b} P: 1. 2. 3. 4. 5. 6. 7. 8. 9. S BAB BA BC CA XA XA XYC XYC AYC AYC AAC CB AAB Aa Bb

e) Gramtica Tipo 1 GDC 1. 2. 3. 4. S aXS / a X Xb Xb bX bXb bbb

La produccin que no cumple con el formato es la 3: Xb bX Pgina 7

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

1) La ponemos en formato estndar Tipo 0, donde B es un nuevo no-terminal 1. 2. 3. 4. 5. S aXS / a X XB XB BX BXB BBB Bb

Tengamos en cuenta que al sustituir b por B en la regla 3, tambin se ven afectadas las reglas 2 y 4. 2) La reemplazamos por las siguientes producciones, donde F y G son dos nuevos no-terminales. XB FB FB FG FG BG BG BX La gramtica equivalente en formato estndar es la siguiente: G = N , T , P , S N = {S, X, B, G, F} T = {a, b} P: 1. 2. 3. 4. 5. 6. 7. 8. S aXS / a X XB XB FB FB FG FG BG BG BX BXB BBB Bb

f) Gramtica Tipo 2 S aSX / bSX / aY / bZ Xa/b Ya Zb Est en el formato estndar de Greibach N t NN , tT, N* g) Gramtica de Tipo 1 GDC 1. 2. 3. 4. S bXa / ba X BXa / bb BX XBB BBa baa

Las producciones que no cumplen con el formato estndar son las 3 y 4.

1) Ponemos en formato estndar tipo 0, donde E y F son dos nuevos no-terminales

Pgina 8

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

1. 2. 3. 4. 5. 6.

S bXE / bE X BXE / bb BX XBB BBE FEE Ea Fb

2) Las reemplazamos por las siguientes producciones, donde G, H, I, J, K son dos nuevos no-terminales BX XBB BX GX GX GHB GHB GBB GBB XBB BBA FEE BBE IBE IBE IJE IJE IJK IJK FJK FJK FEK FEK FEE La gramtica equivalente en formato estndar es la siguiente: G =N , T , P , S N = {S, B, X,E, F, G, H, I, J, K} T = {a, b} P: 1. S bXE / bE 2. X BXE / bb 3. BX GX 4. GX GHB 5. GHB GBB 6. GBB XBB 7. BBE IBE 8. IBE IJE 9. IJE IJK 10. IJK FJK 11. FJK FEK 13. FEK FEE 14. E a 15. F b h) Gramtica Tipo 0 S aXb X aXbb Xb bbb aX a La gramtica equivalente en formato estndar es la siguiente: G = N , T , P , S

Pgina 9

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

N = {S, X, A, B} T = {a, b} P: 1. 2. 3. 4. 5. 6. S AXB X AXBB XB BBB AX A Aa Bb

i) Gramtica Tipo 2 S aX / X aX / Xb /a Casi est en formato estndar de Greibach, pero la produccin X Xb no cumple con el formato: N t NN , tT, N* j) Gramtica Tipo 3 S aX / bS / b X bS / b Est en formato estndar: N1 t N2 NiN , tT Nt 2.3. Indicar para cada una de las gramticas del ejercicio 2.1 si generan o no la palabra vaca; en los casos negativos, realizar las transformaciones necesarias para que la generen manteniendo el tipo de gramtica. a) NO S1 S / S Saa / Xb X Xb / Z Z Zcc / c b) SI S AB / XY / ZT / A XY / XZ Y AZ B ZT / ZX T BX Xa Zb c) NO S BAB / BA BC CA AAC CB AAB Aa Bb e) NO S1 S / S aXS / a X Xb Pgina 10

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

Xb bX bXb bbb f) NO S1 S / S aSX / bSX / aY / bZ Xa/b Ya Zb g) NO S bXa / ba / X BXa / bb BX XBB BBa baa h) NO S aXb / X aXbb Xb bbb aX a i) SI S aX / X aX / Xb /a j) NO S1 S / S aX / bS / b X bS / b 2.4. Encontrar una gramtica de tipo 2 en FNC que genere el siguiente lenguaje: L = { an c m / n > m } G = N , T , P , S N = {S, T, C, A} T = {a, c} P: S a / TC / AS T AS Cc A a 2.5. Encontrar una gramtica de tipo 2 en FNG que genere el siguiente lenguaje L = {todos los palndromos sobre = { a , b } cuya longitud sea impar } G =N , T , P , S N = {S, A, B} T = {a, b} P: S aSA / bSB / a / b Aa Bb

2.6. Encontrar una gramtica de tipo 3 en FNC que genere cada uno de los siguientes lenguajes L = { todas las secuencias sobre = { a , b } que tengan una cantidad impar de a" }

Pgina 11

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

G = N , T , P , S N = {S, X} T = {a, b} P: S aX / bS / a X aS / bX / b L = {todas las secuencias = { a , b } con cantidad impar de a" y cantidad impar de b } G = N , T , P , S N = {S, X, Y, Z} T = {a, b} P: S aX / bY X aS / bZ / b Y aZ / bS / a Z aY / bX 2.7. Encontrar una gramtica regular por la izquierda que genere el siguiente lenguaje L = { an bm cp / n > 2 , m impar , p 0} G = N , T , P , S N = {S, X, Y, Z, A} T = {a, b} P: S X / Sc X Yb / Zb Y Xb Z Aaa A Aa / a 2.8. Analizar las siguientes Mquinas, indicar de qu tipo de mquina se trata, definir sus componentes, detallar las secuencias de configuracin de tres palabras aceptadas y tres palabras rechazadas. Definir el lenguaje que acepta y describir las secuencias de salida. a) Estado Actual A A B B B B C D D D E E * --- F TABLA DE TRANSICION Smbolo Entrada a Y a b > Y b a b X Y > --Nuevo estado B E B B C C D D D A E F --Smbolo salida X a a b > Y Y a b b a > --Movimiento cabezal D D D D I I I I I D D I ---

Pgina 12

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

a, a, D b, b, D B a, X, D Y, Y, I >, >, I A X, b, D Y, a, D Y, a, D E >, >, I F D C b, Y, I a, a, I b, b, I

- Se trata de un Autmata Linealmente Limitado - E = { a , b } ; A = { X,Y , < , > } - Secuencias de configuracin de 3 palabras aceptadas
ab

<Aab> | < XBb> | <XbB> | <XCb> | <DXY> | <bAY> | < baE> | <bFa> final: ACEPTA
aabb

<Aaabb> | < XBabb> | < XaBbb> | < XabBb> | <XabbB> | <XabCb> | <XaDbY> | <XDabY> | <DXabY> | <bAabY> | <bXBbY> | <bXbBY> | <bXCbY> | <bDXYY> | < bbAYY> | <bbaEY> | <bbaaE> | <bbaFa> final: ACEPTA
aaabbb

<Aaaabbb> | < XBaabbb> | < XaBabbb> | < XaaBbbb> | < XaabBbb> | <XaabbBb> | <XaabbbB> | <XaabbCb> | <XaabDbY> | <XaaDbbY> | <XaDabbY> | <XDaabbY> | <DXaabbY> | <bAaabbY> | <bXBabbY> | <bXaBbbY> | <bXabBbY> | <bXabbBY> | <bXabCbY> | <bXaDbYY> | <bXDabYY> | <bDXabYY> | <bbAabYY> | <bbXBbYY> | <bbXbBYY> | <bbXCbYY> | <bbDXYYY> | <bbbAYYY> | <bbbaEYY> | <bbbaaEY> | <bbbaaaE> | <bbbaaFa> final: ACEPTA - Secuencias de configuracin de 3 palabras rechazadas

<A>
aab

bloqueo: RECHAZA

<Aaab> | <XBab > | <XaBb > | <XabB > | <XaCb > | <XDaY > | <DXaY > | <bAaY > | <bXBY > | <bCXY > bloqueo: RECHAZA
abb

<Aabb> | <XBbb> | <XbBb> | <XbbB> | <XbCb> | <XDbY> | <DXbY> | <bAbY> bloqueo: RECHAZA - Lenguaje aceptado = {ambm / m 1} - La secuencia de salida consiste en la inversa de la entrada. Pgina 13

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

b) Estado Actual A A A B B C C C C D D D D *-------E Smbolo Entrada b a Z Z a b Z a b Z X -----

TABLA DE TRANSICION Nuevo estado A C B B E C C C D D D D A ----Smbolo salida b X a a a b Z Z a b Z a ----Z, Z, D a, a, D b, b, D C a, X, D b, b, D A X, a, D Z, a, D Z, a, D B , , I E D a, a, I b, b, I Z, Z, I , Z, I Movimiento cabezal D D D D I D D D I I I I D -----

- Se trata de una Mquina de Turing - E = { a , b } ; A = { X,Z , } - Secuencias de configuracin de 3 palabras aceptadas

ab

Aab | XCb | XbC | XDbZ | DXbZ | aAbZ | abAZ | abaB | abEa final: ACEPTA
aabb

Aaabb | XCabb | XaCbb | XabCb | XabbC | XabDbZ | XaDbbZ | XDabbZ | DXabbZ | aAabbZ | aXCbbZ | aXbCbZ | aXbbCZ | aXbbZC | aXbbDZZ | aXbDbZZ | aXDbbZZ | aDXbbZZ | aaAbbZZ | aabAbZZ | aabbAZZ | aabbaBZ | aabbaaB | aabbaEa final: ACEPTA

Pgina 14

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 bab TRABAJO PRCTICO N 2

Abab | bAab | bXCb | bXbC | bXDbZ | bXDbZ | bDXbZ | baAbZ | babAZ | babaB | babEa final: ACEPTA - Secuencias de configuracin de 3 palabras rechazadas

A
b

bloqueo: RECHAZA

Ab | bA
bb

bloqueo:RECHAZA

Abb | bAb | bbA

bloqueo:RECHAZA

- Lenguaje aceptado = {Todas las secuencias de a y b no vaca, que contengan al menos una a} - La secuencia de salida es igual a la entrada concatenada con tantas a como a tenga la misma.

2.9. Obtener los ALL que acepten los siguientes lenguajes L = { todas las cadenas de = { a , b } de longitud par cuyos smbolos centrales sean distintos}

a, a, D b, b, D a, X, D b, Y, D Y, Y, I >, >, I B X, X, I C

a, X, I b, Y, I a, a, I b, b, I D

A X, X, D Y, Y, D Y, b, I X, a, I E G Y, b, I F X, a, I

Pgina 15

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

L = { an bm cn+m / n 0 , m 0 } (a, a, D) (b, b, D) (a, X, D) B (c, c, D) (>, >, I) A D (X, X, D) C (c, >, I) (a, a, I) (b, b, I) (c, c, I)

(>, >, I) (b, X, D) F (c, c, D) (b, b, D) E (>, >, I) G (c, >, I) (X, X, D) H (b, b, I) (c, c, I)

Nota: No debe permitirse que existan a despus de la primera b. En ese caso, el ALL se bloquear en el estado E.

2.10. Desarrollar Mquinas de Turing que realicen las siguientes acciones. En qu casos podra encontrarse un ALL equivalente? Justifique su respuesta sin desarrollar los ALL a) invertir una palabra de longitud impar . E = { a , b }

Para este caso es posible encontrar un ALL equivalente porque los desplazamientos en la cinta nunca sobrepasan los delimitadores de la palabra.

Pgina 16

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

b) A partir de un palndromo de longitud impar obtener otro de longitud par duplicando el smbolo central (la nueva secuencia tendr longitud n+1). E = { a , b } (a, a, D) (b, b, D) B (a, X, D) (a,X,I) (a,a,I) (b,b,I) (X,b,D) H E (a,a,D) (b,b,D) (b,Y,I) F (,,I) (X,X,I) (Y,Y,I) (Y,b,D) (Y,b,D) (Y,a,D) (,b,D) (X,X,I) (Y,Y,I) (,,I) C (X,a,D) (X,a,D)

G (,a,I) I

(X,a,D) (Y,b,D)

D (b, Y, D)

No es posible encontrar un ALL equivalente porque los desplazamientos en la cinta sobrepasaran el delimitador derecho al extender la longitud a n+1.

c) Obtener la diferencia de dos nmeros unarios. (la secuencia a agregar a continuacin de las dos originales ser la diferencia entre la mayor longitud y la menor longitud) Definiendo las secuencias de entrada como dos series de 1 separadas por el smbolo -, en la transformacin deberamos agregar un smbolo = y, a continuacin, otra secuencia de 1 cuya longitud ser la diferencia entre la mayor longitud y la menor longitud. E = { 1 , - } Ejemplos Entrada: 11111-11 ; Salida 11111-11=111 Entrada: 111-1111 ; Salida 111-1111=1 Entrada: 111-111 ; Salida 111-111= (no existe el cero en sistema unario)

Opcin para el alumno: en los casos que la primera secuencia tenga menor longitud que la segunda, que el resultado sea negativo (incluir un signo - despus del =)

Pgina 17

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

(1,1,D) B (1, X, D) (-,-,D)

(Z,Z,D) C (,=,D)

(-,-,D) (1,1,D) (=,=,D) (=,=,=) (Z,1,I) (-,-,I) H (,1,I) D (1, X, D) (X,1,D) J K (=,=,-) (-,-,D) (-,-,D) (1,1,D) (=,=,D) M (Z,1,D) (1,Z,D) M I (1,1,I)

(X,1,D)

(1,Z,I)

(-,-,I) (1,1,I)

(-,-,D) E (Z,1,D) (1,Z,D)

(,=,-)

F (1,1,D)

(,=,D)

(,-,I) L (1,1,I) (=,=,I) (-,-,I) (,1,I)

No es posible encontrar un ALL equivalente porque los desplazamientos en la cinta sobrepasaran el delimitador derecho al agregar el signo = y la nueva cadena de 1.

2.11. Desarrollar una Mquina de Turing que multiplique por 2 un nmero binario y posteriormente invierta la cadena obtenida, eliminando los ceros no significativos que pudieran quedar a la izquierda (desarrollar una mquina para cada transformacin y combinarlas para obtener el resultado buscado)

En primer lugar se construye una MT1 que multiplique por 2 un nmero binario natural, esto es simplemente que le agregue un 0 al final, verificando que sea un secuencia de 0 y 1; y teniendo en cuenta como caso particular el nmero 0, en cuyo caso no debe hacer nada. En el caso de una secuencia que tenga ceros a la izquierda no significativos, ser rechazada. Para poder combinarla con otra MT2 que haga la inversin, dejaremos el cabezal al principio de la secuencia. MT1 = < Q1 , E , A1 , q01 , F1 , f1 > Q1 = { q01 , q11 , q21 , q31 , q41 } E = { 1, 0 } A1 = { } F1 = { q41 }

Pgina 18

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

TABLA DE TRANSICIN DE f1
Estado Actual Smbolo Entrada Nuevo Estado Smbolo Salida Movimiento Cabezal q01 q01 q11 q21 q21 q21 q31 q31 q31 *q41 1 0 1 0 1 0 -------q21 q11 q41 q21 q21 q31 q31 q31 q41 -------1 0 1 0 0 1 0 -------D D I D D I I I D --------

La Mquina MT2 har la inversin de la secuencia, esta mquina la podemos plantear a partir de la MT del ejercicio 2.10-a, que inverta palabras de longitud impar, haciendo las siguientes transformaciones para que funcione con nmeros binarios de longitud par o impar y deje al cabezal al principio de la secuencia: 1) Cambiar el alfabeto {a, b} por {0 ,1} 2) El estado H deja de ser final y se agrega el estado K como final, por lo tanto eliminamos la ltima fila de la tabla de transicin. 3) Agregamos las siguientes transiciones: Estado Actual Smbolo Entrada Nuevo Estado Smbolo Salida Movimiento Cabezal A A H H H *K X Y 0 1 -----K K H H K -----0 1 0 1 -----I I I I D ------

Pgina 19

UNIVERSIDAD TECNOLGICA NACIONAL

Facultad Regional Tucumn Departamento: SISTEMAS Ctedra: Sintaxis y Semntica de los Lenguajes Ciclo 2012 / 2013 TRABAJO PRCTICO N 2

Por ltimo planteamos una MT3 que eliminar los 0 no significativos de la izquierda, teniendo en cuenta el caso particular del nmero 0:

MT3 = < Q3 , E , A3 , q03 , F3 , f3 > Q3 = { q03 , q13 , q23 , q33} E = { 1, 0 } A3 = { } F3 = { q33 } TABLA DE TRANSICIN DE f3
Estado Actual Smbolo Entrada Nuevo Estado Smbolo Salida Movimiento Cabezal q03 q13 q13 q13 q23 q23 *q33 0 0 1 q13 q23 q23 q33 q23 q33 -------0 D I I I D N --------

0
1

0 1 --------

1
--------

Combinando MT1 con MT2 y MT3 se resuelve el problema planteado. Para lo cual se toma las tres MT y se las considera como una sola, con las siguientes transformaciones: 1) Los estados iniciales de MT2 y MT3 dejan de ser iniciales, el nico inicial es el de la MT1. 2) Los estados finales de MT1 y MT2 dejan de ser finales, el nico final es el de la MT3. 3) Se agrega una transicin del final de MT1 al inicial de MT2 y del final de MT2 al inicial de MT3, con etiqueta: (, , N).

Pgina 20