Article contents
On Distributive Fixed-Point Expressions
Published online by Cambridge University Press: 15 August 2002
Abstract
For every fixed-point expression e of alternation-depth r,
we construct a new fixed-point expression e' of alternation-depth 2
and size ${\cal O}(r\cdot|e|)$. Expression e' is equivalent to e
whenever operators are distributive and the underlying
complete lattice has a co-continuous least upper bound. We
alternation-depth but also w.r.t. the increase in size of the
resulting expression.
- Type
- Research Article
- Information
- RAIRO - Theoretical Informatics and Applications , Volume 33 , Issue 4-5 , July 1999 , pp. 427 - 446
- Copyright
- © EDP Sciences, 1999
References
- 4
- Cited by