用来编写程序的语言称程序设计语言。在这个意义下，机器语言是一种程序设计语言。但由于机器语言程序与具体的机器紧密相关，对于程序编制人员来说比较难学、难写、容易出错，还难以对自己所编程序进行检查和改错，因此，直接使用机器语言编制程序不仅不利于提高程序编制人员的工作效率，而且也难于为广大用户所掌握，从而大大地限制了计算机的推广应用。

 

为适应各个应用领域对使用计算机日益增长的迫切需要，必须设法简化程序的编制方法，使程序编制人员从与机器有关的具体细节中摆脱出来，使各应用领域中的广大工作人员能比较容易地掌握使用计算机。一种解决办法是设计采用符号表示法的程序设计语言。最简单的是汇编语言，其中各个汇编指令基本上保持与机器语言指令一一对应，仅仅是机器语言的指令用符号来表示；更进一步是采用接近于日常用语与数学习惯的符号表示法来设计高级程序设计语言，例如BASIC（初学者通用符号指令码语言）、FORTRAN（公式翻译语言）与ALGOL60（算法语言）等，由子这些语言采用的符号表示法接近日常用语与数学习惯，基本上与机器无关，比较容易理解、掌握与使用，它们至今还为人们广泛而频繁地使用着。