///
Esta questão foi aplicada no ano de 2024 pela banca IF-MG no concurso para IF-MG. A questão aborda conhecimentos da disciplina de Estruturas de Dados e Algoritmos, especificamente sobre Teoria dos Algoritmos.
Esta é uma questão de múltipla escolha com 5 alternativas. Teste seus conhecimentos e selecione a resposta correta.
Analise as afirmativas abaixo sobre Máquina de Turing e linguagens:
I. Toda linguagem recursivamente enumerável é também uma linguagem regular, pois pode ser aceita por uma máquina de Turing não-determinística.
II. A união de duas linguagens recursivas é uma linguagem recursiva.
III. III O problema da parada pode ser resolvido por uma máquina de Turing determinística, desde que tenha uma quantidade de fita infinita disponível.
IV. Toda linguagem recursiva também é recursivamente enumerável.
Está(ão) correta(s) a(s) afirmação(ões):