Questão 354676

354676 Ano: 2018
Disciplina: Informática
Banca: FCM
Orgão: IFN-MG

Provas:

Sobre o conjunto de problemas que podem ser computados por Máquinas de Turing, é correto afirmar que

a demonstração da tese de Church-Turing permitiu compreender o que pode ser computado com diversos modelos de computação, como a máquina de Turing.

uma Máquina de Turing Universal não determinística pode resolver o Problema da Parada.

uma Máquina de Turing com duas fitas pode resolver o Problema da Parada em tempo polinomial.

o Teorema do Bombeamento pode ser utilizado para mostrar que uma Máquina de Turing não pode reconhecer uma determinada linguagem.

o Teorema de Rice mostra que toda propriedade não trivial é indecidível.

Questão presente nas seguintes provas

40 Questões

Acesse sua Conta