Symbol code summary unique decodeability prefix codes and binary trees whenever a code achieved L=H, it had optimal symbol codes Huffman algorithm