编程语言是在机器（计算机）上实现的用于声明算法和数据结构的文档。术语编程语言由两个不同的词组成，即编程和语言。这两个词的定义如下 -
编程- 当要确定特定程序时，必须设计计算机执行的语句或指令。为计算机编写指令以确定特定任务的艺术称为编程。
语言- 语言被定义为可以从给定字母表（一组由 Σ 表示的输入符号。数学上，语言 L 定义为）的所有可能的字符串、单词或句子的集合
$$\mathrm{L \:\subseteq\:\sum{*}}$$
其中 $\sum{*}$=从给定字母表 $\sum$派生的可能字符串的集合。例如，考虑一种机器语言，其中 $\sum$={0,1}
因此，$\sum{*}$={∧,0,1,00,01,10,11,....}
清楚地，
$$\mathrm{L \:\subseteq\:\sum{*}.}$$
编程语言- 编程语言是一种计算机语言，程序员（开发人员）可以使用它来与计算机连接。它是用任何特定语言（C、C++、Java 和 Python）编写的一组指令，用于实现确定的任务。编程语言可以创建桌面应用程序、网站和移动应用程序。
第一种编程语言预测设备。从一开始，语言就是代码。在 1842 年至 1843 年的九个月中，艾达·洛夫莱斯详细说明了使用查尔斯·巴贝奇的分析机计算伯努利数的方法。
几年后，Herman Hollerith 意识到它可以对穿孔卡片上的信息进行编码。它可以通过对打孔卡上的1890年人口普查信息进行编码。第一个计算机代码专门用于操作。在 20 世纪的头十年，数学评估依赖于十进制数。
在 1940 年代，第一台肯定是现代的、自动化的计算机诞生了。一定的速度和内存空间迫使开发人员创建手动调整的汇编语言程序。1948 年，Konrad Zuse 发表了一篇关于其编程语言 Plankalkul 的论文。
在 1950 年代，创建了前三种现代编程语言，其后代至今仍在广泛使用。
FORTRAN，公式翻译器，由 John W.Backusetal 创建。
LISP，由 John McCarthy 等人发明的 LIST 处理器。
COBOL，Common Business Oriented Language，由短期委员会建立，深受Grace Hopper影响。
在 1950 年代和 1960 年代开发的其他一些编程语言包括区域汇编语言、ALGOL58、APL、Simula、BASIC 和 PL/I。从 1960 年代末到 1970 年代末的这段时间里，编程语言迎来了重大的开花期。在本课程中开发的一些重要语言涉及 simula、small talk、Pascal、Forth、C、Prolog.ML 和 SQL。