Že kot pove samo ime, je naloga prevajalnika iz neke izvirne kode, zapisane po pravilih, ki jih določa jezik (naravni ali programski), izdelati pomensko ustrezen prevod. Programski jeziki morajo, za razliko od naravnih, vsem uporabnikom ponujati nedvoumen pomen posameznih stavkov jezika.