接近于人们使用习惯的程序设计语言。可适用于不同的计算机，但计算机不能直接识别和理解高级语言，必须由计算机中的编译程序或解释程序翻译成机器语言后才能直接识别。常用的有algol、basic、cobol、fortran、pascal等语言。

一种翻译程序。能把用高级语言编写的源程序翻译成目标程序。翻译后的目标程序并不一定马上送入计算机中执行。需用多条语句才能对应一句源程序的语句。

把数值赋于变量的语句。在高级语言中都有应用。如basic语言中，其定义符是let。如lets=s+2，意为将右边表达式计算出的结果，赋给左边的变量s。其中“=”是赋值号，不能理解为“等于”。

具有软件功能的硬件。是一种把软件固化在硬件之中的器件。如微型计算机中，把高级语言的编译程序固化在只读存储器中，则此存储器就具有了编译程序的功能。这种存储器就属于固件。

实现重复计算和操作的语句。即解决循环问题的语句。许多高级语言中都有好几种循环语句。一般均设置一个退出或进入循环的条件来控制循环的次数。

在某些高级语言中，用于标志程序结束的语句。如basic语言中的end语句。当计算机执行到end语句时，就显示一个提示符，表示当前运行的程序已结束，可接受新任务了。

一种翻译程序。能将用解释性高级语言(如basic语言)编写的源程序翻译成目标程序。逐句翻译源程序，且可边翻译边执行。

简称“微机系统”。由微型计算机、显示器、输入输出设备、电源及控制面板等组成的计算机系统。配有操作系统、高级语言和多种工具性软件等。