編程語(yǔ)言（programming language），是用來(lái)定義計(jì)算機(jī)程序的形式語(yǔ)言。它是一種被標(biāo)準(zhǔn)化的交流技巧，用來(lái)向計(jì)算機(jī)發(fā)出指令。一種計(jì)算機(jī)語(yǔ)言讓程序員能夠準(zhǔn)確地定義計(jì)算機(jī)所需要使用的數(shù)據(jù)，并精確地定義在不同情況下所應(yīng)當(dāng)采取的行動(dòng)。最早的編程語(yǔ)言是在電腦發(fā)明之后產(chǎn)生的，當(dāng)時(shí)是用來(lái)控制提花織布機(jī)及自動(dòng)演奏鋼琴的動(dòng)作。在電腦領(lǐng)域已發(fā)明了上千不同的編程語(yǔ)言，而且每年仍有新的編程語(yǔ)言誕生。很多編程語(yǔ)言需要用指令方式說(shuō)明計(jì)算的程序，而有些編程語(yǔ)言則屬于聲明式編程，說(shuō)明需要的結(jié)果，而不說(shuō)明如何計(jì)算。編程語(yǔ)言的描述一般可以分為語(yǔ)法及語(yǔ)義。語(yǔ)法是說(shuō)明編程語(yǔ)言中，哪些符號(hào)或文字的組合方式是正確的，語(yǔ)義則是對(duì)于編程的解釋。有些語(yǔ)言是用規(guī)格文件定義，例如C語(yǔ)言的規(guī)格文件也是ISO標(biāo)準(zhǔn)中一部份，2011年后的版本為ISO/IEC 9899:2011，而其他語(yǔ)言（像Perl）有一份主要的編程語(yǔ)言實(shí)現(xiàn)文件，視為是參考實(shí)現(xiàn)。編程語(yǔ)言俗稱“計(jì)算機(jī)語(yǔ)言”，種類非常的多，總的來(lái)說(shuō)可以分成機(jī)器語(yǔ)言、匯編語(yǔ)言、高級(jí)語(yǔ)言三大類。電腦每做的一次動(dòng)作，一個(gè)步驟，都是按照已經(jīng)用計(jì)算機(jī)語(yǔ)言編好的程序來(lái)執(zhí)行的，程序是計(jì)算機(jī)要執(zhí)行的指令的集合，而程序全部都是用我們所掌握的語(yǔ)言來(lái)編寫的。所以人們要控制計(jì)算機(jī)一定要通過(guò)計(jì)算機(jī)語(yǔ)言向計(jì)算機(jī)發(fā)出命令。 目前通用的編程語(yǔ)言有兩種形式：匯編語(yǔ)言和高級(jí)語(yǔ)言。