程序语言，也称为 用于编写计算机程序的形式化语言，是编程人员用来编写计算机程序的工具。通过程序语言编写的程序可以在计算机上运行并执行特定的任务。程序语言是计算机与人类之间进行交流的桥梁，它定义了计算机程序的结构和行为。
程序语言包括不同级别的语言，如机器语言、汇编语言和高级语言。机器语言是以二进制形式编写的，直接由计算机硬件执行；汇编语言通过助记符号代替二进制代码，更易于编写和理解；高级语言则更接近自然语言和数学语言，使程序员能够更高效地编写、理解和维护程序。
总结来说，程序语言是一种用于定义计算机指令执行流程的形式化语言，它包括机器语言、汇编语言和高级语言等不同类型，帮助人类与计算机进行有效沟通。