On the fixpoints of nondeterministic recursive definitions (Q1059391): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 00:25, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the fixpoints of nondeterministic recursive definitions |
scientific article |
Statements
On the fixpoints of nondeterministic recursive definitions (English)
0 references
1984
0 references
This work studies the fixpoint semantics of boundedly nondeterministic recursive definitions; examined is the existence and characteristics of various fixpoints of functionals continuous with respect to Egli ordering \(\subseteq\). The following facts are established. Maximal fixpoints exist but are not unique. The optimal fixpoint which is by definition the greatest fixpoint dominated by all maximal fixpoints exists uniquely. The least and the optimal fixpoints are shown to be respectively the least and the greatest among all \(\subseteq\)-related fixpoints. A greatest fixpoint exists iff the set of all fixpoints is \(\subseteq\)-related. Considered is also the so called well-defined fixpoint. These results are illustrated by appropriate examples.
0 references
fixpoint semantics of boundedly nondeterministic recursive definitions
0 references
Egli ordering
0 references