Perguntas com a marcação «semi-decidability»

Aprendemos sobre o conceito de enumerações de funções. Na prática, eles correspondem a linguagens de programação. Em uma observação de passagem, o professor mencionou que a classe de todas as funções totais (ou seja, as funções que sempre terminam para cada entrada) não é enumerável. Isso significaria que não podemos …

29 computability  semi-decidability  enumeration 

Um conjunto é contável se tiver uma bijeção com os números naturais e é computávelmente enumerável (ce) se houver um algoritmo que enumere seus membros. Qualquer conjunto enumerável computacionalmente não finito deve ser contável, pois podemos construir uma bijeção a partir da enumeração. Existem exemplos de conjuntos contáveis ​​que não …

15 computability  semi-decidability 

Muitos problemas indecidíveis "famosos" são, no entanto, pelo menos semidecidáveis, com seu complemento indecidível. Um exemplo acima de tudo pode ser o problema da parada e seu complemento. No entanto, alguém pode me dar um exemplo em que um problema e seu complemento são indecidíveis e não semidecidáveis? Pensei na …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

É o que se sabe sobre o problema da parada e a semi-decidibilidade: O problema de parada diz que, para uma dada entrada xe uma máquina H, não podemos dizer se a máquina H pára ou não na entrada x. Diz-se que um idioma é semi-decidível se existir uma máquina …

7 computability  turing-machines  halting-problem  semi-decidability