程序设计语言(Programming Language)是用于编写计算机程序的语言。语言的基础是一组记号和一组规则。根据规则由记号构成的记号串的总体就是语言。在程序设计语言中，这些记号串就是程序。程序设计语言包含三个方面，即语法、语义和语用。语法表示程序的结构或形式，亦即表示构成程序的各个记号之间的组合规则，但不涉及这些记号的特定含义，也不涉及使用者。语义表示程序的含义，亦即表示按照各种方法所表示的各个记号的特定含义，但也不涉及使用着，语用表示程序与使用的关系。

程序设计语言的基本成分有：①数据成分，用于描述程序所涉及的数据；②运算成分，用以描述程序中所包含的运算；③控制成分，用以描述程序中所包含的控制；④传输成分，用以表达程序中数据的传输。

程序设计语言按照语言级别可以分为低级语言和高级语言。低级语言有机器语言和汇编语言。低级语言与特定的机器有关、功效高，但使用复杂、繁琐、费时、易出差错。机器语言是表示成数码形式的机器基本指令集，或者是操作码经过符号化的基本指令集。汇编语言是机器语言中地址部分符号化的结果，或进一步包括宏构造。高级语言的表示方法要比低级语言更接近于待解问题的表示方法，其特点是在一定程度上与具体机器无关，易学、易用、易维护。

程序设计语言按照用户的要求有过程式语言和非过程式语言之分。过程式语言的主要特征是，用户可以指明一列可顺序执行的运算，以表示相应的计算过程，如FORTRAN、COBOL、PASCAL等。

按照应用范围，有通用语言与专用语言之分。如FORTRAN、COLBAL、PASCAL、C等都是通用语言。目标单一的语言称为专用语言，如APT等。

按照使用方式，有交互式语言和非交互式语言之分。具有反映人机交互作用的语言成分的语言成为交互式语言，如BASIC等。不反映人机交互作用的语言称为非交互式语言，如FORTRAN、COBOL、ALGOL69、PASCAL、C等都是非交互式语言。

按照成分性质，有顺序语言、并发语言和分布语言之分。只含顺序成分的语言称为顺序语言，如FORTRAN、C等。含有并发成分的语言称为并发语言，如PASCAL、Modula和Ada等。

程序设计语言是软件的重要方面，其发展趋势是模块化、简明化、形式化、并行化和可视化。