Sobre o conjunto de problemas que podem ser computados por Máquinas de Turing, é correto afirmar que: A. O Teorema do Bombeamento pode ser utiliza...

Sobre o conjunto de problemas que podem ser computados por Máquinas de Turing, é correto afirmar que: A. O Teorema do Bombeamento pode ser utilizado para mostrar que uma máquina de Turing não pode reconhecer uma determinada linguagem. B. A demonstração da tese de Church-Turing permitiu compreender o que pode ser computado com diversos modelos de computadores, como a máquina de Tuning C. Uma máquina de Tuning Universal não deterministica pode resolver o Problema da Parada D. Uma máquina de Turing com duas fitas pode resolver o Problema da Parada em tempo polinomial. E. O Teorema de Rice mostra que toda propriedade não trivial é indecidivel.