チェックディジット
例えば、利用者識別番号などをコンピュータにタッチタイピングするとき、入力ミスはよくある。チェックディジットは、符号(コード)が正しいものであるかどうかを検査するために符号に付加される数字である。これによって符号の冗長性を増し、誤りが発見できるようになる。また公的な証明書の識別番号はチェックディジットの計算式を非公表とすることで、偽造されたものをチェックディジットによって発見することができる。
n {\displaystyle n} 桁の符号に1桁のチェックディジットを付け加えることは、 n + 1 {\displaystyle n+1} 桁の符号を飛び飛びに使用することに他ならない。つまり、符号を、連番でなく約10個に1個の割合で使用することになる。
一般には、元の符号も検査桁も数字に限らない。検査桁が文字である場合、検査文字 (check character) という。
冗長な文字をさらに冗長構成とすることによって、誤りを検出するだけでなく、訂正もできるようになる(この場合は誤り訂正符号という)。