Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Recent questions tagged recursive-and-recursively-enumerable-languages
1
votes
2
answers
151
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?
iarnav
2.2k
views
iarnav
asked
Oct 30, 2017
Theory of Computation
decidability
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
context-free-language
+
–
0
votes
1
answer
152
Turing Machine Question
The set of turning machines which halt on empty input forms a recursively enumerable set?! True or False. Please also state your reason/explanation. AFAIK - TM accept Epsilon if it sees a Blank and goes to accepting state. Thank you!
The set of turning machines which halt on empty input forms a recursively enumerable set?!True or False. Please also state your reason/explanation.AFAIK - TM accept Epsil...
iarnav
693
views
iarnav
asked
Oct 30, 2017
Theory of Computation
turing-machine
decidability
recursive-and-recursively-enumerable-languages
+
–
2
votes
1
answer
153
R.E Language Question
Let A≤mB denotes that language A is mapping reducible (also known as many-to-one reducible) to language B. then what can you say about this - True/False a) A is Recursive, but B is not R.E
Let A≤mB denotes that language A is mapping reducible (also known as many-to-one reducible) to language B.then what can you say about this - True/Falsea) A is Recursive...
iarnav
376
views
iarnav
asked
Oct 30, 2017
Theory of Computation
theory-of-computation
recursive-and-recursively-enumerable-languages
+
–
3
votes
2
answers
154
Recursive Enumerable Language Doubt
We know, Recursive Enumerable Language is not closed under complement. a) So, let's say Y is a R.E language and recursive, then what would be Y' (Y complement)? b) Again Y is a R.E language, but this time Y is not recursive then what would ... S - I get that answer for b) is Y' (Y complement) is not R.E, but why? and also please explain option a)
We know, Recursive Enumerable Language is not closed under complement. a) So, let's say Y is a R.E language and recursive, then what would be Y' (Y complement)?b) Again Y...
iarnav
9.6k
views
iarnav
asked
Oct 27, 2017
Theory of Computation
theory-of-computation
recursive-and-recursively-enumerable-languages
turing-machine
complement
+
–
5
votes
1
answer
155
TOC Test Series
Consider the languages (I) L1= {w#x , where w,x ∈ (0+1)* and # is a special character and w is a prefix of x } . (II) L2={w#x , where w,x ∈ (0+1)* and # is a special character and wR, is a prefix of x}. (III) L3={w#x , where w,x ∈ (0+1)* and # is a ... (II) and (III) is DCFL (I) and (IV) is recursive but not CFL. (I) is recursive , (II) is DCFL , (III) and (IV) are CFL but not DCFL
Consider the languages(I) L1= {w#x , where w,x ∈ (0+1)* and # is a special character and w is a prefix of x } .(II) L2={w#x , where w,x ∈ (0+1)* and # is a special ch...
sunil sarode
931
views
sunil sarode
asked
Oct 14, 2017
Theory of Computation
theory-of-computation
dcfl
recursive-and-recursively-enumerable-languages
+
–
2
votes
2
answers
156
MadeEasy Subject Test: Theory of Computation - Recursive And Recursively Enumerable Languages
rajoramanoj
412
views
rajoramanoj
asked
Sep 28, 2017
Theory of Computation
made-easy-test-series
theory-of-computation
recursive-and-recursively-enumerable-languages
+
–
2
votes
1
answer
157
Decidability
1. {<M,w>| M is a TM, and w is a string, and there exist a TM, M' such that w (does not belongs to) L(M) Intersection L(M')} 2. {<M>| M is a TM, and M is the only TM that accepts L(M) = { } = empty ... of the TM, whose decimal value must be less than 100. Binary Encoding:- 0no of states10no of input symbol10no of tape symbol1... like this other information. Ryt??
1. {<M,w>| M is a TM, and w is a string, and there exist a TM, M' such that w (does not belongs to) L(M) Intersection L(M')}2. {<M>| M is a TM, and M is the only TM that ...
Shubhanshu
969
views
Shubhanshu
asked
Sep 19, 2017
Theory of Computation
decidability
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
+
–
0
votes
1
answer
158
Is this language accepted by a Turing Machine?
Is this language L accepted by a Turing Machine? L = a1n a2n a3n a4n .........amn || m,n > 0 Also, what about this language? L = a1n a2n a3n a4n .........ann || n > 0
Is this language L accepted by a Turing Machine?L = a1n a2n a3n a4n .........amn || m,n 0Also, what about this language?L = a1n a2n a3n a4n .........ann || n 0
Akash Mishra
1.1k
views
Akash Mishra
asked
Sep 11, 2017
Theory of Computation
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
+
–
1
votes
2
answers
159
language (TM)
what is the difference between recursive, RE and REL language?? confuse...
what is the difference between recursive, RE and REL language?? confuse...
Hira Thakur
2.8k
views
Hira Thakur
asked
Aug 24, 2017
Theory of Computation
recursive-and-recursively-enumerable-languages
+
–
4
votes
1
answer
160
decidability
C = { <G,x> | G is a CFG and x is substring of some y ∈ L(G) } . Then C is - a) undecidable b) Turing unrecognizable c) Recursive enumerable d) decidable
C = { <G,x | G is a CFG and x is substring of some y ∈ L(G) } . Then C is -a) undecidable b) Turing unrecognizable c) Recursive enumerable d) decidable
amrendra pal
385
views
amrendra pal
asked
Aug 22, 2017
Theory of Computation
decidability
theory-of-computation
recursive-and-recursively-enumerable-languages
turing-machine
+
–
3
votes
2
answers
161
decidability
C = { <G,k> | G is a CFG and L(G) contains exactly k strings where k>=0 or k=∞ } . Then C will be- a) decidable b) Turing unrecognizable c) Recursive enumerable d) undecidable
C = { <G,k | G is a CFG and L(G) contains exactly k strings where k>=0 or k=∞ } . Then C will be-a) decidableb) Turing unrecognizablec) Recursive enumerabled) undecidab...
amrendra pal
1.1k
views
amrendra pal
asked
Aug 22, 2017
Theory of Computation
decidability
context-free-language
recursive-and-recursively-enumerable-languages
turing-machine
+
–
0
votes
1
answer
162
Recusive enumerable recursive
If a language L and its complement L' are recursively enumerable then choose the correct statement a) L is recursive but not L' b) Both L and L' are recursive c) L' is recursive but not in L d) None of these
If a language L and its complement L' are recursively enumerable then choose the correct statementa) L is recursive but not L'b) Both L and L' are recursivec) L' is recur...
Anshul Shankar
1.0k
views
Anshul Shankar
asked
Aug 22, 2017
Theory of Computation
theory-of-computation
recursive-and-recursively-enumerable-languages
turing-machine
complement
+
–
3
votes
1
answer
163
decidability
S = { < R > | R is a regular expression describing a language containing at least one string w has 111 as a substring (i.e., w = x111y for some x ans y)}. Then what will be S - a) decidable b) undecidable c) Recursive enumerable d) Turing unrecognizable
S = { < R | R is a regular expression describing a language containing at least one string w has 111 as a substring (i.e., w = x111y for some x ans y)}. Then what will b...
amrendra pal
666
views
amrendra pal
asked
Aug 20, 2017
Theory of Computation
decidability
recursive-and-recursively-enumerable-languages
+
–
7
votes
3
answers
164
decidability
A = { <M> | M is a DFA that accepts some string with more 1s than 0s }. Then A is - a) undecidable b) recursive enumerable c) decidable d) none of the above
A = { <M | M is a DFA that accepts some string with more 1s than 0s }. Then A is - a) undecidable b) recursive enumerablec) decidabled) none of the above
amrendra pal
1.8k
views
amrendra pal
asked
Aug 20, 2017
Theory of Computation
decidability
theory-of-computation
recursive-and-recursively-enumerable-languages
turing-machine
+
–
3
votes
3
answers
165
decidability
A = { <R,S> | R and S are regular expressions and L(R) ⊆ L(S) }. Then what about A - a) Turing recognizable b) decidable c) undecidable d) Turing unrecognizable
A = { <R,S | R and S are regular expressions and L(R) ⊆ L(S) }. Then what about A -a) Turing recognizableb) decidablec) undecidabled) Turing unrecognizable
amrendra pal
2.2k
views
amrendra pal
asked
Aug 20, 2017
Theory of Computation
decidability
recursive-and-recursively-enumerable-languages
+
–
3
votes
2
answers
166
decidability
INFINITEDFA= {<A> | A is a DFA and L(A) is an infinite language } . Then - a) INFINITEDFA is decidable. b) INFINITEDFA is undecidable. c) INFINITEDFA is Turing-recognizable. d) INFINITEDFA is Turing-unrecognizable.
INFINITEDFA= {<A | A is a DFA and L(A) is an infinite language } . Then -a) INFINITEDFA is decidable.b) INFINITEDFA is undecidable.c) INFINITEDFA is Turing-recognizable.d...
amrendra pal
746
views
amrendra pal
asked
Aug 20, 2017
Theory of Computation
decidability
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
+
–
2
votes
1
answer
167
decidability
INFINITEPDA = {<M> | M is a PDA and L(M) is an infinite language } . Then - a) INFINITEPDA is undecidable. b) INFINITEPDA is decidable. c) INFINITEPDA is recursive enumerable. d) INFINITEPDA is Turing co-recognizable.
INFINITEPDA = {<M | M is a PDA and L(M) is an infinite language } . Then -a) INFINITEPDA is undecidable.b) INFINITEPDA is decidable.c) INFINITEPDA is recursive enumerable...
amrendra pal
884
views
amrendra pal
asked
Aug 20, 2017
Theory of Computation
decidability
theory-of-computation
recursive-and-recursively-enumerable-languages
+
–
3
votes
1
answer
168
Turing machines and Recursively enumerable languages
If L1 and L2 are Turing-Recognizable then L1 ∪ L2 will be (a) Decidable (b) Turing-recognizable but may not be decidable (c) May not be Turing recognizable (d) None of above
If L1 and L2 are Turing-Recognizable then L1 ∪ L2 will be(a) Decidable(b) Turing-recognizable but may not be decidable(c) May not be Turing recognizable(d) None of abov...
codingo1234
2.2k
views
codingo1234
asked
Aug 20, 2017
Theory of Computation
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
+
–
0
votes
1
answer
169
Recursive and Recursively Enumerable
A language in NOT - RE is un-countably infinite. true or false? pls elaborate the answer you post.
A language in NOT - RE is un-countably infinite. true or false? pls elaborate the answer you post.
Arnabi
757
views
Arnabi
asked
Aug 18, 2017
Theory of Computation
theory-of-computation
recursive-and-recursively-enumerable-languages
+
–
1
votes
1
answer
170
DECIDABILITY
Is complement of language same type or not decidable by CFL and recursive language or not??? Grammar is ambiguous or not? Grammar in regular/CFL/rel decidable or not?
Is complement of language same type or not decidable by CFL and recursive language or not???Grammar is ambiguous or not?Grammar in regular/CFL/rel decidable or not?
learner_geek
1.4k
views
learner_geek
asked
Aug 15, 2017
Theory of Computation
decidability
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
context-free-language
bad-question
+
–
1
votes
0
answers
171
geeksforgeeks
L1 is a recursively enumerable language over Σ. An algorithm A effectively enumerates its words as w1, w2, w3, … Define another language L2 over Σ Union {#} as {wi # wj : wi, wj ∈ L1, i < j}. Here # is a new symbol. Consider the following assertions. S1 : L1 is recursive implies L2 is recursive S1 is correct can anyone explain how?
L1 is a recursively enumerable language over Σ. An algorithm A effectively enumerates its words as w1, w2, w3, … Define another language L2 over Σ Union {#} as {wi # ...
Sunil8860
361
views
Sunil8860
asked
Aug 14, 2017
Theory of Computation
theory-of-computation
recursive-and-recursively-enumerable-languages
+
–
1
votes
0
answers
172
geeksforgeeks
Sunil8860
199
views
Sunil8860
asked
Aug 14, 2017
Theory of Computation
recursive-and-recursively-enumerable-languages
+
–
1
votes
1
answer
173
TOC RE REC
A RE language can also be called as Turing Recognizable,Turing Acceptable or Turing Enumerable. And REC can be called as Turing Decidable. Now When we say that a language is Turing Computable, Strictly what we could say that it is RE or REC? (Ofcourse if it is REC then it is RE also) PS : It would be great if you could provide some reliable source for it.
A RE language can also be called as Turing Recognizable,Turing Acceptable or Turing Enumerable.And REC can be called as Turing Decidable.Now When we say that a language i...
VS
2.4k
views
VS
asked
Aug 9, 2017
Theory of Computation
theory-of-computation
recursive-and-recursively-enumerable-languages
+
–
2
votes
1
answer
174
TOC Not RE language Set
Why set of Not RE languages is uncountable infinite ?Not RE is discrete in nature?
Why set of Not RE languages is uncountable infinite ?Not RE is discrete in nature?
rahul sharma 5
1.6k
views
rahul sharma 5
asked
Aug 7, 2017
Theory of Computation
theory-of-computation
recursive-and-recursively-enumerable-languages
+
–
2
votes
2
answers
175
Self Doubt TOC Enumeration Method
If language L is countable infinite set then, L is Recursive as we can define enumeration method for the countable set. or It can Regular ??
If language L is countable infinite set then, L is Recursive as we can define enumeration method for the countable set.or It can Regular ??
AnilGoudar
709
views
AnilGoudar
asked
Jul 17, 2017
Theory of Computation
theory-of-computation
recursive-and-recursively-enumerable-languages
+
–
0
votes
1
answer
176
Union of R.E and non R.E
What is the class of the language resulting from Union of R.E and non R.E ? (R.E => recursively enumerable)
What is the class of the language resulting from Union of R.E and non R.E ?(R.E = recursively enumerable)
Xylene
1.2k
views
Xylene
asked
Jun 17, 2017
Theory of Computation
theory-of-computation
recursive-and-recursively-enumerable-languages
+
–
0
votes
1
answer
177
Language which is not a CSL but can be accepted by TM
Can anyone give me an example of a language which is not a CSL but can be accepted using a Halting TM?
Can anyone give me an example of a language which is not a CSL but can be accepted using a Halting TM?
Xylene
1.6k
views
Xylene
asked
Jun 15, 2017
Theory of Computation
theory-of-computation
context-free-language
pushdown-automata
context-sensitive
recursive-and-recursively-enumerable-languages
turing-machine
+
–
0
votes
1
answer
178
Peter Linz Exercise 11.1
If L is recursive, is it necessarily true that L+ is also recursive?
If L is recursive, is it necessarily true that L+ is also recursive?
Ayush Upadhyaya
954
views
Ayush Upadhyaya
asked
May 14, 2017
Theory of Computation
theory-of-computation
recursive-and-recursively-enumerable-languages
+
–
0
votes
0
answers
179
Peter Linz Exercise 11.1
Prove that the complement of context free language is recursive.
Prove that the complement of context free language is recursive.
Ayush Upadhyaya
266
views
Ayush Upadhyaya
asked
May 13, 2017
Theory of Computation
theory-of-computation
recursive-and-recursively-enumerable-languages
context-free-language
+
–
5
votes
2
answers
180
ISRO2017-77
If $L$ and $P$ are two recursively enumerable languages then they are not closed under Kleene star $L^*$ of $L$ Intersection $L \cap P$ Union $L \cup P$ Set difference
If $L$ and $P$ are two recursively enumerable languages then they are not closed underKleene star $L^*$ of $L$Intersection $L \cap P$Union $L \cup P$Set difference
sh!va
6.9k
views
sh!va
asked
May 7, 2017
Theory of Computation
isro2017
set-theory
theory-of-computation
recursive-and-recursively-enumerable-languages
closure-property
+
–
Page:
« prev
1
2
3
4
5
6
7
8
9
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register