Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Filter
Profile
Wall
Recent activity
All questions
All answers
Exams Taken
All Blogs
Answers by suryaprakash
–1
votes
31
Self doubt in TOC
Suppose in question we are given the language is Turing Recognizable , can I consider it a CFL or Regular?
Suppose in question we are given the language is Turing Recognizable , can I consider it a CFL or Regular?
864
views
answered
Jun 1, 2018
Theory of Computation
theory-of-computation
regular-language
decidability
context-free-language
turing-machine
+
–
0
votes
32
Decidability
L= {<G> | G is CFG and G is NOT ambiguous} . L is TM recognizable or not even TM recognizable?
L= {<G | G is CFG and G is NOT ambiguous} .L is TM recognizable or not even TM recognizable?
1.1k
views
answered
Jun 1, 2018
Theory of Computation
decidability
theory-of-computation
+
–
0
votes
33
Decidability
Equality of two DPDA is decidable or undecidable ?
Equality of two DPDA is decidable or undecidable ?
1.7k
views
answered
Jun 1, 2018
Theory of Computation
theory-of-computation
decidability
+
–
0
votes
34
Test Series
Explain please. Answer given is D
Explain please. Answer given is D
655
views
answered
Jun 1, 2018
Theory of Computation
theory-of-computation
decidability
+
–
0
votes
35
Undecidability Confusion
I was Studying About Undecidability on GateCSE. I am facing a doubt that : L = {<M> | M accepts "1"} L is set of String & each String is an Encoding of TM & TM accepts 1 L = {<M> | L(M) = {1}} Given a Input Program ... really is difference between both of them ? Can you definition of 2 in words like " L is set of String ............"
I was Studying About Undecidability on GateCSE. I am facing a doubt that :L = {<M | M accepts "1"} L is set of String & each String is an Encoding of TM & TM accepts 1L =...
907
views
answered
Jun 1, 2018
Theory of Computation
theory-of-computation
decidability
rice-theorem
+
–
0
votes
36
Intersection of two Recursive languages are of same type or not. Is it decidable or undecidable?
Since Recursive languages are closed under intersection, therefore it decidable. Am I wrong?
Since Recursive languages are closed under intersection, therefore it decidable. Am I wrong?
3.0k
views
answered
Jun 1, 2018
Theory of Computation
recursive-and-recursively-enumerable-languages
decidability
+
–
0
votes
37
decidable problem
Let L be a DCFL and R is a regular language. Consider the below given problems. P: Is L=R ? Q: Is R ⊆L ? Discuss decidablity of P and Q.
Let L be a DCFL and R is a regular language. Consider the below given problems.P: Is L=R ?Q: Is R ⊆L ?Discuss decidablity of P and Q.
1.3k
views
answered
Jun 1, 2018
Theory of Computation
theory-of-computation
decidability
recursive-and-recursively-enumerable-languages
+
–
1
votes
38
decidability
Is the following problem decidable-: 1. Given a deterministic context-free grammar G, is L(G) = Σ* for some alphabet Σ ? Please also provide explaination.
Is the following problem decidable-:1. Given a deterministic context-free grammar G, is L(G) = Σ* for some alphabet Σ ?Please also provide explaination.
917
views
answered
Jun 1, 2018
Theory of Computation
decidability
theory-of-computation
+
–
0
votes
39
Decidability
L={R | R is a regular expression, with atleast one w belongs to L(R), i.e. 101 is substring of w} Which one true? a)L is decidable b) L is undecidable c)L is partially decidable
L={R | R is a regular expression, with atleast one w belongs to L(R), i.e. 101 is substring of w}Which one true?a)L is decidableb) L is undecidablec)L is partially decida...
416
views
answered
Jun 1, 2018
Theory of Computation
decidability
theory-of-computation
+
–
0
votes
40
what type of language
{$<M>\mid M$ is a $TM$ that doesn't accept any even number} what type of language is it? Recursively enumerable Recursive Not recursively enumerable none of the above
{$<M>\mid M$ is a $TM$ that doesn't accept any even number}what type of language is it?Recursively enumerableRecursiveNot recursively enumerablenone of the above
764
views
answered
Jun 1, 2018
Theory of Computation
decidability
turing-machine
theory-of-computation
+
–
1
votes
41
GATE IT 2008 | Question: 32
If the final states and non-final states in the DFA below are interchanged, then which of the following languages over the alphabet $\{a, b\}$ will be accepted by the new DFA? Set of all strings that do not end with $ab$ Set of all strings that begin ... of all strings that do not contain the substring $ab$, The set described by the regular expression $b^*aa^*(ba)^*b^*$
If the final states and non-final states in the DFA below are interchanged, then which of the following languages over the alphabet $\{a, b\}$ will be accepted by the new...
9.0k
views
answered
Feb 28, 2018
Theory of Computation
gateit-2008
theory-of-computation
finite-automata
normal
+
–
0
votes
42
GATE IT 2006 | Question: 5
Which regular expression best describes the language accepted by the non-deterministic automaton below? $(a + b)^* \ a(a + b)b$ $(abb)^*$ $(a + b)^* \ a(a + b)^* \ b(a + b)^*$ $(a + b)^*$
Which regular expression best describes the language accepted by the non-deterministic automaton below?$(a + b)^* \ a(a + b)b$$(abb)^*$$(a + b)^* \ a(a + b)^* \ b(a + b)^...
6.0k
views
answered
Feb 28, 2018
Theory of Computation
gateit-2006
theory-of-computation
regular-expression
normal
+
–
0
votes
43
GATE CSE 1991 | Question: 17,a
Show that the Turing machines, which have a read only input tape and constant size work tape, recognize precisely the class of regular languages.
Show that the Turing machines, which have a read only input tape and constant size work tape, recognize precisely the class of regular languages.
5.8k
views
answered
Feb 27, 2018
Theory of Computation
gate1991
theory-of-computation
descriptive
identify-class-language
proof
+
–
0
votes
44
Some Questions on Decidabilty
1) Is it decidable whether a given Turing machine accepts any string at all? That is, is L(M) not equal to ∅? 2) Is it decidable whether a given Turing machine accepts all strings? That is, is L(M) = A*? 3) Is it decidable whether a given ... don't know. Please tell. 2) Is it Completeness Problem? If yes, then its UD. 3) Finiteness Problem and it's UD 4) UD
1) Is it decidable whether a given Turing machine accepts any string at all? That is, is L(M) not equal to ∅? 2) Is it decidable whether a given Turing machine accepts...
1.0k
views
answered
Feb 23, 2018
Theory of Computation
theory-of-computation
decidability
turing-machine
+
–
0
votes
45
Decidability Question
a) language accepted by a CFG(Context free grammar) is nonempty. is it D or UD?
a) language accepted by a CFG(Context free grammar) is nonempty.is it D or UD?
2.2k
views
answered
Feb 23, 2018
Theory of Computation
decidability
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
context-free-language
+
–
0
votes
46
#TOC Turing Machine Question
For every deterministic Turing machine, there exists an equivalent deterministic Non Deterministic Turing machine. I know, other way is correct i.e for every DTM there exist a NDTM, but is above TRUE/FALSE. Thank you!
For every deterministic Turing machine, there exists an equivalent deterministic Non Deterministic Turing machine.I know, other way is correct i.e for every DTM there exi...
921
views
answered
Feb 23, 2018
Theory of Computation
turing-machine
theory-of-computation
recursive-and-recursively-enumerable-languages
decidability
self-doubt
+
–
0
votes
47
Regular Expressions
$L_1=\{a^nb^m\mid n\geq 3,m\leq 4\}$ Find complement of $L_1.$
$L_1=\{a^nb^m\mid n\geq 3,m\leq 4\}$Find complement of $L_1.$
368
views
answered
Feb 14, 2018
Theory of Computation
regular-language
theory-of-computation
+
–
0
votes
48
UGC NET CSE | December 2015 | Part 3 | Question: 24
The language of all non-null strings of a's can be defined by a context free grammar as follow : $S \rightarrow a \: S \mid S\: a \mid a$ The word $a^3$ can be generated by ______ different trees. Two Three Four Five
The language of all non-null strings of a's can be defined by a context free grammar as follow :$S \rightarrow a \: S \mid S\: a \mid a$The word $a^3$ can be generated by...
4.0k
views
answered
Feb 9, 2018
Compiler Design
compiler-design
grammar
ugcnetcse-dec2015-paper3
+
–
0
votes
49
Automata Grammar Language
What is the relationship between a Language -to- Grammar and a Grammar -to -Language .Give an example for both. A. One -to- Many B. One -to- One C. Many -to- One D. Many to- Many
What is the relationship between a Language -to- Grammar and a Grammar -to -Language .Give an example for both.A. One -to- ManyB. One -to- OneC. Many -to- One D. Many to-...
434
views
answered
Feb 9, 2018
Theory of Computation
theory-of-computation
grammar
+
–
0
votes
50
ISRO2011-43
Which variable does not drive a terminal string in grammar? $S \rightarrow AB$ $A \rightarrow a$ $B \rightarrow b$ $B \rightarrow C$ A B C S
Which variable does not drive a terminal string in grammar?$S \rightarrow AB$$A \rightarrow a$$B \rightarrow b$$B \rightarrow C$ABCS
3.0k
views
answered
Feb 9, 2018
Compiler Design
isro2011
compiler-design
parsing
+
–
0
votes
51
ISRO2016-38
What is the highest type number that can be assigned to the following grammar? $S\to Aa,A\to Ba,B \to abc$ Type 0 Type 1 Type 2 Type 3
What is the highest type number that can be assigned to the following grammar?$$S\to Aa,A\to Ba,B \to abc$$Type 0Type 1Type 2Type 3
17.6k
views
answered
Feb 8, 2018
Theory of Computation
theory-of-computation
identify-class-language
isro2016
+
–
0
votes
52
Virtual Gate Test Series: Theory Of Computation - Languages
Answe is B, but why is L2 not regular? How to solve it? For L2, $ y=x^{1/n}$ I am not understanding why is this not right?
Answe is B, but why is L2 not regular? How to solve it? For L2, $ y=x^{1/n}$ I am not understanding why is this not right?
446
views
answered
Feb 8, 2018
Theory of Computation
theory-of-computation
regular-language
virtual-gate-test-series
+
–
1
votes
53
Peter Linz Exercise 5.1
Is the following language context-free? L= { uvwvR : u,v,w∈ {a,b}+ |u| = |w| =2 } If yes, provide set of productions for the same.
Is the following language context-free?L= { uvwvR : u,v,w∈ {a,b}+ |u| = |w| =2 }If yes, provide set of productions for the same.
1.3k
views
answered
Feb 8, 2018
Theory of Computation
theory-of-computation
grammar
+
–
0
votes
54
theory of computation
409
views
answered
Feb 8, 2018
Theory of Computation
theory-of-computation
grammar
+
–
0
votes
55
theory of computation
717
views
answered
Feb 8, 2018
Theory of Computation
theory-of-computation
grammar
+
–
0
votes
56
theory of computation
I guess the Language , L = { } ...please verify ...
I guess the Language , L = { } ...please verify ...
369
views
answered
Feb 8, 2018
Theory of Computation
theory-of-computation
grammar
+
–
0
votes
57
Peter Linz Edition 4 Exercise 1.2 Question 16 (Page No. 29)
Find a grammar that generates the language: L = {$w$w^R$ : $w$ ∈ {a, b}+}
Find a grammar that generates the language:L = {$w$$w^R$ : $w$ ∈ {a, b}+}
597
views
answered
Feb 8, 2018
Theory of Computation
theory-of-computation
grammar
peter-linz
peter-linz-edition4
context-free-language
+
–
0
votes
58
Peter Linz Edition 4 Exercise 2.1 Question 2.d, 2.e (Page No. 47)
(d) all strings with at least one a and exactly two b’s (e) all the strings with exactly two a’s and more than two b’s.
(d) all strings with at least one a and exactly two b’s(e) all the strings with exactly two a’s and more than two b’s.
18.8k
views
answered
Feb 8, 2018
Theory of Computation
theory-of-computation
finite-automata
peter-linz
peter-linz-edition4
+
–
0
votes
59
#Theory of computation #Regular Expresions
Regular expression always generates a language.Is it true?Why?
Regular expression always generates a language.Is it true?Why?
392
views
answered
Jan 25, 2018
Theory of Computation
theory-of-computation
regular-expression
+
–
0
votes
60
#TOC what will be the R.E of this DFA?
I'm getting R.E as 0*1(01)*1(0+1)* but people are getting (0+10)*11(1+0)* Please tell, how!?
I'm getting R.E as 0*1(01)*1(0+1)* but people are getting (0+10)*11(1+0)*Please tell, how!?
1.4k
views
answered
Jan 14, 2018
Theory of Computation
finite-automata
regular-expression
+
–
Page:
« prev
1
2
3
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register