MuBar Operator

computation

Definition

$\bar{\mu }$ Operator

Let $g:{\mathbb{N}}^{k+1}\to \mathbb{N}$ ($k\ge 0$) be a total function. Then:

$$f=\bar{\mu }g:{\mathbb{N}}^{k+1}\to \mathbb{N}$$

is defined as $f(x_1,x_2,\dots ,x_{k+1})={\min }_{y\ge 0}[g(y,x_1,\dots ,x_{k+1})=x_1]$.