Teoría de la información y

métodos de codificación.
Detección y corrección de errores.

M.C Said Zamora.

 Códigos de Reed Solomon.
• Codifica grupos de bits, llamados dígitos,
símbolos o coeficientes.

• Un digito se declara libre de errores solamente si

todos sus bits lo son, de lo contrario se les
declara como corruptos.

• 10110111 11001111 01001011 01011101

10110101 11001111 01110001 01011101
• Si se desea enviar una cadena de texto de
longitud k, Reed Solomon enviará n dígitos de
acuerdo a

• 𝑛 = 𝑘 + 2𝑠

• donde s es el numero de dígitos corruptos.

• Si existen j dígitos distintos, se debe realizar el
mapeo de entre esos dígitos y los elementos
de un campo F con j elementos.

• Para un mensaje con k dígitos, los cuales son

m0 a mk-1, se obtiene un polinomio de la
forma

• 𝑚 𝑥 = 𝑚0 + 𝑚1 𝑥 + 𝑚2 𝑥 2 + … + 𝑚𝑘−1 𝑥 𝑘−1

• Los coeficientes de este polinomio son

elementos de F.
 Construcción del campo F

• Grupos: Tupla del tipo (G,x,1) donde G es un

conjunto de elementos, x, un operador binario
y 1 ∈ G es la identidad.
 Propiedades del conjunto G.
• x es cerrado.

• Para toda a,b ∈ G, a x b ∈ G.

• x es asociativo.

• Para toda a, b, c ∈ G, (a x b) x c = a x (b x c)

• Para toda a ∈ G, a x 1 = 1 x a = a
 Propiedades del conjunto G.
• Para cada a ∈ G existe un elemento 𝑎−1 ∈ G
tal que 𝑎 𝑥 𝑎−1 = 𝑎 − 1 𝑥 𝑎 = 1.
 Campo.
• Tupla (F,+,x,0,1) donde F es el conjunto de
elementos, + es el operador aditivo, x es el
operador multiplicativo, 0 ∈ F es la identidad
aditiva y 1 ∈ F es la identidad multiplicativa.
 Propiedades de F.
• (F, +, 0) forma un grupo.
• X es asociativa y se distribuye en +.
• (F/0, x, 1) forma un grupo.

• Un campo puede incluir números reales,

complejos y racionales.
 Campo de Galois
• Para cada p prima y numero natural r existe un
campo finito con p^r números. Cualquier
campo de esa magnitud es isomórfico con un
campo de Galois.

• El campo de Galois se construye mediante

Zp(x), el conjunto de polinomios con
coeficientes en Zp.
 F = Z2
• 0+0=0
• 0+1=1
• 1+0=1
• 1+1=0
• Considerando a y b como elementos de Z2(x),
entonces

• A(x) = x^2 +x , b(x) = x por lo que la adición queda

como:

• A(x) = 1x^2 + 1x
• B(x) = 0x^2+ 1x
• A(x) + b(x) = 1x^2+0x =x^2