The Gateway to Computer Science Excellence
0 votes
110 views

in Theory of Computation by Active (4.8k points) | 110 views
0
option D ?

1 Answer

+2 votes
Best answer

The first langauge L1 necessitates that d should follow c and no of c = no of d..And the second langauage L2 says that no of a's and b's should be equal.

In both of the languages , the sequence is a's followed by b's followed by c's and then d's..

But considering the requirement of L1 and L2 , we need that no of a's = no of b's and no of c's  = no of d's ..However no constraint between no of a's and no of c's or no of b's and no of d's..

Hence the language L1 ∩ L2  =  { an bn cm dm  |  m,n >= 0 }

Hence D) is the correct answer

by Veteran (101k points)
selected by
0
So, answer-(C) is also right, but aswer-(D) is global case,is it?
0

will this be possible in c a2b2c3d3 ?

+1
U have to cover all cases right..C) does not cover all strings like aabbcd which should be covered in L1 intersection L2..

Hence C) is wrong..
Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
50,666 questions
56,170 answers
193,842 comments
94,047 users