Kodigo

Sa teorya ng impormasyon at agham pangkompyuter, kinokonsidera ang mga kodigo bilang mga algoritmo na may natatanging simbolo mula sa isang pinagmulang alpabeto papunta sa mga simbolong mula sa target na alpabeto. Halimbawa:

${\displaystyle C=\{\,a\mapsto 0,b\mapsto 01,c\mapsto 011\,\}}$ 

Dito, kodigo ang ${\displaystyle C}$ . Masasabing ${\displaystyle \{a,b,c\}}$  ang pinagmulang alpabeto, na may ${\displaystyle \{0,1\}}$  bilang target na alpabeto. Papalitan ng mga simbolo sa target na alpabeto ang mga katumbas nito sa pinagmulang alpabeto: sa kaso ng ${\displaystyle 0011001}$ , ayon sa kahulugan sa taas, masasalin ito bilang ${\displaystyle acab}$ .

Sa pormal na kahulugan: ${\displaystyle C:S\rightarrow T*}$ , kung saan, ${\displaystyle C}$  ang resultang kodigo, ${\displaystyle S}$  ang pinagmulang alpabeto, at ${\displaystyle T*}$  ang target na alpabeto. Isa itong punsiyon na nagmamapa nang buo sa bawat simbolo ng ${\displaystyle S}$  sa isang string ng mga simbolo ng ${\displaystyle T*}$ .