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.