What Can a Translation Machine Do in Translating Abbreviations in Source Language Text into Target Language Text?