发送短信 : Transformations and their use in the resolution of syntactic homomorphy :