166
правок
Изменения
Нет описания правки
{{Теорема
|statement=
Для любого префиксного кода <tex>C(X)</tex> отображающего произвольный алфавит <tex>A_x</tex> на двоичный алфавит <tex> \{0,1\} </tex> , длины кодовых слов должны удовлетворять неравенству:
<center><tex> \sum\limits_{i = 1}^{I} 2^{-l_i} \le 1 , </tex></center>
== Следствие ==
Можно обобщить неравенство Крафта для случаев, когда кодирующим алфавитом является <tex>r</tex> k - ичный. В доказательстве изменятся некоторые пункты:*отрезок <tex>[0;1]</tex> придется делить не на <tex>2</tex>, а на <tex>rk</tex> равных частей;*соответственно неравенство примет вид: <tex>\sum\limits_{i = 1}^{I} rk^{-l_i} \le 1 </tex>.