程序设计语言(programming
language)是用于编写
计算机程序的语言。语言的基础是一组记号和一组规则。根据规则由记号构成的记号串的总体就是语言。在程序设计语言中，这些记号串就是程序。程序设计语言包含三个方面，即语法、语义和语用。语法表示程序的结构或形式，亦即表示构成程序的各个记号之间的组合规则，但不涉及这些记号的特定含义，也不涉及使用者。语义表示程序的含义，亦即表示按照各种方法所表示的各个记号的特定含义，但也不涉及使用着，语用表示程序与使用的关系。
程序设计语言的基本成分有：①数据成分，用于描述程序所涉及的数据；②运算成分，用以描述程序中所包含的运算；③控制成分，用以描述程序中所包含的控制；④传输成分，用以表达程序中数据的传输。
程序设计语言按照语言级别可以分为
低级语言和高级语言。低级语言有
机器语言和汇编语言。低级语言与特定的机器有关、功效高，但使用复杂、繁琐、费时、易出差错。机器语言是表示成数码形式的机器基本
指令集，或者是操作码经过符号化的基本指令集。汇编语言是机器语言中地址部分符号化的结果，或进一步包括宏构造。高级语言的表示方法要比低级语言更接近于待解问题的表示方法，其特点是在一定程度上与具体机器无关，易学、易用、易维护。
程序设计语言按照用户的要求有过程式语言和非过程式语言之分。过程式语言的主要特征是，用户可以指明一列可顺序执行的运算，以表示相应的计算过程，如fortran、cobol、pascal等。
按照应用范围，有通用语言与专用语言之分。如fortran、colbal、pascal、c等都是通用语言。目标单一的语言称为专用语言，如apt等。
按照使用方式，有交互式语言和非交互式语言之分。具有反映人机交互作用的语言成分的语言成为交互式语言，如basic等。不反映人机交互作用的语言称为非交互式语言，如fortran、cobol、algol69、pascal、c等都是非交互式语言。
按照成分性质，有顺序语言、并发语言和分布语言之分。只含顺序成分的语言称为顺序语言，如fortran、c等。含有并发成分的语言称为并发语言，如pascal、modula和ada等。
程序设计语言是软件的重要方面，其发展趋势是模块化、简明化、形式化、并行化和可视化。
本回答被网友采纳