Ohjelmointikielet ovat formaaleja kieliä, joita ohjelmoijat käyttävät tietokoneen ohjelmointiin algoritmin toteuttamiseksi. Ohjelmointikielellä tehdystä lähdekoodista tuotetaan tietokoneen ymmärtämää konekielistä binääriä kääntäjällä tai tulkilla.[1] Tietokoneen ymmärtämä binääri voidaan tehdä välikielen kautta.