semicomputable adjective2 •partially computable •Semidecidable (for decision problems), can be approximated from either above or below by a computable function (for optimization and numerical problems).