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

摘要

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