クラフトの不等式
クラフトの不等式について述べる為に、まず記号と用語を導入する。
集合Sに対し、Sの元を有限個並べてできる文字列全体の集合 ∐ i = 1 ∞ S i {\displaystyle \coprod _{i=1}^{\infty }S^{i}} を S ∗ {\displaystyle S^{*}} と書く。
S = { s 1 , s 2 , ... , s n } {\displaystyle S=\{\,s_{1},s_{2},\ldots ,s_{n}\,\}\,} 及び T = { t 1 , t 2 , ... , t r } {\displaystyle T=\{\,t_{1},t_{2},\ldots ,t_{r}\,\}\,} を二組のアルファベットとする。
本稿では、「符号」や「符号化関数」といった言葉は、1文字ずつ符号化する符号だけに用いるものとする。