14

I know that there are non-regular languages, so that $L^*$ is regular, but all examples I can find are context-sensitive but not context free.

In case there are none how do you prove it?

Raphael
  • 72,336
  • 29
  • 179
  • 389
Simon S
  • 593
  • 3
  • 14

1 Answers1

21

$L = \{a^n b^n \mid n\in\mathbb{N}\}$ is context-free but not regular (classical example). So is $L' = \{a^n b^n \mid n\in\mathbb{N}\} \cup \{a,b\}$.

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

Gilles 'SO- stop being evil'
  • 43,613
  • 8
  • 118
  • 182