sentence1: the use of various synchronous grammar based formalisms has been a trend for statistical machine translation .
sentence2: several recent syntax-based models for machine translation can be seen as instances of the general framework of synchronous grammars and tree transducers .