Existe uma linguagem

Eu sei que existem linguagens não regulares, de modo que é regular, mas todos os exemplos que posso encontrar são sensíveis ao contexto, mas não livres de contexto.$L^*$

Caso não exista, como você prova isso?

$L = \{a^n b^n \mid n\in\mathbb{N}\}$$L' = \{a^n b^n \mid n\in\mathbb{N}\} \cup \{a,b\}$

$L'^\ast = \{a,b\}^\ast$