は翻訳モデル, は言語モデルと呼ぶ.また, を探 索する翻訳システムをデコーダと呼ぶ.式は,ベイズの法則に より,式に展開される.これは,2言語間のモデル を正確に推定することが困難なためである.そのため,一般に,高い信頼性を持 つことが知られている言語モデルを翻訳モデルと併用し,翻訳の精度を高めている.