符号理論

情報をどのような符号で表せば効率よく、また誤りなく伝送・記録できるかを扱う理論。冗長性を減らしてデータを圧縮する情報源符号化（ハフマン符号など）と、冗長な検査用の情報を加えて誤りを検出・訂正する通信路符号化（パリティ、CRC、ハミング符号、リード・ソロモン符号など）に大別され、C.シャノンの情報理論を基礎とする。

情報を効率よく、また誤りなく伝えるための符号化の方法を研究する理論。データを短く表すハフマン符号などの情報源符号化と、伝送中の誤りを検出・訂正するパリティ、ハミング符号、CRCなどの通信路符号化を扱う。

圧縮したデータを伸張したとき、圧縮前のデータを完全に元どおりに復元できる圧縮方式。ランレングス、ハフマン符号、LZ方式などの手法があり、ZIP、PNG、FLACなどの形式で使われる。1ビットの違いも許されないプログラムや文書データに用いるが、非可逆圧縮ほど高い圧縮率は得られない。