程序语言是用来 定义计算机指令执行流程的形式化语言。它包含一整套词汇和语法规范，这些规范通常包括数据类型和数据结构、指令类型和指令控制、调用机制和库函数以及不成文的规定（如递进书写、变量命名等）。程序语言的基本组成包括数据成分、运算成分、控制成分和库成分。
程序语言通过语法和语义来描述计算机程序。语法是说明编程语言中哪些符号或文字的组合方式是正确的，而语义则是对编程的解释。有些编程语言用规格文件定义，例如C语言的规格文件也是ISO标准的一部分，而其他语言（如Perl）则有一份主要的编程语言实现文件，视为参考实现。
程序语言是人与计算机进行交流的工具，通过特定的语法和规则来指示计算机执行任务。编程语言提供了一种通用的工具集，可以通过各种方式组合使用，以实现不同规模和复杂度的计算任务。它不仅仅是一种写代码的方式，更是一种思考问题和解决问题的方式。
综上所述，程序语言是一种用于定义计算机程序的形式化语言，它通过一套标准的词汇和语法规范来描述计算机指令的执行流程，是程序员与计算机之间沟通的桥梁。