edited by
291 views
1 votes
1 votes
How to know that the language needs 1 stack or more than one stack in order to know about it is regular, context-free or not.
example
L1={$a^i b^j c^k│i<j<k$}
L2={$a^i b^j c^k│i<j \  or \ k<j$}
L3={$a^i b^j c^k│i<j \ and \ k<j$}
edited by

1 Answer

Best answer
5 votes
5 votes

$\boldsymbol{{\color{Blue}{ L1-CSL}}}$,      as we can see I,j, k are involving with two comparison at the time ,we can't do this with one stack ,two stack is required because at a time we should have to remember two aplhabet ,so it can be done  by CSL not by Cfl.

${\boldsymbol{\color{Blue}{L2-CFL}} }$,    yes we can see j is involving with( i or k )one comparison at time ,so we can do this by one stack .either j is comparing with i or comparing with k one at a time ,no need of two stack .

${\boldsymbol{\color{Blue}{L3-CSL}} }$,  this is almost same as first one but here j is greater than both ,here also j is involving with i and k with two comparison at a time{ j >I and j>k},so two stack required.so  csl.


So remember one thing when one symbol is involving with two or more two comparison at a time then it can't be cfl.

selected by

Related questions

3 votes
3 votes
2 answers
1
1 votes
1 votes
1 answer
2
0 votes
0 votes
1 answer
3
Hirak asked May 22, 2019
567 views
is union of regular language and context free language always regular?
3 votes
3 votes
1 answer
4
logan1x asked May 10, 2019
1,148 views
Why is ambiguity in regular language is decidable and not decidable in CFL ? Can you give Example?