Principalele tipuri de compilatoare computerizate sunt compilatoarele cu o singură trecere, compilatoarele multi-pass, compilatoarele încrucișate și optimizarea compilatoarelor. Un compilator ia un limbaj de calculator, numit un cod sursă, și îl convertește în limba țintă . Acesta permite unui computer să poată citi diferite coduri sursă. Un compilator face ca software-ul să fie mai rapid și să utilizeze mai puțină memorie.
Compilatorii sunt considerați ca tipuri specifice de traducători de calculator. Ei traduc codurile sursă de la un limbaj de nivel înalt într-un limbaj de nivel inferior, cum ar fi codurile mașinilor și codul de asamblare.
Un compilator încrucișat este unul care poate rula pe un sistem de operare al unui computer care este diferit de sistemul de operare utilizat de obicei de program. Îl descompune codurile binare, le înțelege și le permite programatorilor să aibă acces la coduri.
Un compilator este un program de calculator scrise în limba de implementare. Primul compilator capabil să-și compileze propriul cod sursă a fost dezvoltat în 1962. În anii 1990, au fost dezvoltate masiv compilatoare gratuite și instrumente de dezvoltare compilator. Compilatoarele moderne sunt de înaltă calitate și sunt scrise în mai multe tipuri de limbi. Un program de compilatoare care traduce un program de nivel scăzut într-un nivel superior este denumit decompiler.