程序設(shè)計語言(programminglanguage)是用于編寫計算機程序的語言。語言的基礎(chǔ)是一組記號和一組規(guī)則。根據(jù)規(guī)則由記號構(gòu)成的記號串的總體就是語言。在程序設(shè)計語言中，這些記號串就是程序。程序設(shè)計語言包含三個方面，即語法、語義和語用。語法表示程序的結(jié)構(gòu)或形式，亦即表示構(gòu)成程序的各個記號之間的組合規(guī)則，但不涉及這些記號的特定含義，也不涉及使用者。語義表示程序的含義，亦即表示按照各種方法所表示的各個記號的特定含義，但也不涉及使用著，語用表示程序與使用的關(guān)系。程序設(shè)計語言的基本成分有：①數(shù)據(jù)成分，用于描述程序所涉及的數(shù)據(jù)；②運算成分，用以描述程序中所包含的運算；③控制成分，用以描述程序中所包含的控制；④傳輸成分，用以表達程序中數(shù)據(jù)的傳輸。程序設(shè)計語言按照語言級別可以分為低級語言和高級語言。低級語言有機器語言和匯編語言。低級語言與特定的機器有關(guān)、功效高，但使用復雜、繁瑣、費時、易出差錯。機器語言是表示成數(shù)碼形式的機器基本指令集，或者是操作碼經(jīng)過符號化的基本指令集。匯編語言是機器語言中地址部分符號化的結(jié)果，或進一步包括宏構(gòu)造。高級語言的表示方法要比低級語言更接近于待解問題的表示方法，其特點是在一定程度上與具體機器無關(guān)，易學、易用、易維護。程序設(shè)計語言按照用戶的要求有過程式語言和非過程式語言之分。過程式語言的主要特征是，用戶可以指明一列可順序執(zhí)行的運算，以表示相應(yīng)的計算過程，如fortran、cobol、pascal等。按照應(yīng)用范圍，有通用語言與專用語言之分。如fortran、colbal、pascal、c等都是通用語言。目標單一的語言稱為專用語言，如apt等。按照使用方式，有交互式語言和非交互式語言之分。具有反映人機交互作用的語言成分的語言成為交互式語言，如basic等。不反映人機交互作用的語言稱為非交互式語言，如fortran、cobol、algol69、pascal、c等都是非交互式語言。按照成分性質(zhì)，有順序語言、并發(fā)語言和分布語言之分。只含順序成分的語言稱為順序語言，如fortran、c等。含有并發(fā)成分的語言稱為并發(fā)語言，如pascal、modula和ada等。程序設(shè)計語言是軟件的重要方面，其發(fā)展趨勢是模塊化、簡明化、形式化、并行化和可視化。