Implementation of general formal translators