Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Na Teoria da Computação, a Tese de Church-Turing estabelece uma relação entre o conceit...
Na Teoria da Computação, a Tese de Church-Turing estabelece uma relação entre o conceito intuitivo de algoritmo e modelos formais de computação, como a Máquina de Turing. Embora não seja um teorema formalmente demonstrado, é amplamente aceita como uma hipótese sobre os limites do que pode ser computado.
Com base nessa concepção, assinale a alternativa que expressa corretamente o conteúdo da Tese de Church-Turing.
A
Toda função efetivamente incalculável pode ser computada por uma Máquina de Turing.
B
Toda função efetivamente calculável pode ser computada por uma Máquina de Turing.
C
Toda função efetivamente calculável pode ser computada por um Autômato Finito Determinístico.
D
Toda função decidível pode ser computada por um Autômato de Pilha.
E
Toda função recursivamente enumerável é decidível por uma Máquina Linearmente Limitada.