Un código unívocamente descodificable es un tipo de código no-singular si cualquier secuencia finita de signos del alfabeto usado por el código es la imagen de, a lo sumo, un mensaje, es decir, la función de codificación E es una función inyectiva.
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.