06-12-2011, 17:55
Alguno puede explicarme este procedimiento que se da en un ejercicio de Final del Tema de Gramaticas/Lenguajes.
Sean los Lenguajes:
L1= \[a^n b^m / n \geq 1, m\geq 1\] L2 generador por G= ( {S,X}; {a,b}; P ; S ) Siendo P = {\[S \to aS | aX ; X \to abX | bX | b\]
Analiza si L1 y L2 Son Equivalentes. Justifique o Demuestre.
Bueno en la resolución me dicen que no son equivalente ya que la palabra w= aababb que pertenece a L2 no pertenece a L1 y me muestra como consigue W.
W= \[S \to aX \to a(abX)\to aab(abX)\to aabab(b)\to aababb\] De esa forma consigue W.
Pero mi duda es si W no tendría que ser de la siguiente forma: \[S \to aX \to a(abX)\to aab(bX)\to aabb(b)\to aabbb\]
Espero que puedan entendermee
Sean los Lenguajes:
L1= \[a^n b^m / n \geq 1, m\geq 1\] L2 generador por G= ( {S,X}; {a,b}; P ; S ) Siendo P = {\[S \to aS | aX ; X \to abX | bX | b\]
Analiza si L1 y L2 Son Equivalentes. Justifique o Demuestre.
Bueno en la resolución me dicen que no son equivalente ya que la palabra w= aababb que pertenece a L2 no pertenece a L1 y me muestra como consigue W.
W= \[S \to aX \to a(abX)\to aab(abX)\to aabab(b)\to aababb\] De esa forma consigue W.
Pero mi duda es si W no tendría que ser de la siguiente forma: \[S \to aX \to a(abX)\to aab(bX)\to aabb(b)\to aabbb\]
Espero que puedan entendermee