Algorithmic Translations