Skip to main content
1 of 3
Benjamin Steinberg
  • 38.6k
  • 3
  • 104
  • 186

Yuval Filmus shows in http://www.springerlink.com/content/gv6we2tjpua1puf5/ that it is decidable for a regular language $L$ whether $w\in L\implies w^k\in L$ for all $k>0$. I would guess there must be an older reference. On the other hand, a language $L$ is called pure if $w^k\in L\implies w\in L$. It was shown by Pedro Silva that purity is decidable for regular languages in http://www.springerlink.com/content/gv6we2tjpua1puf5/

Since the notion of circular language in the question is the conjunction of these two properties, it is decidable if a regular language is circular.

Benjamin Steinberg
  • 38.6k
  • 3
  • 104
  • 186