semi-decidability