Furthermore, due the Viterbi approximation used in most speech processing applications, the weight associated to a string § by a weighted automaton representing the model is the minimum weight of a path labeled with § .
an ¢ -gram language model is represented by a WFA over the tropical semiring.