In order to slove the definition problem of algorithm specification, this dissertation proposes SNL Language which is based on natural language, elementary mathsmatic formula, simple quantifier and abstract data type, defines the grammer of SNL language.

• 针对算法规约的描述问题，本文提出了一种以自然语言为基础、辅助于初等数学公式、基本量词运算和抽象数据类型的SNL语言，并定义了SNL语言的语法结构。