Estos vídeos me servirán bastante, el lunes tengo que recuperar un parcial de Sintaxis y Semántica de los Lenguajes, y por ahora con estos vídeos he entendido mucho de cuáles fueron mis errores en el parcial y lo que me faltaba saber, muchísimas gracias!
Buenas noches, con respecto a la explicacion me parecio super clara para comprender unos ejercicios que estoy viendo, queria saber como se puede representar el lenguaje por comprension de alguno de los ejemplos realizados durante el video, me seria de mucha utilidad para guiarme con los ejercicios que debo resolver, saludos
Que tal profe, consulta. A mi en el 25:18, me da que el lenguaje es ((10)^n 2 0^n 1^n) Mi duda es por que en en el 1^n que me da a mi, usted ubica 11. Si en el arbol que cree el camino que toma S para el subarbol 2x seria Camino A: S > 2x> 20y > 20z > 201 Camino B: S > 2x > 20y > 201z > 2011 Luego cuando se tome el camino del 20x (en lugar de 20y), los resultados finales darian 20011 y 2001. Mi consulta radica en que puede haber n cantidad de ceros, y tambien n cantidad de 1. No asi n cantidad de 11, ya que hay situaciones donde ni siquiera concluye con un 11, como en el camino A mencionado. Saludos y aguardo su respuesta
En el minuto 25:39 ¿Sería incorrecto definir L(G1) = { (10)^n 2 0^m 0 11} >=0 y m>=0, dando la posibilidad de omitir el '0X' generado por la expresión recursiva de 'X', pero haciendo obligatoria la generación de '0Y'?
en el min 15:31 el L(G)={a^m a c^n b a b^m / n>=0 m>=0} esta mal el ultimo b^m, xq solo puede ser b^0 o b^1, pero en ningun hoja del arbol aparece mas de un b al final
Buenas profe, estoy preparando el final, la duda que tengo es si una variable X -> Vt , es decir que por ahora la gramática vendría siendo regular a derecha, si otra variable Y -> tV enotnces.. ¿La gramática deja de ser regular o sigue siendo regular pero no se dice regular a derecha ni regular a izquierda? Porque en todos los casos que vi en la guía hasta ahora las de tipo 3 siempre eran a derecha o a izquierda, no encontré ningún caso en donde S -> Vt ; Z -> tV . Espero se haya entendido la duda, muchas gracias :)
@@matematicamaravillosa bueno profe complementando con este video ruclips.net/video/BfOBy0MVAkw/видео.html entendí que la gramática del ejemplo no es tipo 3, gracias por subir tanto material 👍
En el minuto 25:25 por que m mayor que 0 y no m mayor o igual que 0. No entiendo por que en ese caso no podria saltarse la parte de 0X, y elegir directamente 0Y sin tener que pasar por el anterior, entonces seria m mayor o igual que 0
@@matematicamaravillosa Perfecto! He realizado ambos apartados y me gustaría saber si la gramática a la que he llegado es correcta. Para L1 la gramatica seria: P = {S->aS | baX X-> bX | cb} Para L2 la gramatica seria: P = {S->aSb | bXa X->bX | cX | b | c} Muchas gracias por la ayuda☺
@@adrianramos9947 fijate que tu primera gramática no genera L1, por ejemplo la palabra baacbb no se puede formar (y muchas otras tampoco) y además tu gramática genera palabras que no son de L1, por ejemplo aabacb. La otra tampoco está correcta. Quieres intentar de nuevo?
@@matematicamaravillosa Por supuesto! He desarrollado otra gramatica para L1: P = {S->bX X->aX | acY Y->bY | bb} De esta forma, la palabra 'baacbb' que antes habias tomado como ejemplo; si podria formarse: S->bX->baX->baacY->baacbb (Tamien estoy intentado L2, en nada la subo)
Disculpe profesora, en que contexto se establecen todas estas gramáticas ? Es decir, qué debo estudiar antes para entender mejor este video ?? Igual está muy interesante.
@@matematicamaravillosa en el lenguaje propuesto en 15:31, el hecho de que la a inicial tenga el mismo índice m que la b final me hace ruido... ¿no deberían tener índice distinto? Sino, debería haber misma cantidad de a inciales que de b finales... Mi propuesta sería: L(G)={ a^n b^m c^p ba / n>0, m≥0, p≥0 } estaría bien?
@@AlejandroHamann Yo lo veo bien que tengan los exppnentes iguales, la 1ra produccion de S aumenta a al inicio y b al final, siempre se iran aumentando de igual manera Si lo dices por lo que se ve en el arbol, en las soluciones de la rama derecha de S, no entró al "bucle" por asi decirlo, de a^m....b^m, asi que en ese lado estan elevados a 0, la a del inicio y final que salen en esas palabra son las que no tiene ningun exponente, es decir, ahi m=0, entonces por esa rama derecha es solamente: ac^(n)ba Por la rama izquierda de S, las 2 palabras que se forman igual estan bien, si ves que hay 2 "a"s al incio, una es la que va a la par de la b final y la otra es la fija que no tiene exponente, es decir que ahi m=1 En todo caso se la podria "simplificar" de cierta forma creo, podria ser L(G)={a^(m+1)c^(n)bab^(m) / n>=0, m>=0}
Nunca voy a dejar de agradecerte lo bien que explicas y lo mucho que me ayudas. Saludos Alicia 🙂🤩
Estos vídeos me servirán bastante, el lunes tengo que recuperar un parcial de Sintaxis y Semántica de los Lenguajes, y por ahora con estos vídeos he entendido mucho de cuáles fueron mis errores en el parcial y lo que me faltaba saber, muchísimas gracias!
Muy buena explicación, todo quedo perfectamente claro.
Muchas gracias por el video , lo estaba necesitando urgente!
disculpe donde puedo ver los resultados de los ultimos ejercicios?
un lujo de explicación
muchas gracias profe! la explicación es muy clara
Gracias a vos aprobé el segundo parcial de discreta
Tremenda explicación! Muchas gracias!!!
Excelente. Se agradece!!!
muy claro todo, la entendi a usted mejor que a mi maestro de la UNI :v GRACIAS POR EL VIDEO
:V papu
v:
Buenas noches, con respecto a la explicacion me parecio super clara para comprender unos ejercicios que estoy viendo, queria saber como se puede representar el lenguaje por comprension de alguno de los ejemplos realizados durante el video, me seria de mucha utilidad para guiarme con los ejercicios que debo resolver, saludos
Que tal profe, consulta. A mi en el 25:18, me da que el lenguaje es ((10)^n 2 0^n 1^n) Mi duda es por que en en el 1^n que me da a mi, usted ubica 11. Si en el arbol que cree el camino que toma S para el subarbol 2x seria
Camino A: S > 2x> 20y > 20z > 201
Camino B: S > 2x > 20y > 201z > 2011
Luego cuando se tome el camino del 20x (en lugar de 20y), los resultados finales darian 20011 y 2001. Mi consulta radica en que puede haber n cantidad de ceros, y tambien n cantidad de 1. No asi n cantidad de 11, ya que hay situaciones donde ni siquiera concluye con un 11, como en el camino A mencionado. Saludos y aguardo su respuesta
Estás haciendo mal los caminos. La Y produce 11 , fijate la gramática dada.
Buenisimo
En el minuto 25:39 ¿Sería incorrecto definir L(G1) = { (10)^n 2 0^m 0 11}
>=0 y m>=0, dando la posibilidad de omitir el '0X' generado por la expresión recursiva de 'X', pero haciendo obligatoria la generación de '0Y'?
En caso de que la posibilidad sea solo 0X, entonces el exponente m solo tomaria el valor de 1, ya que m>0
en el min 15:31 el L(G)={a^m a c^n b a b^m / n>=0 m>=0} esta mal el ultimo b^m, xq solo puede ser b^0 o b^1, pero en ningun hoja del arbol aparece mas de un b al final
Buenas profe, estoy preparando el final, la duda que tengo es si una variable X -> Vt , es decir que por ahora la gramática vendría siendo regular a derecha, si otra variable Y -> tV enotnces.. ¿La gramática deja de ser regular o sigue siendo regular pero no se dice regular a derecha ni regular a izquierda? Porque en todos los casos que vi en la guía hasta ahora las de tipo 3 siempre eran a derecha o a izquierda, no encontré ningún caso en donde S -> Vt ; Z -> tV . Espero se haya entendido la duda, muchas gracias :)
Hola Guido. Piensa este ejemplo y saca tú mismo las conclusiones:
G = ({S, T} , {a,b,c}, P, S )
S --> aT. + c ; T --> Sb
@@matematicamaravillosa bueno profe complementando con este video ruclips.net/video/BfOBy0MVAkw/видео.html entendí que la gramática del ejemplo no es tipo 3, gracias por subir tanto material 👍
En el minuto 25:25 por que m mayor que 0 y no m mayor o igual que 0. No entiendo por que en ese caso no podria saltarse la parte de 0X, y elegir directamente 0Y sin tener que pasar por el anterior, entonces seria m mayor o igual que 0
Justamente por la producción 0Y es que debe haber al menos un cero. Por eso m es mayor estricto que cero
donde podemos comprobar la solucion de los ejercicios propuestos?
Puedes preguntarme por acá
@@matematicamaravillosa Perfecto! He realizado ambos apartados y me gustaría saber si la gramática a la que he llegado es correcta.
Para L1 la gramatica seria:
P = {S->aS | baX
X-> bX | cb}
Para L2 la gramatica seria:
P = {S->aSb | bXa
X->bX | cX | b | c}
Muchas gracias por la ayuda☺
@@adrianramos9947 fijate que tu primera gramática no genera L1, por ejemplo la palabra baacbb no se puede formar (y muchas otras tampoco) y además tu gramática genera palabras que no son de L1, por ejemplo aabacb. La otra tampoco está correcta. Quieres intentar de nuevo?
@@matematicamaravillosa Por supuesto! He desarrollado otra gramatica para L1:
P = {S->bX
X->aX | acY
Y->bY | bb}
De esta forma, la palabra 'baacbb' que antes habias tomado como ejemplo; si podria formarse:
S->bX->baX->baacY->baacbb
(Tamien estoy intentado L2, en nada la subo)
@@adrianramos9947 muy bien ahora con la gramática de L1
Disculpe profesora, en que contexto se establecen todas estas gramáticas ? Es decir, qué debo estudiar antes para entender mejor este video ?? Igual está muy interesante.
Primero te recomiendo ver el video de Lenguajes Formales
GRACIASSSSSSSSSSSSSSSSSSSSSSS
15:31 - es lo mismo haber hecho L(G) = {a(a^m)(c^n)ba(b^m) }
Es equivalente aunque la forma que yo puse es la que surge de aplicar las producciones
@@matematicamaravillosa en el lenguaje propuesto en 15:31, el hecho de que la a inicial tenga el mismo índice m que la b final me hace ruido... ¿no deberían tener índice distinto? Sino, debería haber misma cantidad de a inciales que de b finales...
Mi propuesta sería: L(G)={ a^n b^m c^p ba / n>0, m≥0, p≥0 } estaría bien?
@@AlejandroHamann Yo lo veo bien que tengan los exppnentes iguales, la 1ra produccion de S aumenta a al inicio y b al final, siempre se iran aumentando de igual manera
Si lo dices por lo que se ve en el arbol, en las soluciones de la rama derecha de S, no entró al "bucle" por asi decirlo, de a^m....b^m, asi que en ese lado estan elevados a 0, la a del inicio y final que salen en esas palabra son las que no tiene ningun exponente, es decir, ahi m=0, entonces por esa rama derecha es solamente: ac^(n)ba
Por la rama izquierda de S, las 2 palabras que se forman igual estan bien, si ves que hay 2 "a"s al incio, una es la que va a la par de la b final y la otra es la fija que no tiene exponente, es decir que ahi m=1
En todo caso se la podria "simplificar" de cierta forma creo, podria ser
L(G)={a^(m+1)c^(n)bab^(m) / n>=0, m>=0}