On distributive fixed-point expressions
On finitely generated monoids of matrices with entries in
On Distributive Fixed-Point Expressions
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.
Page 1