Every bidirectional alignment with finite objective score must align exactly one word in e to each word in f, encoding a permutation a.
first, a directional alignment is found from each word in e to a word f .