Anda di halaman 1dari 3

Actividad 5

La situacin es la siguiente: tenemos un alfabeto fuente S = {s1, . . ., Sm} y un alfabeto


de cdigo A = {a1, . . . , an}, que es tambin el alfabeto de entrada de algn canal.

Nos gustara transmitir el texto escrito en el alfabeto fuente, pero nuestro canal slo
acepta caracteres alfabticos de cdigo. Por lo tanto, pretendemos asociar una
palabra alfabtica de cdigo para representar cada palabra del alfabeto fuente
que podramos desear enviar.

Una funcin de codificacin es una funcin : S + A +. Decimos que tal funcin


define, o determina, un cdigo. El cdigo determinado por se dice que es
inequvoco si y slo si es uno-a-uno (inyectivo). De lo contrario, el cdigo es
ambiguo.

Un decodificador-reconocedor vlido (VDR) para el cdigo determinado por es


un algoritmo que acepta como entrada cualquier w A +, y produce como salida
el mensaje "no representa una palabra fuente" si, de hecho, w no est en el rango
de o, si w ran , un cierto v S+ tal que (v) = w.

El cdigo determinado por es nicamente decodificable si y slo si es


inequvoco y existe un VDR para l.

Un VDR es, como su nombre indica, un algoritmo que decodifica


correctamente una palabra de cdigo o reconoce correctamente que la
palabra de cdigo no puede ser decodificada.

Seremos bastante informales acerca de la descripcin de VDRs, y


extremadamente arrogante acerca de probar que un algoritmo dado es un
VDR para un cdigo dado.

En la moderna teora de conjuntos ingenuos, se ha demostrado que para cualquier S


y A no vacos, hay innumerables funciones inyectivas de S + en A +. Los cdigos
determinados por dos funciones diferentes no pueden tener el mismo VDR. Tambin
est probado que hay muchos algoritmos expresables en cualquier lenguaje natural.

En la mayora de los cdigos realmente en uso en la vida real, la funcin de


codificacin se define de una manera particularmente directa.

Un esquema de codificacin para un alfabeto fuente S = {s1, . . ., Sm} en trminos


de un alfabeto de cdigo A es una lista de producciones,

En la que w1, . . ., wm A +. Para resumir, diremos que tal lista


es un esquema para S A.
Cada esquema de codificacin da lugar a una funcin de codificacin : S +
A + por concatenacin. La concatenacin de una secuencia de palabras es
simplemente la
palabra obtenida escribindolas en orden, sin espacios de separacin, comas u
otras marcas.

Por ejemplo, si S = {a, b, c}, A = {0,1}, y el esquema es:

Entonces (acbba) = 01111101001.

Dado un esquema de codificacin, podramos definir la funcin de


codificacin correspondiente por induccin sobre la longitud de la
palabra fuente.

Si las palabras que aparecen en un esquema de codificacin son todas de la


misma longitud, se dice que el cdigo es un cdigo de longitud fija o de bloque,
y la longitud comn del wi se dice que es la longitud del cdigo. De lo
contrario, se dice que el cdigo es un cdigo de longitud variable.

Ejercicio 6
Supongamos que S = {a, b, c}, A = {0,1}, y el esquema de codificacin

es a 010

b 0100

c 0010.

Es el cdigo definido por este esquema nicamente decodificable?


Justifica tu respuesta.

R= No, pues A se encuentra contenido en B y en C por lo que esto puede causar


errores al decodificar