Teoremele lui Shannon pentru o sursă generală descriu posibilitățile de codificare a unei surse generale folosind coduri separabile. Cu alte cuvinte, sunt descrise capabilitățile maxime de codare fără pierderi realizabile.
După cum se aplică codării literă cu literă, teorema directă poate fi formulată după cum urmează:
Există un prefix , adică un cod separabil , pentru care lungimea medie a mesajului diferă de entropia normalizată cu cel mult unu :
Unde:
Ca o dovadă a teoremei, sunt investigate caracteristicile codului Shannon-Fano . Acest cod îndeplinește condițiile teoremei și are proprietățile indicate.
Teorema inversă limitează raportul de compresie maxim care poate fi realizat cu codare fără pierderi. Așa cum este aplicat codificării literă cu literă, descrie o constrângere privind lungimea medie a cuvântului de cod pentru orice cod separabil.
Pentru orice cod separabil cu lungimi , lungimea medie a mesajului este mai mare sau egală cu entropia sursei , normalizată la logaritmul binar al numărului de litere din alfabetul codificatorului: