Como seria la gramatica del apartado 8 si en lugar de i > j | i < j , fuese i>j y j > k, es decir, el numero de a's mayor que el de b's y el de b's mayor que el de c's?
Ese lenguaje no es de contexto libre, por lo que se escapa de este video. Se puede demostrar que no lo es por el lema de bombeo aplicado a lenguajes de contexto libre.
Hola Juan, una pregunta, para el apartado 8 se podría hacer lo siguiente? S -> aSc | Sc | X | Y | epsilon X -> aXb | aX | a Y -> aYb | bY | b donde 'X' es i > j y 'Y' es i < j muchas gracias por adelantado!
Existe una segunda forma para el apartado 8: S -> Sc | X // meter las c's que queramos X -> aXb | A | B // meter mismo numero de a's que de b's antes de decidir si meter mas a's o b's A -> aA | a // meter las a's que queramos B -> Bb | b // meter las b's que queramos
Como seria la gramatica del apartado 8 si en lugar de i > j | i < j , fuese i>j y j > k, es decir, el numero de a's mayor que el de b's y el de b's mayor que el de c's?
Ese lenguaje no es de contexto libre, por lo que se escapa de este video. Se puede demostrar que no lo es por el lema de bombeo aplicado a lenguajes de contexto libre.
@@JuanIngenieria Tienes pensado hacer algún video sobre lema de bombeo? Muchas gracias por tus videos!
Hola Juan, una pregunta, para el apartado 8 se podría hacer lo siguiente?
S -> aSc | Sc | X | Y | epsilon
X -> aXb | aX | a
Y -> aYb | bY | b
donde 'X' es i > j y 'Y' es i < j
muchas gracias por adelantado!
creo que no, porque genera la cadena "abc" (que no deberia generar porque tiene el mismo numero de a's que de b's), de S -> aSc -> aYc -> abc
@@chavamora3863 entiendo gracias!
Existe una segunda forma para el apartado 8:
S -> Sc | X // meter las c's que queramos
X -> aXb | A | B // meter mismo numero de a's que de b's antes de decidir si meter mas a's o b's
A -> aA | a // meter las a's que queramos
B -> Bb | b // meter las b's que queramos