Código unívocamente descodificable

Código cuya extensión es no-singular. Sea A un alfabeto fuente y B un alfabeto código. Se llama función codificadora a cualquier función. f: A+ -> B+. El código correspondiente es Unívocamente Decodificable (UD) si f es inyectiva. Hace parte del área de la matemática discreta y los algoritmos computacionales.

Una forma de calcular la mejor longitud media es mediante la Inecuación de Kraft. La idea básica es asignar longitudes mayores a las palabras con menor probabilidad.

Para aclarar todo esto, debemos ir por pasos:

1. Un código es una asignación de palabras código ${\displaystyle w_{i}}$, a una fuente de información ya sea de memoria nula o con memoria (fuente de Markov). Estas palabras código ${\displaystyle w_{i}}$, no son más que combinaciones de símbolos de un alfabeto ${\displaystyle T}$. Por ejemplo: si tenemos la siguiente fuente de memoria nula. ${\displaystyle S=\{s_{1},s_{2},s_{3}\}}$ y tenemos el siguiente alfabeto ${\displaystyle T=\{0,1\}}$, podemos asignar el siguiente código a ${\displaystyle S}$, ${\displaystyle C=\{0,10,11\}}$. Cuyo código es U.D.
2. Pero que quiere decir, con exactitud código Unívocamente Decodificable. Significa que cualquier codificación que se realice con ese código no debe ser ambigua es decir, un posible mensaje de la fuente ${\displaystyle 0100\dots 11}$ o cualquier otro, tenga una y solo una interpretación ${\displaystyle s_{1}s_{2}s_{1}\dots s_{3}}$, es decir carezca de ambigüedad.
3. En efecto el Teorema de Patterson-Sardinas nos ayudan a verificar si un código es U.D. o no, pero aquí debemos notar que para demostrar que un código no es unívocamente decodificable, bastaría con encontrar una cadena que sea ambigua.