UTNianos

Hola Chicos hoy di el Final y aprobe con 5, les colaboro con lo que me acuerdo (que no es mucho pero sirve para saber como estan tomando):

1- Te daban un lenguaje L= {a,ab

Te pedian que escribieras una GR y GIC (Las producciones)

2- Te daban 3 lenguajes y te pedian que indicaras cuales de estos lenguajes podian ser representados por un AF (En realidad te decia que pueda ser representado por un Automata obtenido por el mètodo de thompson)

3- Te daban unas lineas de codigo de C y te pedian que indicaras todos los errores sintacticos.

Lo ultimos eran VoF 7 (Restaban los que estubierna mal)

Nota: Dieron los 15 min para ver si te quedabas o no a rendir.

Lamento no acordarme mas.

2) los lenguajes eran

L1={a^n b^n c^n, n>=1}
L2={a^n b^t, n>=0 , t>=2}
L3={a, aa, ab}

3) imposible acordarse el código. Me acuerdo lo importante: int algo (void) { int var1, var2, var3; for( sentencia1 ; sentencia2; sentencia3 {expresion} return 0; }

4)
a)Las constantes enteras y expresiones aritméticas son ValorL
b)La clausura epsilon siempre tiene al menos un elemento
c)El lenguaje universal de {a,b,c} reconoce la palabra vacia
d)En Ansi C 'A' = 5 no arroja error de compilación
e)El AF resultante de la intersección de dos AFD es no determinístico
f)Los LR pueden ser representados por una BNF
g)La sentencia #include no es analizada por el scanner


RESOLUCIONES
1) LR:
S->a|aR
R->b|epsilon

GIC
X->YZ
Y->a
Z->b|epsilon

2)
Los errores sintacticos eran que faltaba el cierre del parentésis del for, y que faltaba un ; despues de la llave.

3)
a)F
b)V
c)V
d)F (error de tipos, asique es error semantico)
e)F
f)V
g)F (el # no es un caracter conocido para ningun lexema, asique directamente lo ignora)

Todo lo demás se encuentra en los libros

no era necesario el epsilon en el ejercicio 1! El resto está ok!

(29-07-2015 22:48)Trisky escribió: [ -> ]no era necesario el epsilon en el ejercicio 1! El resto está ok!

Tenes razón!! Pasa que lo quise hacer como lo puse en el final, y lo que agregué demás aca es la producción S->a