解释什么是程序语言，并描述它们如何被用于编写计算机程序。
程序语言是一种人与计算机交流的语言，它用于编写计算机程序。程序语言通常包括一系列规则和符号，其目的是告诉计算机如何执行特定的操作和任务。程序语言可以被分为高级语言和低级语言。

高级语言通常更易于理解和使用，同时也更容易被维护。常见的高级语言包括Java、Python、C++和JavaScript等。开发人员可以使用这些高级语言编写程序，然后使用编译器将其转换为计算机可以理解和执行的机器语言。

低级语言直接与计算机硬件交互，因此需要更深入的计算机技术和知识。代表低级语言的有汇编语言和机器语言。汇编语言使用符号而非二进制码表示指令，更易于阅读和理解。而机器语言是计算机能够直接执行的二进制指令。

程序语言的使用可以实现各种计算机程序，包括应用程序、操作系统、视频游戏和网站等。