Leia o texto a seguir:   Na teoria das linguagens formais, distinguem-se quatro tipos de gramáticas, que correspondem a quatro tipos de linguagens....

Leia o texto a seguir:

Na teoria das linguagens formais, distinguem-se quatro tipos de gramáticas, que correspondem a quatro tipos de linguagens. Essas gramáticas se destacam por impor restrições crescentes às regras da gramática. Para definir uma gramática, é necessário definir conjuntos, símbolos terminais e não terminais. Os caracteres terminais são símbolos usados ​​​​na língua. Os caracteres não terminais (intermediários) são os símbolos usados ​​na criação (geração) de palavras de linguagem. E as palavras são criadas de acordo com as regras gramaticais. Seja uma gramática G = (Σ, V, S, P).

Considerando o texto apresentado e uma gramática G = (Σ, V, S, P), avalie as afirmações abaixo:

1. G é tipo-1, ou gramática dependente do contexto, se cada regra α → β de P obedece a |α| ≤ |β|. Se tiver uma regra S → ε, desde que S não surja no lado direito de nenhuma regra.
2. G é tipo-0 ou gramática livre do contexto (gramáticas CS ou gramáticas B). Se cada regra α → β de P obedece a |α| = 1, ou seja, A é constituído por apenas um terminal.
3. G é tipo-3 ou gramática regular se cada regra tiver uma das formas A → cB, A → c ou A → ε, em que A e B são não terminais (podendo B = A) e C é um terminal.
4. A gramática apresentada G = (Σ, V, S, P) é da forma linear a direita se toda produção for da forma A → bC ou A → b, onde A e C ∈ V e b ∈ Σ ∪ {λ}.

É correto o que se afirma em:

Grupo de escolhas da pergunta

II e III, apenas.

II e III, apenas.

I, III e IV, apenas.

I e IV, apenas.

I, II e IV, apenas.