edited by
1,163 views
4 votes
4 votes

$L_1=\{(xy)^m(yz)^m\;,\;m\geq 1\}$

$L_2=\{a^mb^nc^k\;|\;m>n\;or\;m<n\}$

Which of the following is True?

(a) $L_1$ is CFL, $L_2$ are DCFL                    (b) $L_1$ is DCFL, $L_2$ is CFL 

(c) Both $L_1$, $L_2$ are CFLs                       (d) Both $L_1$, $L_2$ are DCFLS

edited by

2 Answers

Best answer
9 votes
9 votes

Yes $L_2 =\{a^mb^nc^k\;|\;m>n\;or\;m<n\}$ is DCFL 

having DPDA

 

$L_1=\{(xy)^m(yz)^m\;,\;m\geq 1\}$ is also DCFL 

having DPDA 

selected by
0 votes
0 votes

Both are DCFLs

  • L1’s has CFG as follows:

                   S → xySyz | epsilon

  • L2 = { $a^{m}b^{n}c^{k} | m!=n$}

                  Now you can easily think of stack logic.

Answer is D

Related questions

5 votes
5 votes
4 answers
1
Purple asked Jan 28, 2016
8,838 views
Consider L1, L2 ⊆ Ʃ* such that L1 and L1 ∪ L2 are regular.(a) L2 is definitely regular(b) L2 may not be regular(c) L2 is context free(d) None of aboveIs it option B ...
1 votes
1 votes
1 answer
2
Gate Mm asked Dec 8, 2015
2,618 views
L1 = {ambn | m+n = Even} L2 = {ambn | m-n = 4}(a) L1 is Regular, L2 is Not Regular(b) Both are Regular(c) Both are Non- Regular(d) L2 is Regular, L1 is Not Regular
1 votes
1 votes
1 answer
3