Hola que tal, quería saber por qué es correcta la solución del 2.º parcial 2017 ejercicio 4 partes b. Cuando solamente contempla los casos en que x es capicúa, define conjuntos en minúscula y usa conjuntos con diferente nombre, o por lo menos eso estoy entendiendo. Agradecería mucho que me saquen la duda
Muchas gracias
hola:
ambas gramáticas irrestrictas propuestas son correctas: generan dos tiras con igual cantidad de letras de cada tipo, y luego permite reordenarlas:
- en la primera solución, se genera una copia de la tira en variables junto con la de terminales. esas variables se llevan al otro lado del numeral, pero además se permite reordenarlas con las reglas AB->BA y BA->AB
S=>4 aAbBbB# =>3 abbABB# =>(x) abbBAB# =>3 abb # bab
(x) se usa la regla AB -> BA
- en la segunda solución, efectivamente se podrían generar capicúas, pero la gracia está en que las reglas ab -> ba y ba->ab te permite reordenar como quieras los terminales para generar las permutaciones.
S =>4 abb#bba =>(x) abb#bab
(x) se usa la regla ba -> ab
saludos,
d.-
Nos quedó mucho más claro. Muchas gracias