Is the Complement of (0^n)(1^n)^m Non-Context-Free?

  • Thread starter Thread starter twisterplus
  • Start date Start date
  • Tags Tags
    Language
AI Thread Summary
The discussion centers on proving that the complement of the language L = {((0^n)(1^n))^m | m,n are integers greater than zero} is non-context-free. A participant suggests using the Pumping Lemma as a method for this proof. However, it is later clarified that the complement of the language is actually a context-free language (CFL), indicating that the initial assumption about its non-context-freeness was incorrect. This highlights the importance of thoroughly analyzing language properties and the applicability of theoretical tools like the Pumping Lemma in formal language theory.
twisterplus
Messages
2
Reaction score
0
I was looking for a way to prove that the complement of the following language is non-context-free:
L={((0^n)(1^n))^m | m,n are integers greater than zero}

Thank you in advance
 
Technology news on Phys.org
I found out what I was missing. The complement is indeed CFL
 
Dear Peeps I have posted a few questions about programing on this sectio of the PF forum. I want to ask you veterans how you folks learn program in assembly and about computer architecture for the x86 family. In addition to finish learning C, I am also reading the book From bits to Gates to C and Beyond. In the book, it uses the mini LC3 assembly language. I also have books on assembly programming and computer architecture. The few famous ones i have are Computer Organization and...
I have a quick questions. I am going through a book on C programming on my own. Afterwards, I plan to go through something call data structures and algorithms on my own also in C. I also need to learn C++, Matlab and for personal interest Haskell. For the two topic of data structures and algorithms, I understand there are standard ones across all programming languages. After learning it through C, what would be the biggest issue when trying to implement the same data...

Similar threads

Back
Top