Formalmente una codificación es una aplicación formula_6 del conjunto de "palabras" en el conjunto de secuencias finitas de "letras" del alfabeto.