Бағдарламалау тілдері

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