言的描述一般可以分为及语义。语法是说明编程语言中，哪些符号或文字的组合方式是正确的，语义则是对于编程的解释。有些语言是用规格文件定义，例如C语言的规格文件也是ISO标准中一部份，2011年后的版本为ISO/IEC 9899:2017，而其他语言（例如Ada或者Perl）有一份文件，视为。
概论.编程语言原本设计是专用于计算机，也用来定义算法或者数据结构。故而程序员试图使程序代码容易阅读。编程语言往往使程序员能够比使用机器语言更准确地表达他们所想表达的目的。对那些从事计算机科学的