Lógica - Translatores, Translatores de Nivel