Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Webpage for Theory of Computation:
Recent questions tagged theory-of-computation
5
votes
3
answers
2851
TOC: Number of states in minimum DFA
I think, there will be 4 states in minimum DFA, following states will be merged in the resulted DFA {q0&q3}, {q4&q5}, {q1&q6}, {q2&q7}
I think, there will be 4 states in minimum DFA, following states will be merged in the resulted DFA{q0&q3}, {q4&q5}, {q1&q6}, {q2&q7}
Manu Thakur
2.2k
views
Manu Thakur
asked
Oct 9, 2017
Theory of Computation
minimal-state-automata
theory-of-computation
finite-automata
+
–
4
votes
1
answer
2852
Computation Theory - Show that the family of regular languages is closed under tail(L) = {y : xy ∈ L for some x ∈ Σ ∗ }
The tail of a language is the set of all suffixes of its strings, that is tail(L) = {y : xy ∈ L for some x ∈ Σ ∗ }.How do I show that the family of regular languag...
Garrett McClure
1.3k
views
Garrett McClure
asked
Oct 9, 2017
Theory of Computation
theory-of-computation
regular-language
finite-automata
regular-expression
+
–
7
votes
2
answers
2853
Modified GATE2014-2-36
Let $L=\left \{ w\in\{0,1\}^* | \text{number of occurances of }(110)=\text{number of occurances of}(011) \right \}$ What is $L$? I think $L$ is regular . Regular expression is -: $L=\left \{ 0^{*}+1^{*}+\left ( \left ( \varepsilon +0+1 \right ) \left ( \varepsilon +0+1 \right ) \right ) + 0^{*}\left ( 0110 \right )^*0^{*}+1^* \left ( 11011 \right )^{*}1^{*} \right \}$
Let $L=\left \{ w\in\{0,1\}^* | \text{number of occurances of }(110)=\text{number of occurances of}(011) \right \}$What is $L$?I think $L$ is regular .Regular expressio...
sourav.
1.4k
views
sourav.
asked
Oct 9, 2017
Theory of Computation
theory-of-computation
regular-language
normal
+
–
0
votes
1
answer
2854
Removing E productions
We need to remover E productions from the grammar Vertices-{A,B,C,S} Terminals={a,b,c,E} S->ABAC A->aA/E B->bB/E C->c
We need to remover E productions from the grammarVertices-{A,B,C,S} Terminals={a,b,c,E}S->ABACA->aA/EB->bB/EC->c
Sahil1994
353
views
Sahil1994
asked
Oct 9, 2017
Theory of Computation
theory-of-computation
grammar
+
–
2
votes
2
answers
2855
MadeEasy Workbook: Theory of Computation - Regular Expressions
find regular expression over {a,b} corresponding to "set of strings containing at most 2a's." a) b*+ b*ab* + b*ab*ab* b) b*(a+ε)b*(a+ε) c) none
find regular expression over {a,b} corresponding to "set of strings containing at most 2a's."a) b*+ b*ab* + b*ab*ab*b) b*(a+ε)b*(a+ε)c) none
charul
893
views
charul
asked
Oct 7, 2017
Theory of Computation
theory-of-computation
regular-expression
made-easy-booklet
+
–
2
votes
2
answers
2856
MadeEasy Workbook: Theory of Computation - Regular Expressions
find the length of string of minimum length in {0,1}* not in the language corresponding to the given RE (0*+1*)* a) 0 b) 1 c) more than 1 d) can't be determined
find the length of string of minimum length in {0,1}* not in the language corresponding to the given RE(0*+1*)*a) 0b) 1c) more than 1d) can't be determined
charul
2.2k
views
charul
asked
Oct 7, 2017
Theory of Computation
theory-of-computation
made-easy-booklet
regular-expression
+
–
1
votes
2
answers
2857
MadeEasy Workbook: Theory of Computation - Finite Automata
Any given transition diagram has an equivalent a) regular expression b) NDFSM c) DFSM d) all of these
Any given transition diagram has an equivalenta) regular expressionb) NDFSMc) DFSMd) all of these
charul
867
views
charul
asked
Oct 6, 2017
Theory of Computation
theory-of-computation
finite-automata
made-easy-booklet
+
–
6
votes
1
answer
2858
TURING MACHINE
junaid ahmad
1.4k
views
junaid ahmad
asked
Oct 5, 2017
Theory of Computation
theory-of-computation
turing-machine
+
–
0
votes
1
answer
2859
self doubt
what is the relation between P AND NP PROBLEMS and decidability?? .. please suggest me a resource to learn in short time or explain in brief
what is the relation between P AND NP PROBLEMS and decidability?? .. please suggest me a resource to learn in short time or explain in brief
Venkat Sai
192
views
Venkat Sai
asked
Oct 4, 2017
Theory of Computation
theory-of-computation
+
–
0
votes
0
answers
2860
Regular language
{XWWrY} is regular or not? XYW € (0,1)+
{XWWrY} is regular or not?XYW € (0,1)+
alokipandey
404
views
alokipandey
asked
Oct 4, 2017
Theory of Computation
theory-of-computation
regular-language
+
–
2
votes
1
answer
2861
Theory of Computation - Show that an algorithm exists for determining if L contains any strings of even length.
Let L be any regular language on Σ = {a, b}. Show that an algorithm exists for determining if L contains any strings of even length.
Garrett McClure
519
views
Garrett McClure
asked
Oct 3, 2017
Theory of Computation
theory-of-computation
finite-automata
regular-language
regular-expression
+
–
0
votes
0
answers
2862
User GATE 2006
Let L1={0n+m1n0m∣n,m≥0}L1={0n+m1n0m∣n,m≥0}, L2={0^n+m 1^n+m 0^m∣n,m≥0}L2={0^n+m 1^n+m 0^m∣n,m≥0} and L3={0^n+m 1^n+m 0^n+m∣n,m≥0}L3={0^n+m 1^n+m 0^n+m∣n,m≥0}. Which of these languages are NOT context free? L1 only L3 only L1 and L2 L2 and L3 THE ABOVE LANGUAGE HAS EPLSILON SO ITS NOT RECOGONIZED BY ANY TURING MACHINE HENCE IS IT NOT RECURSIVELY ENUMERABLE??
LetL1={0n+m1n0m∣n,m≥0}L1={0n+m1n0m∣n,m≥0},L2={0^n+m 1^n+m 0^m∣n,m≥0}L2={0^n+m 1^n+m 0^m∣n,m≥0} andL3={0^n+m 1^n+m 0^n+m∣n,m≥0}L3={0^n+m 1^n+m 0^n+m∣...
Venkat Sai
259
views
Venkat Sai
asked
Oct 3, 2017
Theory of Computation
gate-2006
theory-of-computation
+
–
0
votes
2
answers
2863
self doubt
there is a proof for equivalence of empty stack and final state but what about the prefix property cases empty stack cant accept regular languages which donot accept the prefix property isnt it less powerful than the acceptance by final state ?? what kind of equivalence they have ??
there is a proof for equivalence of empty stack and final state but what about the prefix property cases empty stack cant accept regular languages which donot accept the ...
Venkat Sai
411
views
Venkat Sai
asked
Oct 3, 2017
Theory of Computation
theory-of-computation
empty
stack
final
state
+
–
1
votes
1
answer
2864
Theory-of-computation DFA
Design a minimal DFA accepting L={w ; atleast one 'a' in w is not immediately followed by 'b'}
Design a minimal DFA accepting L={w ; atleast one 'a' in w is not immediately followed by 'b'}
MayankSharma
529
views
MayankSharma
asked
Oct 3, 2017
Theory of Computation
theory-of-computation
finite-automata
minimal-state-automata
+
–
1
votes
2
answers
2865
State True or False: Classes of Grammar and respective automata
Consider the following statements:- I) Type-0 grammar generate exactly all language that can be accepted by a total Turing machine. II) Type-1 grammar generate exactly all languages that can be recognized by a linear bounded automata. ... a both are type 3 grammar but both represent same regular expression as a+ what is wrong in this??
Consider the following statements:-I) Type-0 grammar generate exactly all language that can be accepted by a total Turing machine.II) Type-1 grammar generate exactly all ...
Shubhanshu
2.1k
views
Shubhanshu
asked
Oct 2, 2017
Theory of Computation
theory-of-computation
regular-expression
regular
finite-automata
+
–
1
votes
1
answer
2866
Reducibility
Why this is incorrect? For any two languages A and B, if A ⊆ B, then A is reducible to B.
Why this is incorrect? For any two languages A and B, if A ⊆ B, then A is reducible to B.
sunaina rawat
1.0k
views
sunaina rawat
asked
Oct 2, 2017
Theory of Computation
theory-of-computation
reduction
+
–
1
votes
1
answer
2867
Pushdown Automata: acceptance of a string
In certain Pushdown Automata, will the input string considered accepted if while reading it we reach to final state but 1) the stack in not empty and contain few symbols? AND/OR 2) there is still some remaining part of the string to be read(on processing which we might end up on some non-final state again). An elaborate answer will be highly appreciated.
In certain Pushdown Automata, will the input string considered accepted if while reading it we reach to final state but1) the stack in not empty and contain few symbols?A...
AskHerOut
846
views
AskHerOut
asked
Oct 1, 2017
Theory of Computation
theory-of-computation
pushdown-automata
+
–
3
votes
1
answer
2868
CFL Language
For A, B ⊆ Σ*, define A/B = {x ∈ Σ* | ∃y ∈ B, xy ∈ A} If L is a CFL and R is regular, then L/R is (A) Regular (B) CFL but not regular (C) Recursive but not CFL (D) None of the above
For A, B ⊆ Σ*, defineA/B = {x ∈ Σ* | ∃y ∈ B, xy ∈ A}If L is a CFL and R is regular, then L/R is(A) Regular(B) CFL but not regular(C) Recursive but not CFL(D)...
shivangi5
374
views
shivangi5
asked
Oct 1, 2017
Theory of Computation
context-free-language
theory-of-computation
+
–
1
votes
2
answers
2869
Regular expressions
Are regular expressions (a+b)* and (a*b*)* over alphabet set {a,b} same? If not, which strings are acceptable in one and not in other...
Are regular expressions (a+b)* and (a*b*)* over alphabet set {a,b} same?If not, which strings are acceptable in one and not in other...
MayankSharma
649
views
MayankSharma
asked
Sep 30, 2017
Theory of Computation
theory-of-computation
regular-expression
+
–
0
votes
0
answers
2870
TOC: Complement of the given language
Is the following language CFL? L = complement of {$a^ib^jc^k$ | i!=j and j!=k}
Is the following language CFL?L = complement of {$a^ib^jc^k$ | i!=j and j!=k}
Manu Thakur
615
views
Manu Thakur
asked
Sep 29, 2017
Theory of Computation
theory-of-computation
context-free-language
+
–
1
votes
1
answer
2871
MadeEasy Workbook: Theory of Computation - Finite Automata
If an input string w has n symbols and can be recognized by a mealy machine M1 and equivalent Moore machine M2 then number of output symbols by M1 and M2 are respectively?
If an input string w has n symbols and can be recognized by a mealy machine M1 and equivalent Moore machine M2 then number of output symbols by M1 and M2 are respectively...
charul
921
views
charul
asked
Sep 29, 2017
Theory of Computation
theory-of-computation
finite-automata
mealy-moore-machine
made-easy-booklet
+
–
2
votes
1
answer
2872
test series
consider a tùring mchine which accepts the empty language i.e TM = { (M) | M accepts empty language} the complement of the language that is generated by Turing machine is?
consider a tùring mchine which accepts the empty language i.e TM = { (M) | M accepts empty language} the complement of the language that is generated by Turing machine i...
aaru14
261
views
aaru14
asked
Sep 28, 2017
Theory of Computation
theory-of-computation
+
–
2
votes
1
answer
2873
theory-of-computation
rajoramanoj
593
views
rajoramanoj
asked
Sep 28, 2017
Theory of Computation
theory-of-computation
+
–
2
votes
2
answers
2874
MadeEasy Subject Test: Theory of Computation - Recursive And Recursively Enumerable Languages
rajoramanoj
413
views
rajoramanoj
asked
Sep 28, 2017
Theory of Computation
made-easy-test-series
theory-of-computation
recursive-and-recursively-enumerable-languages
+
–
0
votes
1
answer
2875
MadeEasy Subject Test: Theory of Computation - Regular Expressions
sometimes questions like this will take more time plz anyone provide shortcut to this type ,this is easy but many time checking from 0 length to onward is very time consuming. length of the shortest string not in the language over the alphabet${a,b}$ of following regular expression is............ $a^{*}(a+ba)^{*}b^{*}$
sometimes questions like this will take more time plz anyone provide shortcut to this type ,this is easy but many time checking from 0 length to onward is very time consu...
rajoramanoj
413
views
rajoramanoj
asked
Sep 28, 2017
Theory of Computation
made-easy-test-series
theory-of-computation
regular-expression
+
–
0
votes
1
answer
2876
MadeEasy Subject Test: Theory of Computation - Context Free Language
is there any short-cut to this type questions
is there any short-cut to this type questions
rajoramanoj
354
views
rajoramanoj
asked
Sep 28, 2017
Theory of Computation
made-easy-test-series
theory-of-computation
context-free-language
+
–
0
votes
2
answers
2877
MadeEasy Subject Test: Theory of Computation - Identify Class Language
rajoramanoj
683
views
rajoramanoj
asked
Sep 28, 2017
Theory of Computation
made-easy-test-series
theory-of-computation
identify-class-language
+
–
0
votes
4
answers
2878
minimal DFA
construct the minimal DFA for the language L={ 3rd symbol from the R.H.S is 'a'} and ∈={a.b}.
construct the minimal DFA for the language L={ 3rd symbol from the R.H.S is 'a'} and ∈={a.b}.
jaiganeshcse94
906
views
jaiganeshcse94
asked
Sep 26, 2017
Theory of Computation
finite-automata
theory-of-computation
minimal-state-automata
+
–
5
votes
1
answer
2879
UTM REDUCTION
please give proper reasoning.
please give proper reasoning.
junaid ahmad
643
views
junaid ahmad
asked
Sep 26, 2017
Theory of Computation
theory-of-computation
reduction
+
–
6
votes
1
answer
2880
DCFL,AMBIGUITY
junaid ahmad
2.6k
views
junaid ahmad
asked
Sep 26, 2017
Theory of Computation
theory-of-computation
dcfl
+
–
Page:
« prev
1
...
91
92
93
94
95
96
97
98
99
100
101
...
156
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register