///
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):