Překladač, který analyzuje výstup (Jazyk symbolických nebo strojový kód) vyrábět efektivnější sekvence instrukcí (menší nebo rychlejší).