Definition Semi-decidable Set A set is semi-decidable if there exists a partial computable function with