编写计算机程序所用的语言。有各种用途的语言，如用于数值计算的语言ALGOL、FORTRAN等；用于商业数据处理的语言COBOL；便于人-机对话的语言BASIC；适合教学的语言PASCAL；适合系统程序设计的语言C；面向人工智能的语言LISP等。这些程序设计语言各有一套基本的符号和符号组合规则。