///
Considere as seguintes afirmações sobre Teoria de Linguagens e Autômatos:
I. O Lema do Bombeamento pode ser utilizado para demonstrar que uma linguagem é regular.
II. Máquinas de Mealy e de Moore são tipos de autômatos finitos com saída. Nas máquinas de Mealy, cada transição está associada a um símbolo de saída, enquanto nas máquinas de Moore, a saída é associada aos estados.
III. Em uma gramática regular, o lado esquerdo das regras pode conter, no máximo, dois símbolos terminais.
IV. Para que uma Gramática Livre de Contexto esteja na forma normal de Greibach, é suficiente que nenhuma de suas regras seja recursiva.
V. Uma máquina de Turing não determinística com duas fitas possui maior poder computacional que uma máquina de Turing determinística com uma fita.
Assinale a alternativa correta: