Home » Theory of Computation » Theory of computation miscellaneous » Question

Theory of computation miscellaneous

Theory of Computation

  1. Consider the languages
    L1 = { an bn cm | n , m > 0 } and L2 = { an bm cm | n , m > 0 }
    Which one of the following statements is false?
    1. L1 ∩ L2 is a context-free language
    2. L1 ∪ L2 is a context-free language
    3. L1 and L2 are context-free language
    4. L1 ∩ L2 is a context-sensitive language
Correct Option: A

L1 and L2 are context-free languages and therefore L1 ∩ L2 may or may not be context-free, since CFLs are not closed under intersection. Now, let us look at L1 ∩ L2 .
L1 ∩ L2 = { an bn cn | n > 0 }
which is clearly not context-free but is context sensitive.



Your comments will be displayed only after manual approval.