抽象数据类型条件方程的求取

SOLUTION FOR CONDITIONAL EQUATIONS OF Abstract DATA TYPES

抽象数据类型的代数规格说明关键在于条件方程的求取。如果能获得简明的条件描述，那么就容易写出条件方程。本文讨论了抽象数据类型的规格说明问题，并提出了基于串和数组求取条件方程的方法，同时给出了若干典型实例，并对求取条件方程方法的正确性作了讨论。

The key problem of extracting algebraic specifications of abstract data types is the solutions of conditional equations f which can be easy to write if succinct implementation descriptions are available. The paper discusses specifications of abstract data types, and proposes a method of extracting condition equations with strings and arrays, then illustrating several exampls. a connection to the correctness for the method is made.