また構文の形式的定義を真剣に検討した最初のプログラミング言語でもあり、"Algol60Report"で導入されたバッカス・ナウア記法は、その後のコンピュータ言語等の構文の形式的定義を示す手法として（プログラミング言語だけに限られず）定番の記法となっている。
它是第一个利用词法作用域实作巢状函式的语言，也是第一个注重形式语言定义的语言，并在ALGOL60报告中引入了巴科斯范式来作为设计语言形式文法的原则。