On the Structural Properties of the Set of Fixpoints for Nondeterministic Recursive Definitions

摘要

In this paper, we investigate the structural properties of the set of fixpoints for the class of nondeterministic recursive definitions. Our study reveals close resemblance between the structural properties of the set of fixpoints and those of the set of prefixpoints, and it establishes some equality relationships between various fixpoints and their corresponding prefixpoints. Also observed are some nonequality relationships between various fixpoints and their corresponding postfixpoints.