За допомогою розширення коду, рядок з кодом 0011001011 може бути розбитий на кодові слова, як 0011 0 01 011, а ті, у свою чергу, можуть бути розшифровані як послідовність початкових символів acabc. За допомогою термінів з формальної теорії мови, точне математичне визначення цього поняття полягає у наступному: Нехай S і T дві скінченні множини є вихідною та цільовою абетками відповідно. Код є загальна функція, що відображає кожний символ з S у послідовності символів з Т, і розширення на гомоморфізм в , що, природно відображає кожну послідовність вихідних символів у послідовності цільових символів і є його розширенням. Коди змінної довжини