Компьютерге түсінікті командалар тізбегі арқылы жазылған алгоритм – программа деп, ал программа құру процесі программалау деп аталады. Программа компьютерде деректерге әрекет орындау үшін берілген командалар тізбегі болыптабылады. Программалау тілдері – бұл адамның компьютермен қарым-қатынасы үшін арнайы пайда болған формальді тілдер. Программалау тілдерінің де "жаратылыс тілдері" (орыс, ағылшын тілі т.с.с.) сияқты өзінің алфавиті, сөздік қоры, грамматикасы және синтаксисі, сонымен қатар семантикасы болады.