诞生。很多编程语言需要用指令方式说明计算的程序，而有些编程语言则属于，说明需要的结果，而不说明如何计算。编程语言的描述一般可以分为及语义。语法是说明编程语言中，哪些符号或文字的组合方式是正确的，语义则是对于编程的解释。有些语言是用规格文件定义，例如C语言的规格文件也是ISO标准中一部份，2011年后的版本为ISO/IEC 9899:2017，而其他语言（例如Ada或者Perl）有一份文件，视为。
概论.编程语言原本设计是专用于计算机，也用来定义算法或者数据结构。故而程序员试图使