Question 2–Decidability–True or False? For each of the following statements: determine (and state clearly) whether it is true or false, and give a brief argument (proof) of your claim: (a) Every DFA D halts computation on input e. (b) Every TM M halts computation on input e. (c) We can decide if there exists a word w that a given DFA D accepts by verifying if there is a directed path from the start state 4o to some accept state in a state diagram of D. (d) We can decide if there exists a word w that a given TM M accepts by verifying if there is a directed path from the start state do to accept state goccent in a state

Question 2–Decidability–True or False? For each of the following statements: determine (and state clearly) whether it is true or false, and give a brief argument (proof) of your claim: (a) Every DFA D halts computation on input e. (b) Every TM M halts computation on input e. (c) We can decide if there exists a word w that a given DFA D accepts by verifying if there is a directed path from the start state 4o to some accept state in a state diagram of D. (d) We can decide if there exists a word w that a given TM M accepts by verifying if there is a directed path from the start state do to accept state goccent in a state

Database System Concepts

7th Edition

ISBN:9780078022159

Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Chapter1: Introduction

Section: Chapter Questions

Problem 1PE

See similar textbooks

Similar questions

2. For arbitrary set B explain why each of the following statements is either true or false. (a) BCP(B) (b) B = P(B) 3. Jimmy St. Udent claimed that P({red, blue}) is equal to {red, blue, {red, blue}, Ø}. Explain why Jimmy is either correct or incorrect.
Given the function g(x1,..., x4) = m(0, 2, 4, 5, 10, 11, 13, 15), answer the following questions: a) How many possible implicants for g? b) Find all prime implicants. c) Find all essential prime implicants. d) Derive the equivalent logical expression with the minimum number of Literals.
Long chain of friends: You are given a list of people, and statements of the form “x knows y”. You are asked to find, is there a chain of k distinct people, such as x1 knows x2, x2 knows x3, and xk-1 knows xk. Prove that this problem is NP-complete by using one of the known NP-complete problems (CLIQUE, 3-SAT, Hamiltonian Path, Hamiltonian Cycle, Independent Set, etc.)
Question 2: Encoding Cryptography is the study of trying to create secure information by obscuring the original message. One simple encryption method is to substitute letters from the original message with other letters. To make it harder to decrypt the hidden message, we may also remove clues such as the length of the words in the message and any punctuation or capitalization. Write a function encode that consumes a string message. The function produces a string which is encrypted according the following procedure: • Only the letters from the original message will be encrypted. Other characters such as spaces, punctuation, numeric digits, etc. are not included in the encrypted message at all. • The encrypted message will only contain uppercase letters. • Each letter will be replaced by the uppercase letter at the opposite end of the English alphabet. In other words, A or a will become z, B or b will become Y, C or c will become x, .., z or z will become A. • The encrypted message will…
Conway's Game of Life: This is a zero person game with the following rules: (see Wikipedia for example) Any live cell with fewer than two live neighbours dies, as if by underpopulation. Any live cell with two or three live neighbours lives on to the next generation. Any live cell with more than three live neighbours dies, as if by overpopulation. Any dead cell with exactly three live neighbours becomes a live cell, as if by reproduction. Remember the oscillator or blinker of 3 cells. You can also find this blinker on Wikipedia. 1 21 1 2 1 21 3. 4 6 4. 6. 4 8. 9 8 9 #1 #2. #3 5. Consider now these 3 creatures at stage 1: Show how they look like in the next two stages: stage 2 and stage 3. Explain how you get the answers Creature 1 Creature 2 Creature 3 (here creature 1 is the blinker of 3 cells, horizontally; creature 2 consists of two adjacent cells, creature 3 consists of 4 adjacent cells horiztonally) ww (d) Creature 1 (10%), (e) Creature 2 (8%), (f) Creature 3 (20%)
Appendix A 10-Fold Cross Validation for Parameter Selection Cross Validation is the standard method for evaluation in empirical machine learning. It can also be used for parameter selection if we make sure to use the training set only. To select parameter A of algorithm A(X) over an enumerated range d E [A1,..., A] using dataset D, we do the following: 1. Split the data D into 10 disjoint folds. 2. For each value of A e (A1,..., Ar]: (a) For i = 1 to 10 Train A(A) on all folds but ith fold Test on ith fold and record the error on fold i (b) Compute the average performance of A on the 10 folds. 3. Pick the value of A with the best average performance Now, in the above, D only includes the training data and the parameter A is chosen without the knowledge of the test data. We then re-train on the entire train set D using the chosen A and evaluate the result on the test set.
Consider the following language assuming ∑ = {a, b} The total number of a's are even including null The a's can be either consecutive or non-consecutive The number of b's are not restricted, i.e. any number of b's Build an FA using minimum number of states. Write a regular expression. Justify your answers with examples (abbabaa, aaaa, abababab bbb are acceptd; bababbba and bbbaaa, aaa are NOT accepted).
consider the below incompicle, DrA that is being constructed for all positive integers over (0,1....9} which are divisible by 4 and leaves remainder O. Complete the DFA and identify the final state so that the DFA accepts all the above said input integers. Hint: The condition for a (positive) integer to divisible by 4 is the last three digits of the integer must be divisible by 4. The transitions for the state go is complete for{0…. „9) and for q1, the transitions for (2.6} is missing and so on.
Consider the following segment of code. Assume that i, z, and n are integers, and that n ≥ 0. . State a non-trivial loop invariant (must include two conditions: one each for i and 2). • Prove the invariant. A correct proof using an incorrect invariant would still receive credit. . Be sure the proof includes the final conditions after the loop has ended. Show the final value of z in terms of n. // (n ≥ 0) i = 0; x = 3; 11 while i
L 1. a. Write an algorithm to permutate the given 'n' numbers a₁, az, a3, ... an to a'1 < a'2 < a'3<...< a'n within e(n) in best-case scenario. b. Derive the worst-case tight-bound notation of the algorithm stated in Question 1.
Please answer the following question in depth with full detail. Consider the 8-puzzle that we discussed in class. Suppose we define a new heuristic function h3 which is the average of h1 and h2, and another heuristic function h4 which is the sum of h1 and h2. That is, for every state s ∈ S: h3(s) =h1(s) + h2(s) 2 h4(s) =h1(s) + h2(s) where h1 and h2 are defined as “the number of misplaced tiles”, and “the sum of the distances of the tiles from their goal positions”, respectively. Are h3 and h4 admissible? If admissible, compare their dominance with respect to h1 and h2, if not, provide a counterexample, i.e. a puzzle configuration where dominance does not hold.
Computer Science Prove that the set M = {x ∈ R: x 2 = 2a3 b , a ∈ N, b ∈ N} is countably infinite. Your solution should either give a bijective function f : N → M or give pseudo-code of a program that prints all the values of such a function, in the following format (in this case you don’t have to define f explicitly, but need to also show the first five lines of output): 0: element of M 1: another element of M 2: yet another element of M