Semicomputable funkce - Semicomputable function
v teorie vypočítatelnosti, a polopočítatelná funkce je částečná funkce které lze aproximovat buď shora, nebo zespodu pomocí a vypočítatelná funkce.
Přesněji a částečná funkce je horní polopočitatelné, což znamená, že lze aproximovat shora, pokud existuje a vypočítatelná funkce , kde je požadovaný parametr pro a je úroveň přiblížení taková, že:
Zcela analogický a částečná funkce je nižší polopočitatelné iff je horní polopočitatelný nebo ekvivalentní, pokud existuje a vypočítatelná funkce takové, že:
Pokud částečná funkce je horní i dolní polopočitatelné nazývá se to vypočítatelný.
Viz také
Reference
- Ming Li a Paul Vitányi, Úvod do Kolmogorovovy složitosti a jejích aplikací, str. 37–38, Springer, 1997.
![]() | Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |