automatische Übersetzung eines in einer strukturarmen (z. B. maschinennahen) Programmiersprache geschriebenen Programms in ein äquivalentes Programm einer strukturreichen und problemorientierten Programmiersprache (Umkehrung der Arbeit eines Übersetzers).