Debe recordar muy bien:

Relaciones
Relaciones de equivalencia (reflexiva, simétrica y transitiva)
Que ellas inducen una partición (del universo) en clases de equivalencia.
Los conceptos de conjunto cociente e índice de una relación

Una relacion R es una relación de equivalencia si R es reflexiva, simétrica, y transitiva.

Sea R una relación de equivalencia sobre Σ∗ . A cada elemento de Σ∗ podemos asignar el conjunto
de los elementos que son equivalentes a él. Basta con anotar un representente de dicho conjunto y
escribimos:
[x]R = {y | yRx} = {y | xRy}
Si xRy entonces [x] = [y] porque ambos caen en la misma clase de equivalencia. Se suele usar
como representante una de las palabras más cortas de la clase.
Si x, y ∈ [z] escribimos también x ≡ y que significa que xRy e yRx.
Una relación de equivalencia divide Σ∗ en clases, es decir,
Σ∗ = [x1 ] ∪ [x2 ] ∪ . . . ∪ [xk ] ∪ . . .
cuyo número es finito o infinito.
La intersección de dos clases es vacía, es decir, [xi] ∩ [xj] = ∅ si i ≠ j
porque si tuviesen un elemento en común, ambas clases serían iguales.

Ejemplo: Sea Σ = {a1 , . . . , ak } un alfabeto (por ejemplo el alfabeto de toda la vida)

Sea la relación definida así:
R = {(x, y) | x comienza con el mismo símbolo que y}
es una relación de equivalencia y nos divide Σ∗ en
Σ∗ = [a1 ] ∪ [a2 ] ∪ . . . ∪ [ak ] ∪ [λ]
Es decir, en todas las clases de palabras que empiezan con la misma letra más la clase para la
palabra vacía (que no empieza con ninguna letra).
Entonces hay tantas clases como símbolos en Σ más una clase.

Llamaremos índice de la relación al número de clases que produce una relación de equivalencia:
Indice(R).
En el ejemplo tenemos Indice(R) = k + 1 = |Σ| + 1, es decir, un índice finito.

Ejemplo:
Sea R una relación de equivalencia sobre Σ∗ definida así:
R = {(x, y) | x tiene la misma longitud que y}
R es de índice infinito
[En ambos casos hay que probar que R sea de equivalencia]

Relaciones sobre el universo:

i) "arbitrarias".
ii) obligadas a tomar en cuenta algo (en su definición) inducidas por ese algo

RL es un buen ejemplo. La relación se define tomando en cuenta L.

Se llama también: Relación de equivalencia para los buenos finales inducida por L.

Sea RL la siguiente relación definida sobre *e inducida por L:

 x,y xRLy si y sólo si  w xw  L  yw  L

Dos cadenas x,y están en una misma clase si y sólo sí  w{a,b} xw,yw están ambas en L o no lo
están.
Una definición equivalente es:  x,y xRLy si y sólo si L/x = L/y

Dos cadenas que no estén relacionadas, que no estén en la misma clase, que estén en diferentes
clases, se dice que son distinguibles con respecto a L (en la def. la cadena w las distingue. Basta una
cadena w tal que sólo una de las cadenas xw, yw está en L y la otra no).
Dos cadenas relacionadas, que estén en la misma clase, se dice que son indistinguibles con respecto
a L.

Veamos algunos ejemplos:

1) L=*
Como No puede haber dos cadenas para las cuales una esté en L y la otra no, es claro que el índice
de la relación es finito pues sólo hay una clase de equivalencia.

2) L={ajbj / j>0}
Sea [a]RL una clase de RL.
Obviamente aa[a]RL, pues con w=bb, abbL pero aabbL.
Sea [aa]RL otra clase de RL. Por razones semejantes aaa[a]RL y aaa[aa]RL, w=bbb sirve para ver
esto, sea [aaa]RL otra clase de RL.
Podemos extender el razonamiento recurrentemente e indicar la presencia de las siguientes clases
[a]RL, [aa]RL, [aaa]RL, [aaaa]RL, [aaaaa]RL, etc., es decir, RL tiene infinitas clases de equivalencia.
El índice de la relación es infinito.
Nótese que no hemos clasificado todas las palabras de Σ∗, sino solamente algunas palabras
posibles:
Σ∗ = L ∪ [a]RL ∪ . . . ∪ [aaa]RL ∪ . . . ∪ . . . las demás clases.

3) L={ u{a,b} / Na(u)=2i  Nb(u)=2j; i,j0 }

Las cadenas de L son aquellas que tienen un número par tanto de a’s como de b’s.
El índice de la relación es finito pues sólo tiene 4 clases. Veamos:
Cadenas que tienen un número impar de a’s y par de b´s:
[a]RL={ u{a,b} / Na(u)=2i+1  Nb(u)=2j; i,j0 }
Cadenas que tienen un número par de a’s e impar de b´s:
[b]RL={ u{a,b} / Na(u)=2i  Nb(u)=2j+1; i,j0 }
Cadenas que tienen un número impar de a’s e impar de b´s:
[ab]RL={ u{a,b} / Na(u)=2i+1  Nb(u)=2j+1; i,j0 }
Cadenas que tienen un número par de a’s y b´s:
[]RL={ u{a,b} / Na(u)=2i  Nb(u)=2j; i,j0 }

4) L={ u{a,b}* / u es palíndrome }

Sea [ab]RL una clase de RL.
Obviamente aab[ab]RL, pues con w=aa, abaaL pero aabaaL.
Sea [aab]RL otra clase de RL. Por razones semejantes aaab[ab]RL y aaab[aab]RL, w=aaa sirve para
ver esto.
Sea [aaab]RL otra clase de RL.
Podemos extender el razonamiento recurrentemente e indicar la presencia de las siguientes clases
[ab]RL, [aab]RL, [aaab]RL, [aaaab]RL, [aaaaab]RL, etc., es decir, RL tiene infinitas clases de
equivalencia.
El índice de la relación es infinito. (note que cada clase tiene exactamente un elemento)
5) L={ u{a,b} / Nb(u) ≤ 1 }
El índice de la relación es finito pues sólo tiene 3 clases. Veamos:
Cadenas que no incluyen b´s:
[]RL = { u{a,b} / Nb(u)=0 } = {a}
Admiten como buenos finales p. 58 Garcia
Cadenas que tienen exactamente una b:
[b]RL = { u{a,b} / Nb(u)=1} = {a}{b}{a}
Cadenas que tienen por lo menos dos b´s:
[bb]RL = { u{a,b} / Nb(u)  2 } = {a}{b}{a}{b}{a,b}

6) L={aibaj / i,j≥0}
El índice de la relación es finito pues sólo tiene 3 clases. Veamos:
Cadenas que no incluyen b´s:
[]RL = { u{a,b} / Nb(u)=0 } = {a}
Cadenas que tienen exactamente una b:
[b]RL = { u{a,b} / Nb(u)=1} = {a}{b}{a}
Cadenas que tienen por lo menos dos b´s:
[bb]RL = { u{a,b} / Nb(u)  2 } = {a}{b}{a}{b}{a,b}

7) L={cadenas que terminan en "ba" }

El índice de la relación es finito pues sólo tiene 3 clases. Veamos:
Cadenas que que terminan en b:
[b]RL = {a,b}{b}
Cadenas que terminan en ba:
[ba]RL = {a,b}{ba}
Cadenas que no terminan en b ni en ba (terminan en aa o son "a" o son ):
[]RL = {} U {a} U {a,b}{aa}

8) L = {w | w ∈ {0, 1}∗ y w termina con 00}

El índice de la relación es finito pues sólo tiene 3 clases. Veamos:
[] = {w | w no termina en 0}
[0] = {w | w termina en un solo 0}
[00] = {w | w termina en 00}

9) L = {cadenas de longitud par} con Σ= {0,1}

El índice de la relación es finito pues sólo tiene 2 clases. Veamos:
[] = {w | w tiene longitud par}
[0] = {w | w tiene longitud impar}

Debe aprender del texto o de otro libro:

Cuándo una relación de equivalencia es invariante por la derecha (con respecto a la concatenación).
El universo debe ser un monoide, es decir, un semigrupo, es decir un par (cjto., oper) tal que oper es
asociativa y con neutro; en este caso Σ* y concatenacion y λ-).
Se dice que R es invariante por derecha cuando: … (complete)

[La relación u≡v sii u=va (a∈Σ) no es invariante por la derecha v es prefijo de u] am≡ama pero amo≠amao

Ejemplo de relación invariante por izquierda !

Sea L un lenguaje, M un AF y u,v∈Σ*
La relación u≡v sii u=va (a∈Σ) es invariante por la izquierda.
Mostrar que RL es invariante por derecha (congruencia a derechas).

Sean, R,Q dos relaciones sobre el mismo universo

R refina a Q si  x,y xRy => xQy

(ver p.25 de “Refina.pdf”)

En este caso las clases de Q están formadas por la unión de clases de R.

Es lo mismo decir que las clases de R están formadas por particionar las clases de Q en clases más
pequeñas.

Si R refina a Q
entonces R tiene más clases que Q: (obvio de la def. y si x,yR => x,yQ inclusión)
(x1,y1) (x2,y2)
pueden estar en clases diferentes en R pero en la misma clase en Q
al revés es imposible:
(x3,y3) en una clase en Q (x4,y4) en otra clase en Q
y todos x3,y3,x4,y4 en la misma clase en R:
Si x3Ry4 se cumple => x3Ry4 no se cumple por def. de Refina

Ejemplos:
1) Con enteros. Sabemos que la relación de equivalencia (mod n) se define así:
a (mod n) b si y sólo si r = r'
donde a mod n = r
donde b mod n = r'
a (mod n) b si y sólo si a,b dan el mismo residuo cuando se dividen entre n

Si b|a y b|c entonces x, y Ζ b|(a·x + c·y) (*)

Dem:
Si b|a y b|c entonces:  q, q' Ζ tales que a = q·b y c = q’·b.
Luego: a·x + c·y = q·b·x + q’·b·y = (q·x + q’·y)·b.
Entonces: b|(a·x + c·y) pues como q,q’,x,y  Ζ es obvio que (q·x + q’·y)  Ζ

a  b (mod n) si y sólo si n|(a-b)

Dem:
Por el algoritmo de la división ( a  Ζ b Ζ , b ≠ 0 ! q,r  Ζ tales que a = q·b + r con 0 ≤ r < |b|):
a=q·n+r con 0 ≤ r < n
b=q’·n+r’ con 0 ≤ r’ < n
Luego: a−b= (q−q’)·n + (r−r’) Nótese que: −n < r−r’ < n (**)
Si a  b (mod n) entonces r=r’, por lo que r−r’= 0 y a−b= (q−q’)·n, y por lo tanto:¨n|(a-b).
Por otro lado, si n|(a-b) y como n|n entonces por (*): n|((a−b)−(q−q’)·n,
es decir por (**): n|(r−r’).
Como −n < r−r’ < n, el único entero del tipo (r−r’) que sea divisible por n es 0, se deduce que r−r’=
0, de donde r=r’ y, por tanto: a  b (mod n).

n (la relación de congruencia) es una relación de equivalencia.

Dem:
- Reflexividad:
 Es evidente que n|(a-a), pues a-a = 0 = q∙n con q=0.
Luego, a  a (mod n)
- Simetría:
Es evidente que si n|(a-b) entonces n|(b-a) por el resultado 6.iii con x=-1.
Es decir, si a  b (mod n), entonces b  a (mod n).
- Transitividad:
Es evidente que si n|(a-b) y n|(b-c)
entonces n|[(a-b)+ (b-c)] por el resultado 6.i, es decir, n|(a-c)
Es decir, si a  b (mod n) y b  c (mod n)
entonces a  c (mod n).

Luego, Z queda particionado en clases de equivalencia.

[a]n = { b  Z / a  b (mod n) } = { …, a - 2n, a - n, a, a + n, a + 2n, … }
Cada clase corresponde a uno de los n posibles restos r = 0, 1, …, n-1.

a (mod 6) b => a (mod 3) b

Es decir, (mod 6) refina (mod 3)

2) Con autómatas. Para ello definiremos la relación de m-equivalencia Em así:

piEmpj si y sólo si  w |w|m ’(pi,w)F’’(pj,w)F’

Estas relaciones son de equivalencia: Dem (? El  es equivalencia)

piEm+1pj => piEmpj

Es decir Em+1 refina Em.
Demostración:
Que piEm+1pj significa que  w |w|m+1 ’(pi,w)F’’(pj,w)F’, si esto es cierto para
|w|m+1, obviamente también es cierto para |w|m, es decir,
 w |w|m ’(pi,w)F’’(pj,w)F’, es decir, piEmpj
Denominaremos Pm a la partición en clases de equivalencia de K’ inducida por Em.
Sea el siguiente AFD accesible A’=({p1,p2,p3,p4,p5},{a,b},’,p1,{p1,p4,p5})
’:
’(p1,a)=p2
’(p1,b)=p3
’(p2,b)=p4
’(p2,a)=’(p3,a)=’(p4,a)=’(p5,a)=p1
’(p3,b)=’(p4,b)=’(p5,b)=p5
P0={ [p1,p4,p5], [p2,p3] }
P1={ [p1], [p4,p5], [p2,p3] }
P2={ [p1], [p4,p5], [p2,p3] }