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
2
votes
2
answers
2221
Peter Linz Edition 4 Exercise 2.1 Question 21 (Page No. 48)
Let L be the language accepted by the automaton $L = ${$(a^{n})b:n≥0$}. Find a dfa that accepts the language $L^{2} - L$.
Let L be the language accepted by the automaton $L = ${$(a^{n})b:n≥0$}. Find a dfa that accepts the language $L^{2} - L$.
Apoorva Jain
792
views
Apoorva Jain
asked
Jun 30, 2018
Theory of Computation
theory-of-computation
regular-language
peter-linz
peter-linz-edition4
finite-automata
grammar
+
–
0
votes
0
answers
2222
Peter Linz questions
Should i leave out the proving questions in peter linz? I have a good idea about how to use theorems but struggle with proving questions. Since there is a constraint on time, I was thinking about leaving them.
Should i leave out the proving questions in peter linz?I have a good idea about how to use theorems but struggle with proving questions. Since there is a constraint on ti...
mohitjarvissharma
211
views
mohitjarvissharma
asked
Jun 29, 2018
Theory of Computation
theory-of-computation
peter-linz
+
–
0
votes
1
answer
2223
Self Doubt
What is intersection of Context Free languages and Context sensitive languages what is the intersection of Context sensitive and recursive what is the intersection of Context free and recursive
What is intersection of Context Free languages and Context sensitive languageswhat is the intersection of Context sensitive and recursivewhat is the intersection of Conte...
ds2905902
163
views
ds2905902
asked
Jun 29, 2018
Theory of Computation
theory-of-computation
+
–
1
votes
1
answer
2224
Theory of computation
What is intersection of Context Free languages and Context sensitive languages what is the intersection of Context sensitive and recursive what is the intersection of Context free and recursiv
What is intersection of Context Free languages and Context sensitive languageswhat is the intersection of Context sensitive and recursivewhat is the intersection of Conte...
ds2905902
616
views
ds2905902
asked
Jun 29, 2018
Theory of Computation
theory-of-computation
+
–
0
votes
2
answers
2225
Theory of Computation
Please explain, what is the intersection of Context free language and Context Free language intersection of context free and recursive intersection of context sensitive and recursive
Please explain, what is the intersection of Context free language and Context Free languageintersection of context free and recursiveintersection of context sensitive and...
ds2905902
294
views
ds2905902
asked
Jun 29, 2018
Theory of Computation
theory-of-computation
+
–
0
votes
0
answers
2226
PDA Doubt
Please can anyone explain the PDA for reverse of a string via a transition graph
Please can anyone explain the PDA for reverse of a string via a transition graph
Devshree Dubey
725
views
Devshree Dubey
asked
Jun 28, 2018
Theory of Computation
pushdown-automata
theory-of-computation
+
–
0
votes
1
answer
2227
Grammer
A grammar will be meaningless of the (a) terminal set and non-terminal set are not disjoint (b) left hand side of a productions is a single terminal (c) left hand side of a production has no non-terminal (d) all of the above
A grammar will be meaningless of the(a) terminal set and non-terminal set are not disjoint(b) left hand side of a productions is a single terminal(c) left hand side of a ...
K ANKITH KUMAR
2.2k
views
K ANKITH KUMAR
asked
Jun 25, 2018
Theory of Computation
theory-of-computation
grammar
+
–
0
votes
1
answer
2228
#DFA #TOC #theoryofcomputation
How to construct an automata with even number of a's OR odd number of b's?
How to construct an automata with even number of a's OR odd number of b's?
aditykansara
525
views
aditykansara
asked
Jun 23, 2018
Theory of Computation
finite-automata
theory-of-computation
+
–
4
votes
2
answers
2229
DCFL or Not
$\left \{ a^{m+n}b^{m+n}c^{n}|m,n\geq 1 \right \}$ $\left \{ a^{m+n}b^{m+n}c^{k} |m,n,k\geq 1\right \}$ $\left \{ a^{m+n}b^{m+k}c^{n+k} |m,n,k\geq 1\right \}$ Which one DCFL, CFL or CSL?
$\left \{ a^{m+n}b^{m+n}c^{n}|m,n\geq 1 \right \}$$\left \{ a^{m+n}b^{m+n}c^{k} |m,n,k\geq 1\right \}$$\left \{ a^{m+n}b^{m+k}c^{n+k} |m,n,k\geq 1\right \}$Which one DCFL...
srestha
1.6k
views
srestha
asked
Jun 22, 2018
Theory of Computation
theory-of-computation
dcfl
context-free-language
pushdown-automata
+
–
0
votes
0
answers
2230
Moore machine
Can Moore machine be minimized without converting into mealy machine?Is minimization possible directly?
Can Moore machine be minimized without converting into mealy machine?Is minimization possible directly?
Harshitha 123
568
views
Harshitha 123
asked
Jun 21, 2018
Theory of Computation
theory-of-computation
+
–
0
votes
0
answers
2231
Semi-decidability Vs Undecidability
Let L1 and L2 be 2 languages generated by an Unrestricted Grammar. I know that none of the following are decidable. But which of them are semi-decidable and which are Undecidable? 1. Whether L1 is Finite? 2. Whether L1 is Regular? 3. Whether L1 is Equivalent to ... complete? 8. Whether L1 is a subset of L2? 9. Whether (∑* - L1) is finite? 10. Whether L1 is Empty?
Let L1 and L2 be 2 languages generated by an Unrestricted Grammar. I know that none of the following are decidable. But which of them are semi-decidable and which are Und...
Balaji Jegan
628
views
Balaji Jegan
asked
Jun 20, 2018
Theory of Computation
theory-of-computation
decidability
+
–
0
votes
1
answer
2232
Regular Expressions
What is the language produced by.... null*(denoted by phi) doubt from youtube video here
What is the language produced by....null*(denoted by phi) doubt from youtube video here
Kiran005
479
views
Kiran005
asked
Jun 18, 2018
Theory of Computation
theory-of-computation
regular-expression
+
–
0
votes
0
answers
2233
Decidable
All $P$, $NP$ and $NPC$ problems are turing decidable problems. $CFLs$ are in $NP$ area and $CFL's$ are not closed under intersection and complementation. So does it mean that $CFL's$ are undecidable under intersection and complementation. If $CFL$ is undecidable on intersection and complementation then how $NP$ problems can be turing decidable?
All $P$, $NP$ and $NPC$ problems are turing decidable problems. $CFLs$ are in $NP$ area and $CFL's$ are not closed under intersection and complementation. So does it mean...
!KARAN
289
views
!KARAN
asked
Jun 17, 2018
Theory of Computation
theory-of-computation
p-np-npc-nph
decidability
+
–
0
votes
1
answer
2234
MadeEasy Test Series: Theory Of Computation - Regular Expressions
Can someone explain this problem? Thanks in advance
Can someone explain this problem? Thanks in advance
Kalpataru Bose
500
views
Kalpataru Bose
asked
Jun 16, 2018
Theory of Computation
made-easy-test-series
theory-of-computation
regular-expression
+
–
0
votes
1
answer
2235
Peter Linz Edition 4 Exercise 2.1 Question 6 (Page No. 47)
With $Σ = $ {$a,b$} , give a dfa for $L =$ {$w_1aw_2: |w_1|≥ 3, |w_2|≤ 5$}.
With $Σ = $ {$a,b$} , give a dfa for $L =$ {$w_1aw_2: |w_1|≥ 3, |w_2|≤ 5$}.
Harshitha 123
771
views
Harshitha 123
asked
Jun 16, 2018
Theory of Computation
theory-of-computation
peter-linz
peter-linz-edition4
finite-automata
+
–
0
votes
1
answer
2236
Decision properties of finite automata
Is equivalence problem decidable problem or not?
Is equivalence problem decidable problem or not?
Harshitha 123
1.6k
views
Harshitha 123
asked
Jun 15, 2018
Theory of Computation
theory-of-computation
finite-automata
+
–
1
votes
1
answer
2237
Decidable or not
Now define D , the diagonal set of strings: $D=\left \{ w\epsilon \Sigma ^{*} \right \}$ where $w$ is not in $f\left ( w \right )$ Call the correspondence $f$ is countable set $\Sigma ^{*}$ For example $f\left ( \varepsilon \right )=L_{0}$ ,i. ... for all even length string of infinite language etc. Now, the question is 1) is D countable? 2) is D decidable?
Now define D , the diagonal set of strings:$D=\left \{ w\epsilon \Sigma ^{*} \right \}$ where $w$ is not in $f\left ( w \right )$Call the correspondence $f$ is countable...
srestha
233
views
srestha
asked
Jun 15, 2018
Theory of Computation
decidability
theory-of-computation
+
–
0
votes
0
answers
2238
Theory of computation
What is grid automata (m+1)(n+1) state calculation? (For some question asked from Peter Linz unit -2 exercise 2(d) the answer is given as" it is like grid automata and to calculate number of states we can use (m+1)(n+1) if we require m a's and n b's" and the question is "all strings with at least one 'a' and exactly 2b's" )
What is grid automata (m+1)(n+1) state calculation? (For some question asked from Peter Linz unit -2 exercise 2(d) the answer is given as" it is like grid automata and to...
Harshitha 123
221
views
Harshitha 123
asked
Jun 14, 2018
Theory of Computation
finite-automata
theory-of-computation
+
–
1
votes
1
answer
2239
ISRO CS 17
Consider the following statements about the context free grammar G = {S-->SS , S-->ab , S-->ba , S-->^} I. G is ambiguous II. G produces all strings with equal number of a's and b's III. G can be accepted by a deterministic PDA. Which combination below expresses all ... ? A) I only B) I and III C) II and II D) All I,II,III In a answer key shown answer D but II is not right.
Consider the following statements about the context free grammarG = {S >SS , S >ab , S >ba , S >^}I. G is ambiguousII. G produces all strings with equal number of a’s a...
Nikhil Patil
1.3k
views
Nikhil Patil
asked
Jun 13, 2018
Theory of Computation
userisro2017
usermod
theory-of-computation
dcfl
dpda
+
–
0
votes
0
answers
2240
Minimal dfa
How many states will be present in L={w/(n(a) + (2 n(b)mod 3)) lessthan 2} ? (I got 7 states is that correct)
How many states will be present in L={w/(n(a) + (2 n(b)mod 3)) lessthan 2} ? (I got 7 states is that correct)
Harshitha 123
418
views
Harshitha 123
asked
Jun 12, 2018
Theory of Computation
theory-of-computation
minimal-state-automata
finite-automata
number-of-states
+
–
1
votes
1
answer
2241
self made doubt
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$}
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.exampleL1={$a^i b^j c^k│i<j<k$}L2={$a^i b^j...
Divyanshum29
297
views
Divyanshum29
asked
Jun 11, 2018
Theory of Computation
context-free-language
regular-language
theory-of-computation
+
–
1
votes
1
answer
2242
KLP MISHRA
Given {L: every 'a' is followed by "bb"} Design a DFA for LATE(L) and TRUNCATE(L) LATE(L) is obtained by removing the first symbol from L and TRUNCATE(L) is obtained by removing the last symbol from L Eg: If L is 00(0+1)*01 then LATE(L) will be 0(0+1)*01 and TRUNCATE(L) would be 00(0+1)*0
Given {L: every 'a' is followed by "bb"}Design a DFA for LATE(L) and TRUNCATE(L)LATE(L) is obtained by removing the first symbol from L and TRUNCATE(L) is obtained by rem...
Sourav_35
825
views
Sourav_35
asked
Jun 9, 2018
Theory of Computation
theory-of-computation
finite-automata
+
–
1
votes
1
answer
2243
Peter Linz Edition 4 Exercise 2.1 Question 9 (Page No. 48)
Consider the set of strings on {$0,1$} defined by the requirements below. For each, construct an accepting dfa. (a) Every $00$ is followed immediately by a $1$. For example, the strings $101, 0010, 0010011001$ ... strings of length four or greater in which the leftmost three symbols are the same, but different from the rightmost symbol.
Consider the set of strings on {$0,1$} defined by the requirements below. For each, construct anaccepting dfa.(a) Every $00$ is followed immediately by a $1$. For example...
Sourav_35
8.6k
views
Sourav_35
asked
Jun 9, 2018
Theory of Computation
theory-of-computation
peter-linz
peter-linz-edition4
finite-automata
+
–
0
votes
1
answer
2244
Peter Linz
Given L=a^nb ,n>=0.Construct a DFA for L^2
Given L=a^nb ,n>=0.Construct a DFA for L^2
Sourav_35
327
views
Sourav_35
asked
Jun 9, 2018
Theory of Computation
theory-of-computation
+
–
1
votes
1
answer
2245
Conversion of DFA to NFA
Q.) Given an arbitrary DFA with 2N states, what will be the number of states of the corresponding NFA? a) N x N b) 2N c) 2N d) N! Now, as we know that -> no. of states in minimal DFA >= no. of states in NFA. So, anything less ... can be the answer but the answer which I found in the source is option (b) i.e 2N. Please suggest the proper explanation for this problem.
Q.) Given an arbitrary DFA with 2N states, what will be the number of states of the corresponding NFA?a) N x Nb) 2Nc) 2Nd) N!Now, as we know that - no. of states in minim...
garvit_vijai
5.4k
views
garvit_vijai
asked
Jun 9, 2018
Theory of Computation
finite-automata
theory-of-computation
+
–
0
votes
1
answer
2246
Theory of computation
Prince Sindhiya
275
views
Prince Sindhiya
asked
Jun 6, 2018
Theory of Computation
theory-of-computation
+
–
0
votes
1
answer
2247
Theory of computation
Prince Sindhiya
381
views
Prince Sindhiya
asked
Jun 6, 2018
Theory of Computation
theory-of-computation
finite-automata
+
–
1
votes
0
answers
2248
Introduction to Automata Theory- Properties of regular Languages - Q 4.2.10
Suppose that L is any language , not necessarily regular, whose alphabet is {0}; that is the strings of L consist of 0's only. Prove that L* is regular.
Suppose that L is any language , not necessarily regular, whose alphabet is {0}; that is the strings of L consist of 0's only. Prove that L* is regular.
Savvy
338
views
Savvy
asked
Jun 6, 2018
Theory of Computation
theory-of-computation
regular-language
+
–
0
votes
1
answer
2249
Test Series
As all recursive languages are recursively enumerable languages, they also should be Turing Recognizable together with Turing Decidable. This was my logic behind marking the 4th option which says all of the mentioned statements are true. Correct me if I am wrong
As all recursive languages are recursively enumerable languages, they also should be Turing Recognizable together with Turing Decidable. This was my logic behind marking ...
Subham Nagar
331
views
Subham Nagar
asked
Jun 5, 2018
Theory of Computation
theory-of-computation
+
–
1
votes
2
answers
2250
Toc dfa
The minimum number of state in the DFA for the language $L = \{ w \mid (n_a(w)+2n_b(w))mod \hspace{0.1cm} 3<2 \} $ is
The minimum number of state in the DFA for the language $L = \{ w \mid (n_a(w)+2n_b(w))mod \hspace{0.1cm} 3<2 \} $ is
Shivani gaikawad
972
views
Shivani gaikawad
asked
Jun 5, 2018
Theory of Computation
theory-of-computation
finite-automata
minimal-state-automata
+
–
Page:
« prev
1
...
70
71
72
73
74
75
76
77
78
79
80
...
156
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register