符号处理语言及公式处理系统

<正> Ⅰ引言 随着计算机科学理论与应用的发展,六十年代和七十年代以来出现了许多非数值计算的高级和非常高级语言。其中包括符号处理语言、逻辑语言、数据库管理语言、规格说明语言(specification Language)、软件要求工程语言 (Language for Software Requirement Engineering)和公式处理语言等等。本文旨对符号处理和公式处理语言做些介绍。