雑音のある通信路モデル

雑音のある通信路モデル（ざつおんのあるつうしんろモデル、）は、スペルチェッカ、質問応答システム 、音声認識、機械翻訳に使用されるフレームワークである。このモデルでは、何らかの形で文字が乱されている単語から、意図した単語が何であるかを見つけることが目的である。
定義.
アルファベット formula_1 が与えられたとき、formula_2 を formula_1 による全ての有限文字列の集合とし、有効な単語からなる辞書 formula_4 を formula_2 の部分集合（すなわち formula_6 ）とする。
雑音のある通信路は行列
である。ここで、formula_8 は意図した単語、formula_9 は実際に受信された乱された単語である。
例.
英語のアルファベット formula_10 を考える。いくつかの部分集合 formula_6 は、有効な英語の単語の辞書を構成する。
入力中に、以下のような間違いが発生する可能性がある。
雑音のある通信路行列 formula_12 を構築するには、与えられた意図した単語（全ての formula_8 と formula_9 についての formula_15）について、それぞれの間違いの確率を考慮する必要がある。これらの確率は、formula_16 と formula_17 の間のレーベンシュタイン距離を考慮して、あるいは、エッセイの草稿と手作業で綴りを編集したものとを比較することによって、集めることができる。
誤り訂正.
雑音のある通信路モデルの目標は、受信した乱された単語から、意図した単語を見つけることである。決定関数 formula_18 は、乱された単語を与えると、目的の単語を返す関数である。
決定関数を構成する方法には、最尤推定法、最大事後法、がある。
乱された単語をそのまま意図した単語として受け入れる方が、辞書内の目的の単語を見つけようとするよりも良い場合もある。 たとえば、schönfinkeling（curryingの別名）という単語は辞書にないかもしれないが、実際には意図された単語かもしれない。