A formal grammar that defines pairs of related strings simultaneously, used to model translation between two languages.