Cтраница 3
Префиксный код является дешифруемым. Действительно, любое слово, состоящее из написанных подряд слов кода, можно однозначно разложить на исходные. Оказывается, что длины слов любого дешифруемого множества удовлетворяют тому же неравенству Крафта. [31]
Префиксный код называется полным, если добавление к нему любого нового кодового набора нарушает свойство префиксности. Тогда очевидно, что любая попытка закодировать еще хоть одну букву привела бы к нарушению свойства префиксности. Для полных префиксных кодов и только для них неравенство Крафта превращается в равенство. [32]