Hola, estoy un poco trancado en las clases de equivalencia, son ellas: todas las ER en que 'hay chance' de que con algun z pertenezca y las que no hay chance de que algun z haga que xz e yz pertenezcan a L?
en el caso del ejercicio 7.1 llegue a [a*ab*] y [bb*a*] como las clases en que hay y no hay chance respectivamente.
saludos.
hola:
las clases de equivalencia tienen que ser disjuntas y unidas deben de dar sigma*. por ejemplo, la tira abab no está representada por ninguna de esas dos clases que das. tampoco lo está la tira abaaa. y tampoco la muy particular tira vacía.
además las tiras no son "las que tienen chance y las que no tienen chance", sino las que tienen las mismas chances con las mismas tiras. evidentementemente, todas las que "no tienen niguna chance" van a estar en una misma clase, pero podría pasar que unas y otras se comporten distinto para distintos finales y no pertenezcan a igual clase (aunque "tengan chance").
por ejemplo, la tira "a" y la tira "ab" tienen ambas chances, pero no las mismas.
saludos!
d.-
gracias quedó mucho mas claro, y aprovecho para chequear si entendí preguntando sobre el ej 7.2.b: una posible clase de equivalencia (de las que no tiene chances) puede ser que sea ![\left[ a^n b^n(a|b)* , b(a|b)* \right]](https://eva.fing.edu.uy/filter/tex/pix.php/1841207f7854c3dbbf83e72f2535a841.gif "\left[ a^n b^n(a|b)* , b(a|b)* \right]")
?
?hola:
no comprendo tu notación. ¿es eso un conjunto? ¿es eso una ER? ¿qué sería la ","? ¿el n es un número fijo?
saludos,
d.-
hola, seria la clase de equivalencia compuesta por dos ER's, la idea es tener el n ahi igual que en la definición de L, no encontré ningun ejemplo de como se escribe la clase de equivalencia en Rl y asumi que era así. ¿tendria que haber sido un conjunto que contiene esas dos ER´s?
hola:
ahí va, con los corchetes quisiste agrupar las clases. ahora, el n ahí no tiene ningún sentido; en la definición del lenguaje, es una variable, ¿ahí qué sería?
ahí va, con los corchetes quisiste agrupar las clases. ahora, el n ahí no tiene ningún sentido; en la definición del lenguaje, es una variable, ¿ahí qué sería?
sobre notación, normalmente se listan las clases, a veces con un elemento representativo para denotarlo, pares e impares, por ejemplo.
[0] = {2,...}
[1] = {1, 3, 5...}
[1] = {1, 3, 5...}
ahora, si las clases son infinitas, no podés listarlas todas... por ejemplo, [x_i].... o algo que te permita describir infinitos elementos.
¿cuántas clases definiría ese lenguaje según RL?
saludos,
d.-