Enunciados de questões e informações de concursos

A Máquina de Turing (Tm) é um modelo matemático que tem sido estudado para a descrição de procedimentos computacionais. Acerca desse modelo e dos conceitos a ele relacionados, julgue o item que se segue.

Se L representa a linguagem aceita por uma Tm, então Tm pára em todas as sentenças de L.



spinner
Ocorreu um erro na requisição, tente executar a operação novamente.