On Distributive Fixed-Point Expressions
Helmut Seidl, Damian Niwiński (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
For every fixed-point expression of alternation-depth , we construct a new fixed-point expression of alternation-depth 2 and size . Expression is equivalent to 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.