== Предварительные определения ==
{{Определение
|definition=
Пусть заданы два произвольных конечных множества, которые называются, соответственно, '''кодируемым алфавитом '''(англ. ''encoded alphabet'') и '''кодирующим алфавитом '''(англ. ''encoding alphabet''). Их элементы называются '''символами''', а строки (последовательности конечной длины) символов — '''словами'''. Длина слова — это число символов, из которого оно состоит.}}
В качестве кодирующего алфавита часто рассматривается множество <tex>\{0, 1\}</tex> — так называемый двоичный или бинарный алфавит (англ. ''binary alphabet'').
{{Определение
|definition=
'''Кодом '''(англ. ''code'') для алфавита <tex>A</tex> называется функция <tex>C</tex>, которая для каждого символа <tex>x</tex> из <tex>A</tex> указывает слово <tex>C(x)</tex>, кодирующее этот символ.}}
== Неравенство Крафта ==
{{Теорема
|statement=
