Reduction from the post correspondence problem

Assignment Help Theory of Computation
Reference no: EM132709526

Question 1.Rigorously establish the decidability or undecidability of the following languages:

(a) L = {0n|the decimal expansion of π = 3.14 . . . contains n (or more) consecutive 0's}.

(b) L = {(D) | D is a DFA and L(D) is not recognized by a DFA with fewer states}.

Question 2. Prove that the following language is undecidable by giving a reduction from the Post Correspondence Problem.

L = {(G) | G is a CFG and L(G) contains at least one palindrome}.

Question 3. Let A be any language in P over the alphabet {0, 1}. Prove that LA = {1n | n ∈ N, A ∩ {0, 1}n ≠0} is in NP.

Reference no: EM132709526

Questions Cloud

Federal emergency management agency : Describe the mission of the Federal Emergency Management Agency (FEMA), and provide explanations and examples for each aspect of the mission.
Explain locke view of human nature : Explain Locke's view of human nature. Use details from the textbook to support your description. Explain Hobbes's view of human nature, again using details.
Find order quantity that will minimize total annual cost : A jewelry firm buys semiprecious stones to make bracelets and rings. The supplier quotes a price of $8.80 per stone for quantities of 600 stones or more
What are the five typical factors that lender will consider : What are the five typical factors that a lender will consider when evaluating a credit application? List and describe these five factors.
Reduction from the post correspondence problem : Prove that the following language is undecidable by giving a reduction from the Post Correspondence Problem
Discuss the role of biological triggers : Discuss the role of biological triggers in the role of psychological disorders. Choose one of the following disorders: Depression, Schizophrenia, or Alcoholism.
Modes of entry into foreign markets : Define the following modes of entry into foreign markets:
What are the political-cultural-environmental-economic : What are the political, cultural, environmental, economic, and trade risks present when doing business in the country as an outsider?
Describe the relationship between strategy and structure : Define corporate governance and explain why it is used to monitor and control top-level managers' decisions.

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