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