Simbolički jezik namijenjen rješavanju pojedinih vrsta zadataka, koji je razumljiv čovjeku i njegovoj terminologiji, a može se određenim postupkum prevesti na nivo i oblik koji je podesan za izvršavanje na nekom specifičnom računalu. Poznatiji programski jezici su Basic, Pascal, Fortran, Cobol, ali i njihovi suvremeni sljedbenici Clipper, C i drugi.