Ohjelmointikielet ovat
formaaleja kieliä, joita ohjelmoijat käyttävät
tietokoneen ohjelmointiin. Kullekin ohjelmointikielelle on olemassa joko
kääntäjä, joka ennen ohjelman suoritusta muuntaa kirjoitetun ohjelman
konekielelle tai jollekin
välikielelle, tai
tulkki, joka on ohjelmointikieltä ohjelman suorituksen aikana tulkitseva ohjelma. Nykyisin tulkin ja kääntäjän raja ei ole enää niin selkeä kuin esimerkiksi vielä 1980-luvulla.