finitely computable