A prefix-free code is a code in which no codeword is a proper prefix of another codeword. Consequently,
a concatenation of codewords
can be decoded from left to right without a separator or lookahead. If the codeword
lengths are ,
they satisfy the Kraft inequality
for a binary code, and every sequence of positive integer lengths satisfying this inequality is realized by a binary prefix-free code.