As linguagens regulares têm uma aplicação ampla e significativa em diversas áreas da computação, devido à sua simplicidade e capacidade de modelar problemas práticos. Com relação a esse tipo de linguagem, considere as seguintes afirmações:

I - Sejam A e B, duas linguagens regulares quaisquer, a questão A = B não é decidível.

II - A classe das linguagens regulares é fechada em relação às operações de união, concatenação e fechamento reflexivo e transitivo.

III - Nas gramáticas lineares de linguagens regulares, o lado direto das regras possui no máximo um único símbolo não terminal do lado direito das suas regras.

IV - As gramáticas lineares à esquerda ou à direita geram exatamente a mesma classe de linguagens.

Assinale a alternativa que apresenta apenas afirmações corretas: