A Formal Model of Ambiguity and its Applications in Machine Translation Chris Dyer Published August 1, 2010