Perguntas com a marcação «halting-problem»

Perguntas sobre o problema da parada, que é decidir se um determinado programa pára em uma determinada entrada.

4
Definindo o problema de parada para autômatos não determinísticos
A definição primária de máquina de Turing (TM), pelo menos no meu próprio livro de referência (Hopcroft + Ullman 1979) é determinística. Portanto, meu próprio entendimento do problema da parada é principalmente para a MT determinística, embora eu saiba que pode ser considerado para outros tipos de autômatos. Também notei …









2
Parando o problema sem auto-referência
No problema de parada, estamos interessados ​​se existe uma máquina de Turing que pode dizer se uma determinada máquina de Turing pára ou não em uma determinada entrada . Geralmente, a prova começa assumindo que existe umEm seguida, consideramos um caso em que restringimos ao próprio e derivamos uma contradição …




2
A constante de Chaitin é normal?
Segundo esta fonte, a constante Chaitin é normal.ΩΩ\Omega Cada probabilidade de parada é um número real normal e transcendental que não é computável, o que significa que não há algoritmo para calcular seus dígitos. De fato, cada probabilidade de parada é aleatória de Martin-Löf, o que significa que não existe …


Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.