1- Un parser solo recibe lexemas enviados por el Scanner (F)
2- El algoritmo de Thompson no puede generar un AFN con 8 transiciones-epsilon (F)
3- El conjunto de estados de una APD puede ser infinito (V)
4- La aplicación del operado clausura de Kleene de las ER siempre produce un LR infinito (F)
5- En ANSI C, el Lenguaje Formal de las expresiones es un subLenguaje del Lenguaje Formal SENTENCIAS (F)
6- Reconocer un LIC significa rechazar cada cadena que no pertenece a ese LIC (F)
Alguien podria justificar estos verdadero y falso.
Muchas gracias
las que me acuerdo ahora son:
4) La aplicación del operado clausura de Kleene de las ER siempre produce un LR infinito (F) --> Si la ER representa a Epsilon, al aplicar la clausura se sigue generando solo Epsilon
6) Reconocer un LIC significa rechazar cada cadena que no pertenece a ese LIC (F) --> Creo que reconocer un LIC significa ACEPTAR CADA PALABRA DEL LENGUAJE y rechazar las cadenas que no pertenezcan
Y las que creo son:
1) Un parser solo recibe lexemas enviados por el Scanner (F) --> Recibe tokens.. no lexemas. El Scanner recibe los lexemas
5) En ANSI C, el Lenguaje Formal de las expresiones es un subLenguaje del Lenguaje Formal SENTENCIAS (F) --> Sino me equivoco las sentencias son un sublenguaje de las expresiones
1- tambien recibe los errores lexicos ?? Quiza..
2- pueden haber 8 transiciones tranquilamente, fijate en el tomo 2 del libro, cuando hace el thompson de (a | b)* si no me equivoco, tiene exactamente 8.
3- es verdadero?? creo q era falso
4- a lo mejor un contraejemlo es: a^n b^n c^* / n > 1, eso es un LIC, no un LR.....
5- no sabria decir...
6- tambien significa aceptar todas las que SI pertenecen.
3- El conjunto de estados de una APD puede ser infinito (V)
de que final sacaste eso che ?? para mi es re FALSO !!!
5- En ANSI C, el Lenguaje Formal de las expresiones es un subLenguaje del Lenguaje Formal SENTENCIAS (F)
esta para mi es falsa porque ninguno es sublenguaje de ninguna, ni declaracion de sentia y viceversa, ni expresion de sentencia y viceversa, ni ninguna posibilidad, o por lo menos en el libro no lo dice.
(24-05-2011 15:10)joansilva86 escribió: [ -> ]1- Un parser solo recibe lexemas enviados por el Scanner (F)
2- El algoritmo de Thompson no puede generar un AFN con 8 transiciones-epsilon (F)
3- El conjunto de estados de una APD puede ser infinito (V)
4- La aplicación del operado clausura de Kleene de las ER siempre produce un LR infinito (F)
5- En ANSI C, el Lenguaje Formal de las expresiones es un subLenguaje del Lenguaje Formal SENTENCIAS (F)
6- Reconocer un LIC significa rechazar cada cadena que no pertenece a ese LIC (F)
Alguien podria justificar estos verdadero y falso.
Muchas gracias
1- Recibe tokens, no lexemas
2- Hace un contraejemplo y fijate
3- Es falsa, si agarras el volumen 2 cuando describe los APD, tanto el conjunto de estados como el de pila son finitos. Estas seguro que es V ?
4- Como contraejemplo, considera el lenguaje que contiene solo a Epsilon, o el vacio
5- Que yo recuerde esta es Verdadera, pero no estoy seguro
6- No solo eso, tambien aceptar cada palabra que pertenece
joansilva86,
Tiene razon gonnza fijate en el volumen 2 pag 29 ahi te dice que un AFPD tiene un conjunto finito y no vacio de estados. Estoy hablando del VoF 3).
Espero que te sirva.
Saludos
Conclución
1- Un parser solo recibe lexemas enviados por el Scanner (F) -> porque
el scaner retorna el par (lexema, token). VOL2 pag 59
2- El algoritmo de Thompson no puede generar un AFN con 8 transiciones-epsilon (F) -> con cualquier contra ejemplo.
3- El conjunto de estados de una APD puede ser infinito (F)
4- La aplicación del operado clausura de Kleene de las ER siempre produce un LR infinito (F) -> aplicando (epsilon)* nos genera el LR que solo tiene la palabra nula.
5- En ANSI C, el Lenguaje Formal de las expresiones es un subLenguaje del Lenguaje Formal SENTENCIAS (F)
6- Reconocer un LIC significa rechazar cada cadena que no pertenece a ese LIC (F) -> porque reconocer es Aceptar todas las palabras y RECHAZAR las que no pertenecen.
MUCHAS GRACIAS A TODOS!!!