計(jì)算機(jī)要處理高級(jí)語(yǔ)言，就必須使其形式化。20世紀(jì)50年代，美國(guó)語(yǔ)言學(xué)家喬姆斯基（Noam Chomsky）關(guān)于語(yǔ)言分層的理論，以及巴科斯（John Backus）、諾爾（Peter Naur）關(guān)于“上下文無(wú)關(guān)方法表示形式”的研究成果推動(dòng)了語(yǔ)法形式化的研究。其結(jié)果是，在ALGOL60的文本設(shè)計(jì)中第一次使用了巴科斯—諾爾范式（Backus—Naur Form，BNF）來(lái)表示語(yǔ)法，并且第一次在語(yǔ)言文本中明確提出應(yīng)將語(yǔ)法和語(yǔ)義區(qū)分開(kāi)來(lái)。巴科斯因發(fā)明BNF與世界第一個(gè)高級(jí)語(yǔ)言（）而于1977年獲圖靈獎(jiǎng)。諾爾因改進(jìn)巴科斯的描述法，并用于描述整個(gè)ALGOL語(yǔ)言，受到業(yè)界的高度評(píng)價(jià)并于2005年獲圖靈獎(jiǎng)。