其结果是，在ALGOL的文本设计中第一次使用了巴科斯—诺尔范式（Backus—NaurForm，BNF）来表示语法，并且第一次在语言文本中明确提出应将语法和语义区分开来