Azoknak a jeleknek, szimbólumoknak, utasításoknak a rendszere, amelynek segítségével az ember kapkapcsolatot teremthet a számítógéppel. A digitális számítógépeket kezdetben gépi nyelven programozták. Gépre orientált szimbolikus programozási nyelv az asszemblernyelv. Lényegesen megkönnyíti a programozó munkáját a magasszintű nyelvek használata (ALGOL, FORTRAN). A speciális felhasználók feladataikat a feladat jellegéhez és az elvégzendő számításokhoz jól illeszkedő feladatra vagy eljárásra orientált programnyelven írhatják. Pl. szerszámgépek számjegyes vezérlésére kidolgozott nyelvek (APT, EXAPT), automatizált rendszerek irányítására kidolgozott folyamatirányító nyelvek, digitális berendezések vizsgálatára kidolgozott szimulációs nyelvek stb.
Lásd még: