Präfix-Codes

Ein Code c ist ein Präfix-Code,
wenn es keine Zeichen x $\neq$ y gibt
mit: c(x) ist Anfangswort von c(y).

Satz: Jeder Präfix-Code ist umkehrbar.

Beispiele:

• A$\to$00, B$\to$01, C$\to$10, D$\to$11 ist ein Präfix-Code.
• A$\to$0, B$\to$10, C$\to$110, D$\to$111 ist ein Präfix-Code.
• A$\to$00, B$\to$0011, C$\to$10, D$\to$01 ist kein Präfix-Code, aber umkehrbar!