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