I had a job for the university, which basically said:
"Demonstrates that the irregular language L = {0 ^ n 1 ^ n: n natural} did not have infinite regular sublanguages."
I demonstrated this by contradiction. I basically said that there is a language S, which is a sublanguage of L, and this is a common language. Since possible regular expressions for S are 0 *, 1 *, (1 + 0) * and (0o1) *. I check every grammar and demonstrate that none of them are part of L.
However, how could I prove that ANY non-regular contextual free language cannot contain any regular infinite sublanguages?
I don’t need to prove on my own, I just want to be directed in the right direction.
source
share