程序语言是用来定义计算机指令执行流程的形式化语言。每种程序语言都包含一整套词汇和语法规范。这些规范通常包括<a href="./?mention=数据类型">数据类型</a>和<a href="./?mention=数据结构">数据结构</a>、指令类型和指令控制、调用机制和<a href="./?mention=库函数">库函数</a>以及不成文的规定(如递进书写、变量命名等)。<br/>大多数程序语言都能够组合出复杂的数据结构(如<a href="./?mention=链表">链表</a>、<a href="./?mention=堆栈">堆栈</a>、<a href="./?mention=树">树</a>、文件等)。面向对象的程序语言还允许程序员定义新的数据结构(如“对象”)。