Formaaleja kieliä, joita ohjelmoijat käyttävät ohjelmointiin.
ohjalmointikielell' tehdystä lähdekoodista tuotetaan tietokoneen ymmärtämää konekieltä. Koneen ymmärtämää binääriä voidaan tehdä välikielen kautta.