Find an explicit turing machine accepting the language

Assignment Help Theory of Computation
Reference no: EM132500616

APM 3430 Theory of Computation - Oakland University

Question 1. Find an explicit Turing machine accepting the language L = {anbncn|n≥2} . Explain briefly why it accepts L.

Question 2. Suppose T is a TM accepting the language L. Describe how you would modify T to obtain another TM accepting L that never halts in the reject state hr.

Question 3. Draw the Insert(σ) TM, which changes the tape contents from yz?σ to yσz, where y ∈ (Σ ∪ {?})∗, σ ∈ Σ ∪ {?}, and z ∈ Σ∗ with Σ = {a, b}.

Question 4. Let T be a TM accepting language L. Show that if there is an integer n so that no matter what the input string is, T never moves its tape head to the right of the nth tape square, then L is regular.

Question 5. Find an unrestricted grammar that generates the following language:

{anxbn | n ≥ 1, x ∈ {a, b}∗ , |x| = n} .

Question 6. Suppose that L is recursively enumerable but not recursive. Show that if T is a TM accepting L, then the language L1 consisting of strings for which T runs forever is not recursively enumerable.

Question 7. Determine whether the following decision problems are decidable or undecidable:

(a) Given a TM T , does it ever reach a state other than its initial state if it starts with a blank tape?

(b) Given a TM T , does T eventually enter every one of its nonhalting states if it begins with a blank tape?

Attachment:- Theory of Computation.rar

Reference no: EM132500616

Questions Cloud

How your memo applied the concepts from the background : Conclude your paper with a discussion of how your memo applied the concepts from the background materials. Be specific as to what sources you used.
Conduct research prospectus on the effects of women staying : Conduct research prospectus on the effects of women staying in an abusive relationships, with focus on societal factors such as hardship, parenting
What do you think led to charles kochs victory in the battle : Ultimately what do you think led to Charles Koch's victory in this battle, and what do you think are the most important lessons on organizational power.
Calculate actual number of direct labour hours incurred : Calculate Actual number of direct labour hours incurred, Labour efficiency variance, Materials quantity variance, Fixed overhead budget variance
Find an explicit turing machine accepting the language : Find an explicit Turing machine accepting the language and Find an unrestricted grammar that generates
Calculate the net present value assuming a rate of return : Calculate the net present value assuming a 17% rate of return (Ignore income taxes). Magna Inc. is considering modernizing production facility.
What will be your target industry : You have decided to start an OD consulting firm after you finish your MHR degree. What will be your target industry? What will you specialize in? How are you.
Write a plan for conversation you would have with employee : Write a plan for the conversation you would have with the employee, based on the concepts found in your textbook. What are the most important points you would.
Calculate revenues needed to obtain target operating income : How man haircuts have to be provided to earn an operating income of $80,000? To breakeven? Calculate the revenues needed to obtain the target operating income

Reviews

Write a Review

Theory of Computation Questions & Answers

  Finite-state machine design

Create a finite-state machine design to turn your FPGA development board into a simple programmable music box.

  Redundant sequence identi cation

Redundant sequence identi cation

  Compute a shortest superstring

Dynamic programming algorithm to compute a shortest superstring.

  Propositional and predicate logic

Write down a structural induction principle for the PlayTree free type

  Design a syntactic analyzer

Design a syntactic analyzer for the language specified by the grammar

  Design unambiguous grammar to parse expressions

Write a program would read two numbers and then print all numbers between the first and the second, inclusive. Design unambiguous grammar to parse expressions

  Consider a logic function with three outputs

Consider a logic function with three outputs,  A ,  B , and  C , and three inputs,  D ,  E , and  F . The function is defined as follows:  A  is true if at least one input is true,  B  is true

  Considering a single programmed operating system

Considering a single programmed operating system, what is the minimal total time required to complete executions of the two processes? You should explain your answer with a diagram.

  How to construct an nfa

Give a construction that assumes you are given a DFA for L and show how to construct an NFA (with or without ε-moves) to recognize sort(L).

  Equivalence classes to construct minimal dfa for language

How many equivalence classes does this relation have and what are they? Use these equivalence classes to construct the minimal DFA for the language.

  Impact of moore-s law on data center costs

Discuss the impact of Moore's law on data center costs on such things as servers and communications equipment. List at least 3 steps or recommendations your data center can take to offset some or all of the effect of Moore's law.

  Problem encountered in statements in predicate logic

How the problem would be encountered in attempting to represent the following statements in Predicate logic. it should be possible to: John only likes to see French movies.

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd