一意に復号可能

[1] 一意に復号可能な符号化: 統計的な性質等に拠らずとも単射条件

任意の情報源記号 a, b について、 a ≠ b ⇒ f (a) ≠ f (b)

... を満たす符号化を、一意に復号可能であるといいます。

[2] 符号化系列の始めと終わりがが分かるとすれば、一区切りの符号化系列に対して対応する元の系列が一意に定まります。

[3] 一意に復号可能な符号: C を符号とする時、

(∀a_i (1 ≦ i ≦ n) ∊ C) (∀b_j (1 ≦ j ≦ m) ∊ C) (a₁a₂・・・a_n = b₁b₂・・・b_m ⇒ n = m ∧ a_i = b_i (1 ≦ i ≦ n))

... ならば、 C は一意に復号可能であるといいます。

f (A_S → A_C⁺) が一意に復号可能な符号化 ⇔ (∀a, b ∊ A_S (a ≠ b))(f (a) ≠ f (b)) ∧ (f によって定義される符号が一意に復号可能)