Given L1 and L2 (irregular) context free languages - Is it possible that L1 U L2 is regular?
I know that it is possible but I just cant find an example showing that. Would love to get some assistance.
Given
L1
andL2
Context Free (but not regular) Languages, the is it possible that union of bothL1 ∪ L2
is regular?
Yes Possible!
Suppose, first language L1 is:
L1 : {
anbm
| wheren = m
}
Language L1 is a CFL but not a regular. Another way of writing L1 language is anbn
. I think this is one of the most conman example of CFL one can find in any text book of formal languages.
And Second language L2 is:
L2 : {
anbm
| wheren ≠ m
}
L2 is again a CFL but not a regular. Basically L2 is complement language of L1.
Now, union of L1 and L2 is:
L : {
anbm
| there is no restriction overn
andm
values}
Language L
= L1 ∪ L2
is a regular language and regular expression for L
is a*b*
.
So hint is union of complement CFLs are regular.
Note: Context-free languages are closed under union operation, so union of two CFLs are always CFL (that can be regular as class of regular languages is subset of class of CFLs), but it can't be a non-CFL e.g. CSL.
Adding on the basis of comments:
Given
L1
andL2
Context Free (but not regular) Languages, the is it possible that intersection of bothL1 ∩ L2
is regular?
Yes Possible!
Suppose, first language L1 is:
L1 : {
anbm
| wheren = m
}
And Second language L2 is:
L2 : {
anbm
| wheren <= 3 or n ≠ m
}
Language L
= L1 ∩ L2
= {ab, aabb, aaabbb}
is a finite set and hence also a regular set.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With