Sobre a hierarquia de Chomsky podemos afirmar que:

Na hierarquia de Chomsky (por classes de linguagens):

• Regulares (Tipo 3) ⊂ Livres de Contexto (Tipo 2) ⊂ Sensíveis ao Contexto (Tipo 1) ⊂ Recursivamente Enumeráveis (Tipo 0).

Analisando as alternativas:

A) Falsa. Autômatos com pilha (PDA) reconhecem linguagens livres de contexto, não apenas regulares (as regulares são um subconjunto das livres de contexto).

B) Falsa. Nem toda linguagem não regular é livre de contexto. Ex.: $\{a^n b^n c^n \mid n\ge 0\}$ não é regular e não é livre de contexto.

C) Falsa. Livres de contexto não se excluem das sensíveis ao contexto; na verdade, toda linguagem livre de contexto é também sensível ao contexto (inclusão).

D) Verdadeira. Existem linguagens que não são livres de contexto e também não são sensíveis ao contexto (isto é, estão acima do Tipo 1, mas ainda dentro do Tipo 0). Como Tipo 1 ⊂ Tipo 0, há linguagens recursivamente enumeráveis que não são sensíveis ao contexto.

E) Falsa. Linguagens regulares são decidíveis, logo são recursivas e, portanto, também recursivamente enumeráveis. Então uma linguagem recursivamente enumerável pode ser regular.

Alternativa correta: (D).