Ponieważ z własności entropii alfabetu wynika, że: |
Nierówność Krafta |
H&) ^ log, ty |
maksymalna entropia alfabetu (3.13)
zatem z (3.10) wynika: (3.14)
H(A') < L logicy | |
Ponieważ średnia długość: |
N i-= I pOiKi i-i |
więc: (3.15) |
H[X) < 2 Pt*i)logaQŁ' 1=1 |
można pokazać, że warunkiem spełnienia nierówności (3.15) jest (3.16)
/2
I q'Li Z i
i=l
Nierówność (3.16) nosi nazwę nierówności Krafta. Można dowieść, że na to, by kod o długości wyrazów Li mógł być kodem dekodowalnym bez opóźnienia jest by spełniona była nierówność Krafta. gdzie q jest liczbą elementów alfabetu kodu.