Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Recent questions tagged context-free-language
2
votes
1
answer
271
Language DCFL?
$L_{1}=\left \{ 0^{m}.1^{n}.2^{m}.3^{n} \right |n,m>0\}$ $L_{2}=\left \{ a^{i}.b^{j}.c^{k}.d^{l} \right |i+k=j+l\}$ which one DCFL? Refrence :https://gateoverflow.in/15327/context-free-or-not I think both not DCFL, but need valid reason for it
$L_{1}=\left \{ 0^{m}.1^{n}.2^{m}.3^{n} \right |n,m>0\}$$L_{2}=\left \{ a^{i}.b^{j}.c^{k}.d^{l} \right |i+k=j+l\}$which one DCFL?Refrence :https://gateoverflow.in/15327/c...
srestha
573
views
srestha
asked
Nov 26, 2018
Theory of Computation
theory-of-computation
dcfl
context-free-language
+
–
3
votes
1
answer
272
Zeal Test Series 2019: Theory of Computation - Context Free Languages
how to check that second one is inherently ambiguous i have little confusion in it
how to check that second one is inherently ambiguous i have little confusion in it
Prince Sindhiya
364
views
Prince Sindhiya
asked
Nov 25, 2018
Theory of Computation
zeal
theory-of-computation
context-free-language
zeal2019
+
–
0
votes
0
answers
273
Gateforum Test Series: Theory of Computation - Context Free Languages
Consider the following CFG, find the number of production in the minimized grammar after it was converted to Greibach Normal Form. S->AA|0 A->SS|1
Consider the following CFG, find the number of production in the minimized grammar after it was converted to Greibach Normal Form.S->AA|0A->SS|1
Parth Shah
183
views
Parth Shah
asked
Nov 15, 2018
Theory of Computation
gateforum-test-series
theory-of-computation
context-free-language
+
–
1
votes
3
answers
274
Decidability
Given two deterministic CFG G$_1$ and G$_2$, is L( G$_1$ ) = L( G$_2$ ) ?
Given two deterministic CFG G$_1$ and G$_2$, is L( G$_1$ ) = L( G$_2$ ) ?
Shamim Ahmed
1.3k
views
Shamim Ahmed
asked
Nov 1, 2018
Theory of Computation
decidability
theory-of-computation
context-free-language
+
–
0
votes
0
answers
275
Decidability
Given two deterministic CFG G$_1$ and G$_2$ , is L(G$_1$) ∩ L(G$_2$) = ∅ ?
Given two deterministic CFG G$_1$ and G$_2$ , is L(G$_1$) ∩ L(G$_2$) = ∅ ?
Shamim Ahmed
527
views
Shamim Ahmed
asked
Nov 1, 2018
Theory of Computation
decidability
theory-of-computation
context-free-language
+
–
1
votes
1
answer
276
Complementation of a Language of a L
If L is any Language and L' be its complement. L is CFL. Which of these two statements is true: 1. For any value of L, L' is not in CFL 2. There exists atleast one value of L for which L' is not in CFL
If L is any Language and L' be its complement. L is CFL. Which of these two statements is true:1. For any value of L, L' is not in CFL2. There exists atleast one value of...
saptarshiDey
281
views
saptarshiDey
asked
Oct 31, 2018
Theory of Computation
theory-of-computation
context-free-language
+
–
0
votes
0
answers
277
Ace Book
abhishek1995_cse
550
views
abhishek1995_cse
asked
Oct 27, 2018
Theory of Computation
context-free-language
regular-language
theory-of-computation
turing-machine
+
–
0
votes
1
answer
278
Context Free Grammar
L=0^i 1^j 2^k | i=j or j=k is the grammar DCFG?
L=0^i 1^j 2^k | i=j or j=kis the grammar DCFG?
aditi19
445
views
aditi19
asked
Oct 23, 2018
Theory of Computation
theory-of-computation
context-free-language
+
–
0
votes
1
answer
279
Ace book
The minimal finite automata accepting the set of all strings over {0,1} starting with a 1 that interpreted as the binary representation of an integer are congruent to 0 modulo 5 has ______ states. The ans is 7 but according to me modulo n has 5 states .?
The minimal finite automata accepting the set of all strings over {0,1} starting with a 1 that interpreted as the binary representation of an integer are congruent to 0 m...
abhishek1995_cse
1.4k
views
abhishek1995_cse
asked
Oct 22, 2018
Theory of Computation
context-free-language
regular-language
theory-of-computation
+
–
0
votes
0
answers
280
Ace Book
The complement of the language L containing an equal number of a's , b's and c's is a)regular b)context free c)context sensitive but not context free d)recursive and not a CFL
The complement of the language L containing an equal number of a's , b's and c's isa)regularb)context freec)context sensitive but not context freed)recursive and not a CF...
abhishek1995_cse
538
views
abhishek1995_cse
asked
Oct 21, 2018
Theory of Computation
context-free-language
pushdown-automata
context-sensitive
+
–
2
votes
2
answers
281
Context Free Grammar
Consider the following CFG 'G' S--> aA/bSS/SS A--> aAb/bAa/AA/ε The language generated by G is: a)Set of all strings with atleast one 'a' b)Set of all strings with atleast two a's c)Set of all strings with atleast one more 'a' than number of b's d)None of these
Consider the following CFG 'G'S aA/bSS/SSA aAb/bAa/AA/εThe language generated by G is:a)Set of all strings with atleast one 'a'b)Set of all strings with atleast two a'...
Sambhrant Maurya
917
views
Sambhrant Maurya
asked
Oct 18, 2018
Theory of Computation
theory-of-computation
context-free-grammar
context-free-language
pushdown-automata
+
–
0
votes
1
answer
282
Theory of Computation
$L1= \left \{ a^m b^n c^n d^m | m \neq n \right \}$ $L2= \left \{a^i b^j c^k | (i<=j)or (j<=i), j=k \right \}$ $L3= \left \{a^i b^j c^k| i=j, j<k \right \}$ The number of the above languages that are context free are ?
$L1= \left \{ a^m b^n c^n d^m | m \neq n \right \}$$L2= \left \{a^i b^j c^k | (i<=j)or (j<=i), j=k \right \}$$L3= \left \{a^i b^j c^k| i=j, j<k \right \}$The number ...
Priyam Pandey
864
views
Priyam Pandey
asked
Oct 18, 2018
Theory of Computation
context-free-language
theory-of-computation
+
–
0
votes
1
answer
283
MadeEasy Test Series: Theory Of Computation - Context Free Language
Asutosh
290
views
Asutosh
asked
Oct 16, 2018
Theory of Computation
theory-of-computation
context-free-language
made-easy-test-series
+
–
0
votes
0
answers
284
Concatenation of DCFLs
L1={an bn | n>=0} L2={bn cn | n>=0} What is L1.L2 ? Is it an b2n cn ?
L1={an bn | n>=0}L2={bn cn | n>=0}What is L1.L2 ?Is it an b2n cn ?
sripo
603
views
sripo
asked
Oct 13, 2018
Theory of Computation
theory-of-computation
dcfl
context-free-language
identify-class-language
+
–
0
votes
0
answers
285
CFL with Empty Stack or Final State
$1)$"We can solve same PDA with empty stack and using final state" Can give an example of such language? Where is the difference between solving a pda with empty stak and by accepting final state? I got this link but without ... -acceptance-by-empty-stack-and-final-state $2)$If language has prefix property, why it cannot be solved with empty stack?
$1)$"We can solve same PDA with empty stack and using final state"Can give an example of such language? Where is the difference between solving a pda with empty stak and ...
srestha
1.5k
views
srestha
asked
Oct 4, 2018
Theory of Computation
theory-of-computation
context-free-language
pushdown-automata
+
–
0
votes
0
answers
286
CFG-Doubt
$L=a^mb^nc^pd^q | m+p=n+q, m,n,p,q>=0$ is the language CFG or CFL?
$L=a^mb^nc^pd^q | m+p=n+q, m,n,p,q>=0$is the language CFG or CFL?
aditi19
329
views
aditi19
asked
Sep 26, 2018
Theory of Computation
context-free-language
+
–
0
votes
0
answers
287
Context free languages
X belongs to {a,b}* such that n(a)<n(b)<2n(a) is a CFL. Please somebody explain the push and pop sequences of the alphabets on the stack. I'm not being able to visualise, how it is CFL?
X belongs to {a,b}* such that n(a)<n(b)<2n(a) is a CFL. Please somebody explain the push and pop sequences of the alphabets on the stack. I'm not being able to visualise,...
aambazinga
288
views
aambazinga
asked
Sep 18, 2018
Theory of Computation
context-free-language
theory-of-computation
+
–
1
votes
0
answers
288
Michael sipser
I read this excerpt from sipser book- We write a,b → c to signify that when the machine is reading an a from the input, it may replace the symbol b on the top of the stack with a c. Any of a, b, and c may be ε. If a is ε, the ... using any stack symbol as written here that top of stack might be epsilon if we don't want to consume it. If someone can clear my doubt. Thanks
I read this excerpt from sipser book-We write “a,b → c” to signify that when the machine is reading ana from the input, it may replace the symbol b on the top of th...
sushmita
303
views
sushmita
asked
Sep 15, 2018
Theory of Computation
theory-of-computation
context-free-language
pushdown-automata
+
–
0
votes
0
answers
289
DCFL Language
Consider the following languages : L1: {a bn a2n | n ≥ 0 } L2: { a a bn a3n | n ≥ 0 } Which of the following is true ? A. L1 U L2 is regular B. L1 U L2 is DCFL C. L1 intersection L2 is non regular D. L1 U L2 is not CFL
Consider the following languages :L1: {a bn a2n | n ≥ 0 }L2: { a a bn a3n | n ≥ 0 }Which of the following is true ?A. L1 U L2 is regularB. L1 U L2 is DCFLC. L1 inters...
Na462
735
views
Na462
asked
Sep 11, 2018
Theory of Computation
theory-of-computation
dcfl
context-free-language
+
–
1
votes
0
answers
290
Closure Property
If L1 is CSL and L2 is CFL, then which of the following is correct ? A.L1' - L2 is CSL always B. L1 - L2' is CSL always C. L1 intersection Regular is Regular always D. L1.L2 is CSL but not CFL
If L1 is CSL and L2 is CFL, then which of the following is correct ?A.L1' - L2 is CSL alwaysB. L1 - L2' is CSL alwaysC. L1 intersection Regular is Regular alwaysD. L1.L2...
Na462
1.9k
views
Na462
asked
Sep 9, 2018
Theory of Computation
theory-of-computation
context-free-language
closure-property
+
–
0
votes
0
answers
291
peter linz
The language L1={a^n b^n} union {b} The language L2={a^n b^n} union {a} They both are deterministic CFL. Am i right?
The language L1={a^n b^n} union {b}The language L2={a^n b^n} union {a}They both are deterministic CFL.Am i right?
sushmita
487
views
sushmita
asked
Sep 9, 2018
Theory of Computation
theory-of-computation
peter-linz
context-free-language
+
–
0
votes
0
answers
292
TOC- Undecidability
sidlewis
437
views
sidlewis
asked
Sep 8, 2018
Theory of Computation
theory-of-computation
decidability
rice-theorem
context-free-language
turing-machine
+
–
0
votes
0
answers
293
self doubt
Consider the Context free language which has equal no of as and bs. eg- abab Since a proper prefix ab also belongs to this language, this language does not satisfy prefix property as far as i understand. But we can clearly draw a deterministic PDA ... with empty stack for CFL without prefix property. But above example forms a contradiction. Please resolve my doubt. I am getting confused.
Consider the Context free language which has equal no of as and bs. eg- ababSince a proper prefix ab also belongs to this language, this language does not satisfy prefix...
sushmita
636
views
sushmita
asked
Sep 8, 2018
Theory of Computation
theory-of-computation
context-free-language
pushdown-automata
+
–
0
votes
0
answers
294
PDA-Doubt
L=$a^mb^n$ | m!=n is the following DPDA correct for the mentioned language?
L=$a^mb^n$ | m!=nis the following DPDA correct for the mentioned language?
aditi19
308
views
aditi19
asked
Sep 3, 2018
Theory of Computation
pushdown-automata
context-free-language
+
–
0
votes
0
answers
295
Doubt-PDA
what is the PDA for {L=$a^mb^n$ |m>n}
what is the PDA for {L=$a^mb^n$ |m>n}
aditi19
994
views
aditi19
asked
Sep 2, 2018
Theory of Computation
pushdown-automata
theory-of-computation
context-free-language
+
–
–1
votes
1
answer
296
Non inherently ambiguous
Na462
1.3k
views
Na462
asked
Sep 2, 2018
Theory of Computation
context-free-language
theory-of-computation
inherently-ambiguous
+
–
0
votes
1
answer
297
Parsing
For a grammar to be LR(k), it should have a PDA? Like a DPDA or just PDA in general?
For a grammar to be LR(k), it should have a PDA? Like a DPDA or just PDA in general?
Mizuki
468
views
Mizuki
asked
Aug 31, 2018
Compiler Design
compiler-design
parsing
context-free-language
pushdown-automata
theory-of-computation
+
–
2
votes
3
answers
298
TOC self doubt
$\text{Is the language L is DCFL or CFL ?}$
$\text{Is the language L is DCFL or CFL ?}$
Prince Sindhiya
582
views
Prince Sindhiya
asked
Aug 3, 2018
Theory of Computation
theory-of-computation
context-free-language
+
–
1
votes
0
answers
299
DPDA acceptance by empty stack
Is this approach of acceptance by empty stack correct ? I am confused because i have read that acceptance by empty stack may not be able to accept all regular languages.
Is this approach of acceptance by empty stack correct ?I am confused because i have read that acceptance by empty stack may not be able to accept all regular languages.
Matrix
1.5k
views
Matrix
asked
Jul 28, 2018
Theory of Computation
theory-of-computation
pushdown-automata
context-free-language
dpda
+
–
1
votes
2
answers
300
Languages
Consider a language over Σ={a,b} the description of L is given below. L={ PQ | P ∈(a,b)* , Q ∈ (a,b)* and na(P) = nb(Q) }. Select the correct option. 1. L is DCFL but not regular. 2. L is CSL but not CFL. 3. L is CFL but not DCFL. 4. None of these.
Consider a language over Σ={a,b} the description of L is given below.L={ PQ | P ∈(a,b)* , Q ∈ (a,b)* and na(P) = nb(Q) }. Select the correct option. 1. L is DCFL but...
Priyansh Singh
959
views
Priyansh Singh
asked
Jul 3, 2018
Theory of Computation
theory-of-computation
regular-language
context-free-language
grammar
+
–
Page:
« prev
1
...
5
6
7
8
9
10
11
12
13
14
15
...
21
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register