Semicomputable function (source code)

= Semicomputable function
{wiki=Semicomputable_function}