Lukas' Notes

Search titles, aliases and note text. Use # for tags.

Mu Recursion

1 min read

computation

Definition

Definition

Operator

The operator defines a function from a total function .

The minimum is taken over the first argument of .

Link to original

Definition

Operator

The operator defines a function from a total function .

The minimum is taken over the first argument of .

Link to original

Examples

Example

Missing \end{aligned}\begin{aligned} (\mu_{0} P_{1}^1)(n) = \min_{y \geq 0}[y = 0] = 0 \implies \mu_{0} P_{1}^1 = C_{0}^0 \\ \\ (\bar{\mu} P_{1}^1)(n) = min_{y \geq 0} [y = n] = n \implies \bar{\mu}P_{1}^1 = P_{1}^1

\end{aligned}

Example

Backlinks