编程语言

编程语言（英语：programming language），是用来定义计算机程序的形式语言（形式语言：在数学、逻辑和计算机科学中，形式语言是用精确的数学或机器可处理的公式定义的语言）。它是一种被标准化的交流技巧，用来向计算机发出指令，一种能够让程序员准确地定义计算机所需要使用数据的计算机语言，并精确地定义在不同情况下所应当采取的行动。 最早的编程语言是在电脑发明之前产生的，当时是用来控制提花织布机及自动演奏钢琴的动作[1]。在电脑领域已发明了上千不同的编程语言，而且每年仍有新的编程语言诞生。很多编程语言需要用指令方式说明计算的程序，而有些编程语言则属于宣告式编程，说明需要的结果，而不说明如何计算。 编程语言的描述一般可以分为语法及语义。语法是说明编程语言中，哪些符号或文字的组合方式是正确的，语义则是对于编程的解释[2]。有些语言是用规格文件定义，例如C语言的规格文件也是ISO标准中一部分，2011年后的版本为ISO/IEC 9899:2017，而其他语言（例如Ada或者Perl）有一份编程语言实现文件，视为参考实现。