μ-operatoro

El Vikipedio, la libera enciklopedio
Revizio de 14:59, 9 mar. 2013 farita de Addbot (diskuto | kontribuoj)
(malsamoj) ← Antaŭa versio | Rigardi nunan version (malsamoj) | Sekva versio → (malsamoj)
Salti al navigilo Salti al serĉilo

En rekursia teorio, la μ-operatoro estas la operatoro kiu, kiam oni aplikas ĝin al certa komputebla funkcio f rezultigas komputeblan funkcion kun la unua valoro por kiu f estas nulo.

Por la funkcio

,

se kaj nur se

kaj
por ĉiu , estas difinita kaj .

Uzante similajn difinojn, ĉi tiu ideo povas esti ĝeneraligita al μ-formulo por ĉiu strikte difinita formulo φ kun unu libera variablo, skribita kiel

.