State whether the problem is decidable or undecidable.
If you claim the problem is decidable, then give a high-level, English description of an algorithm to solve the problem.
If you claim the problem is undecidable, then describe a proof-by-reduction to verify your claim. If your proof involves some kind of transformation of M into M’ , then provide a high-level, English description of your transformation. Be sure to specify precisely for each “box” in your proof, what are the inputs to that “box” (i.e., to that program) and what is The output of that “box”.
You are given, as input, some Turing Machine M. The problem is to determine whether M accepts every string that ends with the letter ‘b’.
Thanks a lot for your help!7
Define M' as a turing machine that takes a pair (M,w) as input, where M is a turing machine encoded in some form recognized by M' and w is the input to M.
M' stops and accepts (M,w) whenever the head of the simulated machine M moves to the left while processing input w
For a particular input to M' (M,w), construct the turing machine P as follows:
We have reduced the Universal Turing Machine U to P. Since we know that L(U) is not decidable, we conclude that L(P) is not decidable. Consequently, M' is not decidable.
The proof is by contradiction. Assume that this problem is decidable, then we will show that ATM (the acceptance problem) is also decidable: ATM = { | M is a TM and M accepts w}. Let R be a Turing machine that decides the LEFTMOST problem. That is, R decides the language
LEFTMOST = { | M on input w ever attempts to move its head left when it's head is on the left-most tape cell }.
Now, the idea is to construct a Turing machine S that decides ATM in such a way that it uses R. We can do it as follows: On input , S first modifies machine M to M´, so that M´ moves its head to the left from the left-most cell only when M accepts its input. To ensure that during its computation M´ doesn't move the head left from the left-most position, machine M´ first shifts the input w one position to the right, and places a special symbol on the left-most tape cell. The computation of M´ starts with the head on the second tape cell. If during its computation M´ ever attempts to move its head to the left-most tape cell, M´ finds out that it did so by reading the special symbol and then puts the head back to the second cell, and continues its execution. If M would enter an accept state, then M´ enters a loop that forces the head to move always to the left.
After S has constructed M´ it runs the decider R on input < M´; w>. If R accepts then S accepts, otherwise if R rejects then S rejects. Therefore, ATM is decidable, which is a contradiction.
State whether the problem is decidable or undecidable. If you claim the problem is decidable, then...
For the following problems (except problem 8), state whether the problem is decidable or undecidable. If you claim the problem is decidable, then give a high-level, English description of an algorithm to solve the problem. If you claim the problem is undecidable, then describe a proof- by-reduction to verify your claim. If your proof involves some kind of transformation of M into M', as was done for the BlankTape problem, then provide a high -level, English description of your transformation....
Consider the following decision problems. Indicate which of these problems are undecidable and which are decidable. For decidable problems, sketch an algorithm to decide/solve the problem; for undecidable problems, justify why they are undecidable. To decide whether a PDA accepts the empty string. To decide whether the languages accepted by two context-free grammars have strings in common.
determine if the language is regular, context-free, Turing-decidable, or undecidable. For languages that are regular, give a DFA that accepts the language, a regular expression that generates the language, and a maximal list of strings that are pairwise distinguishable with respect to the language. For languages that are context-free but not regular, prove that the language is not regular and either give a context- free grammar that generates the language or a pushdown automaton that accepts the language. You need...
determine if the language is regular, context-free, Turing-decidable, or undecidable. For languages that are regular, give a DFA that accepts the language, a regular expression that generates the language, and a maximal list of strings that arc pairwise distinguishable with respect to the language. For languages that are context-free but not regular, prove that the language is not regular and either give a context- free grammar that generates the language or a pushdown automaton that accepts the language. You need...
In this problem, your goal is to identify who among a group of people has a certain disease. You collect a blood sample from each of the people in the group, and label them 1 through n. Suppose that you know in advance that exactly one person is infected with the disease, and you must identify who that person is by performing blood tests. In a single blood test, you can specify any subset of the samples, combine a drop...
Hello I have an automata question could you help me? [1Points] Give a formal description of a Turing Machine M that takes two parameters: an integer and an array of integers and decides whether the given integer is an element of the array or not. You can assume that all the integers are between 0 and 9. The input string will be written on the tape of the Turing machine. The first square of the tape contains the integer, the...
You are managing a large scale construction project with hundreds of subprojects, some which have to be completed before others can begin whereas some subprojects can be carried out simultaneously. The project and its subprojects, and the presence of dependencies between subprojects (which subprojects have to be done before which), can be modeled as a connected unweighted directed graph with nodes representing subprojects and directed edges representing dependencies. 42. Which of the following algorithms will allow you to determine if...
You are consulting for a trucking company that does a large amount of business shipping packages between New York and Boston. The volume is high enough that they have to send a number of trucks each day between the two locations. Trucks have a fixed limit w on the maximum amount of weight they are allowed to carry. Boxes arrive at the New York station one by one, and each package i has a weight wi. The trucking station is...
Problem 2: Please, can you help to solve the following problem for me I have hard time to solve it. The following table uses OLS to analyze the correlates of state legislators voting yes on a compromise proposal that moved the state gas tax half way to their preferred alternative. The dependent variable is 1 if the legislator voted for the proposal and 0 if they did not. The independent variables are defined as follows: Voter retribution: Respondents were asked...
Objective: The purpose of this project is to provide you with experience in stating and testing a hypothesis of a given data that you have selected Report Guidelines: You should submit a report describing your activities. Your report should contain the exact sections described below. The point vałues that will be assigned to the sections are listed to the right of the section title. Problem Statement (10): In the problem statement, you should introduce the 1. random variable that you...