Formal schemes for language translations