The problem of modeling the probability distribution formula_1 has been approached in a number of "ways". One approach which lends itself well to computer implementation is to apply Bayes Theorem, that is formula_5, where the translation model formula_6 is the probability that the source string is the translation of the target string, and the language model formula_7 is the probability of seeing that target language string. This decomposition is attractive as it splits the problem into two subproblems. Finding the best translation formula_8 is done by picking up the one that gives the highest probability: