Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Filter
No answer
No selected answer
No upvoted answer
Previous GATE
Featured
Recent questions without answers
0
votes
0
answers
5161
#KennethRosen#DiscreteMaths
R is iff $R ^{-1}$ is Total ? a function ? a surjection ? an injection ? a bijection ? Fill in the entries in the table.
R isiff $R ^{-1}$ isTotal?a function?a surjection?an injection?a bijection?Fill in the entries in the table.
Sumiran Agrawal
257
views
Sumiran Agrawal
asked
Mar 30, 2019
Set Theory & Algebra
relations
kenneth-rosen
+
–
1
votes
0
answers
5162
Peter Linz Edition 4 Exercise 2.4 Question 2 (Page No. 68)
Find minimal dfa's for the following languages. In each case prove that the result is minimal. (a) $L =$ {$a^n b^m :n≥2,m≥1$}. (b) $L =$ {$a^n b:n ≥0$} $∪$ {$b^n a:n ≥1$} (c) $L =$ {$a^n :n ≥ 0,n ≠ 3$}. (d) $L =$ {$a^n:n ≠ 2$ and $n ≠4$}. (e) $L =$ {$a^n:n$ mod $3 = 0$} $∪$ {$a^n: n$ mod $5 = 1$}.
Find minimal dfa's for the following languages. In each case prove that the result is minimal.(a) $L =$ {$a^n b^m :n≥2,m≥1$}.(b) $L =$ {$a^n b:n ≥0$} $∪$ {$b^n a:...
Naveen Kumar 3
702
views
Naveen Kumar 3
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
0
votes
0
answers
5163
Peter Linz Edition 4 Exercise 2.4 Question 1 (Page No. 68)
Minimize the number of states in the dfa of following figure:
Minimize the number of states in the dfa of following figure:
Naveen Kumar 3
566
views
Naveen Kumar 3
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
0
votes
0
answers
5164
Peter Linz Edition 4 Exercise 2.3 Question 14 (Page No. 62)
Let $L$ be any language. Define $even (w)$ as the string obtained by extracting from $w$ the letters in even-numbered positions; that is, if $w = a_1a_2a_3a_4…$, then $even (w)= a_2a_4.…$ Corresponding to this, we can define a language $even (L) =$ {$even (w): w ∈ L$}. Prove that if $L$ is regular, so is $even(L)$.
Let $L$ be any language. Define $even (w)$ as the string obtained by extracting from $w$ the letters ineven-numbered positions; that is, if $w = a_1a_2a_3a_4…$...
Naveen Kumar 3
369
views
Naveen Kumar 3
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
2
votes
0
answers
5165
Peter Linz Edition 4 Exercise 2.3 Question 13 (Page No. 62)
Give a simple verbal description of the language accepted by the dfa in following figure. Use this to find another dfa, equivalent to the given one, but with fewer states.
Give a simple verbal description of the language accepted by the dfa in following figure.Use this to find another dfa, equivalent to the given one, but with fewer states....
Naveen Kumar 3
488
views
Naveen Kumar 3
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
0
votes
0
answers
5166
Peter Linz Edition 4 Exercise 2.3 Question 12 (Page No. 62)
Show that if $L$ is regular, so is $L^R$.
Show that if $L$ is regular, so is $L^R$.
Naveen Kumar 3
197
views
Naveen Kumar 3
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
regular-language
+
–
0
votes
0
answers
5167
Peter Linz Edition 4 Exercise 2.3 Question 11 (Page No. 62)
Prove that all finite languages are regular.
Prove that all finite languages are regular.
Naveen Kumar 3
214
views
Naveen Kumar 3
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
regular-language
+
–
0
votes
0
answers
5168
CLRS CHAPTER 25
FOR THE EXTENDED-SHORTEST-PATH if we want to find the distance between 1->4 and the 1->5 +5->4 gives the shortest path and if 1->5 gets its shortest path as 1->2->5 and 5>4 gets its shortest path as 5->3->4 then how will we get it?? as one of the operands is always from the initial array.
FOR THE EXTENDED-SHORTEST-PATH if we want to find the distance between 1->4 and the 1->5 +5->4 gives the shortest path and if 1->5 gets its shortest path as 1->2->5 and ...
Doraemon
261
views
Doraemon
asked
Mar 30, 2019
Programming in C
graph-algorithms
+
–
0
votes
0
answers
5169
Self Doubt
We know that Relational Algebra is $Procedural$ whereas TRC and DRC are $Non-Procedural$ querry languages. But what exactly differentiates them? Please explain using some example. In Relational Algebra we give what to retrieve ... https://stackoverflow.com/questions/32837278/difference-between-relational-algebra-and-relational-calculus/32841232#32841232 Please explain using some example
We know that Relational Algebra is $Procedural$ whereas TRC and DRC are $Non-Procedural$ querry languages. But what exactly differentiates them? Please explain using some...
!KARAN
442
views
!KARAN
asked
Mar 30, 2019
Databases
relational-algebra
tuple-relational-calculus
+
–
0
votes
0
answers
5170
DBMS Korth Edition 6 Exercise 3 Question 23 (Page No. 111)
Consider the query: select course id, semester, year, sec id, avg (tot cred) from takes natural join student where year = 2009 group by course id, semester, year, sec id having count (ID) >= 2; Explain why joining section as well in the from clause would not change the result.
Consider the query:select course id, semester, year, sec id, avg (tot cred)from takes natural join studentwhere year = 2009group by course id, semester, year, sec idhavin...
ajaysoni1924
744
views
ajaysoni1924
asked
Mar 30, 2019
Databases
databases
korth-edition6
relational-model
sql
descriptive
+
–
0
votes
0
answers
5171
DBMS Korth Edition 6 Exercise 6 Question 17 (Page No. 254)
Let R = (A, B) and S = (A, C), and let r (R) and s(S) be relations. Write SQL Queries equivalent to the following domain relational- calculus expressions: a. {< a > | $\exists b (< a, b > \epsilon¸r \wedge b$ = 17)} b. ... ))}
Let R = (A, B) and S = (A, C), and let r (R) and s(S) be relations.Write SQL Queries equivalent to the following domain relational-calculus expressions:a. {< a | $\exist...
ajaysoni1924
579
views
ajaysoni1924
asked
Mar 30, 2019
Databases
databases
korth-edition6
relational-model
relational-calculus
sql
+
–
0
votes
0
answers
5172
DBMS Korth Edition 6 Exercise 7 Question 25 (Page No. 321)
Consider the relation schemas are shown below, which were generated from the E-R diagram in Figure given below. For each schema, specify what foreign key constraints, if any, should be created. teaches (ID, course id, sec id, semester, ... room number) inst dept (ID, dept name) stud dept (ID, dept name) course dept (course id, dept name)
Consider the relation schemas are shown below, which were generatedfrom the E-R diagram in Figure given below. For each schema, specify what foreign keyconstraints, if an...
ajaysoni1924
1.2k
views
ajaysoni1924
asked
Mar 30, 2019
Databases
databases
korth-edition6
relational-model
er-diagram
descriptive
+
–
0
votes
0
answers
5173
self doubt
Are new IIT’s worth joining than old NIT’s if you want to go for phD after M.tech?
Are new IIT’s worth joining than old NIT’s if you want to go for phD after M.tech?
Saideepak Bejawada
546
views
Saideepak Bejawada
asked
Mar 30, 2019
Others
admissions
mtech
iit
nit
+
–
0
votes
0
answers
5174
Peter Linz Edition 5 Exercise 10.2 Question 10 (Page No. 264)
Write out a detailed program for the computation in considering the language $\{a^nb^n\}$. We described a laborious method by which this language can be accepted by a Turing machine with one tape. Using a two-tape machine makes the ... an equal number of $a's$ and $b's$ without repeated back-and-forth movement of the read-write head.
Write out a detailed program for the computation in considering the language $\{a^nb^n\}$. We described a laborious method by which this language can be accepted by a Tur...
Rishi yadav
210
views
Rishi yadav
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition5
theory-of-computation
turing-machine
+
–
0
votes
0
answers
5175
Peter Linz Edition 5 Exercise 10.2 Question 6,7 (Page No. 264)
Exercise 6: Show that for every Turing machine there exists an equivalent standard Turing machine with no more than six states. Exercise 7: Reduce the number of required states in Exercise 6 above as far as you can (Hint: The smallest possible number is three)
Exercise 6: Show that for every Turing machine there exists an equivalent standard Turing machine with no more than six states.Exercise 7: Reduce the number of required s...
Rishi yadav
219
views
Rishi yadav
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition5
theory-of-computation
turing-machine
difficult
+
–
0
votes
0
answers
5176
Peter Linz Edition 5 Exercise 10.2 Question 5 (Page No. 264)
A $\text{queue automaton}$ is an automaton in which the temporary storage is a queue. Assume that such a machine is an online machine, that is, it has no input file, with the string to be processed placed in ... of the computation. Give a formal definition of such an automaton, then investigate its power in relation to Turing machines.
A $\text{queue automaton}$ is an automaton in which the temporary storage is a queue. Assume that such a machine is an online machine, that is, it has no input file, with...
Rishi yadav
229
views
Rishi yadav
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition5
theory-of-computation
turing-machine
difficult
+
–
0
votes
0
answers
5177
Peter Linz Edition 5 Exercise 10.2 Question 2 (Page No. 264)
A multihead Turing machine can be visualized as a Turing machine with a single tape and single control unit but with multiple, independent read-write heads. Give a formal definition of a multihead Turing machine, and then show how much a machine can be simulated with a standard Turing machine.
A multihead Turing machine can be visualized as a Turing machine with a single tape and single control unit but with multiple, independent read-write heads. Give a formal...
Rishi yadav
225
views
Rishi yadav
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition5
theory-of-computation
turing-machine
+
–
0
votes
0
answers
5178
Peter Linz Edition 5 Exercise 10.2 Question 1 (Page No. 264)
Define what one might call a multitape off-line Turing machine and describe how it can be simulated by a standard Turing machine.
Define what one might call a multitape off-line Turing machine and describe how it can be simulated by a standard Turing machine.
Rishi yadav
196
views
Rishi yadav
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition5
theory-of-computation
turing-machine
descriptive
+
–
0
votes
0
answers
5179
Peter Linz Edition 5 Exercise 11.4 Question 3 (Page No. 298)
Find two examples of languages that are deterministic context-free but not linear.
Find two examples of languages that are deterministic context-free but not linear.
Rishi yadav
137
views
Rishi yadav
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition5
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
+
–
0
votes
0
answers
5180
Peter Linz Edition 5 Exercise 11.4 Question 2 (Page No. 298)
Find two examples of languages that are linear but not deterministic context-free.
Find two examples of languages that are linear but not deterministic context-free.
Rishi yadav
132
views
Rishi yadav
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition5
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
+
–
0
votes
0
answers
5181
Peter Linz Edition 5 Exercise 11.4 Question 1 (Page No. 298)
Given examples that demonstrate that all the subset relations depicted in the figure are indeed proper ones.
Given examples that demonstrate that all the subset relations depicted in the figure are indeed proper ones.
Rishi yadav
161
views
Rishi yadav
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition5
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
+
–
0
votes
0
answers
5182
self doubt
A directed acyclic graph has no connected components. TRUE OR FALSE???
A directed acyclic graph has no connected components.TRUE OR FALSE???
Doraemon
256
views
Doraemon
asked
Mar 30, 2019
Programming in C
directed-acyclic-graph
+
–
0
votes
0
answers
5183
Peter Linz Edition 4 Exercise 2.3 Question 10 (Page No. 62)
Define a dfa with multiple initial states in an analogous way to the corresponding nfa in Exercise 18, Section 2.2. Does there always exist an equivalent dfa with a single initial state?
Define a dfa with multiple initial states in an analogous way to the corresponding nfa in Exercise18, Section 2.2. Does there always exist an equivalent dfa with a single...
Naveen Kumar 3
312
views
Naveen Kumar 3
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
0
votes
0
answers
5184
Peter Linz Edition 4 Exercise 2.3 Question 6 (Page No. 62)
Is it true that for every nfa $M = (Q,Σ,δ,q_0,F)$ the complement of $L(M)$ is equal to the set {$w ∈ Σ^*: δ^*(q_0,w) $ $\cap$ $(Q-F)$ $\neq$ $Ø$}? If so, prove it. If not, give a counterexample.
Is it true that for every nfa $M = (Q,Σ,δ,q_0,F)$ the complement of $L(M)$ is equal to the set{$w ∈ Σ^*: δ^*(q_0,w) $ $\cap$ $(Q-F)$ $\neq$ $Ø$}? If so, prove it. ...
Naveen Kumar 3
231
views
Naveen Kumar 3
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
0
votes
0
answers
5185
Peter Linz Edition 4 Exercise 2.3 Question 5 (Page No. 62)
Is it true that for any nfa $M = (Q,Σ,δ,q_0,F)$ the complement of $L(M)$ is equal to the set {$w ∈ Σ^*: δ^*(q_0,w) $ $\cap$ $F= Ø$}? If so, prove it. If not, give a counterexample.
Is it true that for any nfa $M = (Q,Σ,δ,q_0,F)$ the complement of $L(M)$ is equal to the set{$w ∈ Σ^*: δ^*(q_0,w) $ $\cap$ $F= Ø$}? If so, prove it. If not, give a...
Naveen Kumar 3
219
views
Naveen Kumar 3
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
0
votes
0
answers
5186
Peter Linz Edition 4 Exercise 2.3 Question 4 (Page No. 62)
Theorem: Let $L$ be the language accepted by a nondeterministic finite accepter $M_N=(Q_N,Σ,δ_N,q_0,F_N)$. Then there exists a deterministic finite accepter $M_D=(Q_D,Σ,δ_D,${$q_0$}$,F_D)$ such that $L=L(M_D)$. Prove this Theorem. Show in ... the label of $\delta ^*_D(q_0,w)$ contains $q_f$, then $\delta ^*_N(q_0,w)$ also contains $q_f$.
Theorem: Let $L$ be the language accepted by a nondeterministic finite accepter $M_N=(Q_N,Σ,δ_N,q_0,F_N)$. Then there exists a deterministic finite accepter $M_D=(Q_D,�...
Naveen Kumar 3
153
views
Naveen Kumar 3
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
proof
+
–
1
votes
0
answers
5187
Peter Linz Edition 4 Exercise 2.3 Question 3 (Page No. 62)
Convert the following nfa into an equivalent dfa.
Convert the following nfa into an equivalent dfa.
Naveen Kumar 3
981
views
Naveen Kumar 3
asked
Mar 30, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
0
votes
0
answers
5188
SQL practice questions
From where practice SQL query questions of GATE level , apart from previous year questions.
From where practice SQL query questions of GATE level , apart from previous year questions.
Sandy Sharma
1.1k
views
Sandy Sharma
asked
Mar 29, 2019
Databases
sql
+
–
0
votes
0
answers
5189
self doubt
For multiplication method in hashing the formula is h(k)=m* (KA mod 1); m=2^p, k=key , 0<A<1 My question is how does it actually works. Please explain in a detailed way.
For multiplication method in hashing the formula is h(k)=m* (KA mod 1);m=2^p, k=key , 0<A<1My question is how does it actually works.Please explain in a detailed way.
Doraemon
337
views
Doraemon
asked
Mar 29, 2019
Programming in C
multiplication-method
hashing
+
–
0
votes
0
answers
5190
Compiler Design SDT Doubt
What is the SDT to eliminate redundant parenthesis from infix expressions with * and +? what is the concept behind removal of redundant parenthesis and how to start?
What is the SDT to eliminate redundant parenthesis from infix expressions with * and +? what is the concept behind removal of redundant parenthesis and how to start?
aditi19
480
views
aditi19
asked
Mar 29, 2019
Compiler Design
syntax-directed-translation
compiler-design
+
–
Page:
« prev
1
...
168
169
170
171
172
173
174
175
176
177
178
...
593
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register