算法语言L的设计与形式规范

THE DESIGN AND FORMALSPECIFICATION OF ALGORITHM LANGUAGE L

本文通过分析ＰＡＳＣＡＬ语言作为算法设计语言而存在的主要缺陷，借鉴Ｄ．Ｗａｔｔ的面之设计原则，而定义了一个小型的算法语言Ｌ。文中详细给出了它的具体文法、抽象文法和静态语义。通过Ｌ的设计和描述，对算法语言设计与规范的有关问题进行了有益的探索。

On the basis of analyzing the main drawbacks of PASCAL when used as analgorithm language, and by adopting the design principles of b language, an algorithmlanguage L is defined in this paper. Its concrete grammar, abstract grammar and staticsemantics are presented in detail.