O que diferencia decidibilidade de semidecidibilidade?

Decidibilidade e semidecidibilidade são conceitos da teoria da computação. - Decidibilidade refere-se a problemas para os quais existe um algoritmo que pode determinar a resposta (sim ou não) em um número finito de passos. Ou seja, para um problema decidível, sempre podemos chegar a uma conclusão. - Semidecidibilidade, por outro lado, refere-se a problemas para os quais existe um algoritmo que pode confirmar a resposta "sim", mas não necessariamente "não". Isso significa que, se a resposta for "sim", o algoritmo eventualmente irá parar e fornecer a resposta, mas se a resposta for "não", o algoritmo pode continuar executando indefinidamente. Em resumo, a diferença principal é que problemas decidíveis têm soluções definitivas para ambas as respostas, enquanto problemas semidecidíveis só garantem uma solução para a resposta afirmativa.