CS 3613: Theoretical Foundations of Computing
Spring 2009
Homework 6 (Final Version): Context-Freedom
Due Date: April 9, 2009
----------------------------------------------------

Notes:

• Read Course Information: Section 7 (Miscellaneous) and Section 9 (Academic Dishonesty or Misconduct).
  
  
• When you are giving a construction, example, etc., provide a justification with your argument. Your solutions to numerical problems must contain the derivation of your answers. In all of your presentations, strive for correctness, completeness, and clarity. When in doubt about the assumptions of problems, the interpretations of wording, etc., consult the instructor.
  
  
• You should strive to complete all problems assigned, and a subset of them will be graded.
  
  

1. Read the notes above carefully.
   
   
2. Consider the following language:
   
   

   K = { x $ y | x and y are in {a, b}*, and y is not a permutation of x }.

   Example strings in K are a a a b $, a $ a a a b and b a b a $ a a a b; example strings not in K are a b b a, a b b b a $ a b b b a, and a b b b a $ b a b a b.
   1. Prove that the language K is not regular.
      
      
   2. Construct a context-free grammar that generates the language K. Briefly and precisely describe the strings generated by each variable in the grammar.
      
      
   
   
   
3. Do [Sip06] Chapter 2, problem 2.23. Briefly and precisely describe the strings generated by each variable in the grammar.
   
   
4. Do [Sip06] Chapter 2, problem 2.27. Briefly and precisely describe the strings generated by each variable in the grammar.
   
   
5. Do [Sip06] Chapter 2, exercise 2.14. Show all the important intermediate work.
   
   
6. Do [Sip06] Chapter 2, problem 2.26.
   
   
7. Do [Sip06] Chapter 2, problem 2.35.
   
   

---

File translated from T_EX by T_TH, version 3.35.
On 30 Mar 2009, 13:31.