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

  Discus the properties of the regular grammar

Construct a regular grammar G = (V , T , S, P ) that generates the language recognized by the given finite-state machine.

  Essay is about qantas emirates alliance focus on change

essay is about qantas emirates alliance. focus on change took place in qantas airline due to this alliancepart 11.

  Redundant sequence identi cation

Redundant sequence identi cation

  Show that a set s is a maximal pairwise inequivalent set

Show that a set S is a maximal pairwise inequivalent set if and only if it contains exactly one element of each equivalence class.

  Develop the turing machine

Construct a Turing machine with tape symbols 0, 1, and B that, when given a bit string as input.

  Determine the non-functional requirements

Analyse the Case Study documents and develop a candidate architecture to meet the functional and non-functional requirements - Document your proposed architecture with a high level logical view showing functional and technical components in a compon..

  1 discuss which university has the more effective strategyi

1. discuss which university has the more effective strategy?i. provide example of effective hr planning.ii. what are

  Cs476 automata theory and formal languages

CS476: Automata Theory and Formal Languages, State whether the following statements are true or not. You must give a BRIEF explanation or show a counter example to receive full credit.

  Design mealy fsm with the input a and output z

Design a Mealy FSM with the input A and an output Z. If 10101 shows up on A, then in same cycle 1 must show up on Z, else Z is 0.

  Development of photography in samsung cameras

development of photography between Samsung s7 edge camera and Samsung note 2 cameras and see which photograph has more effects and a better quality

  Provide dfa-s accepting the languages over alphabet

Provide DFA's accepting the following languages over alphabet {0,1}. Set of all strings that, when interpreted as the binary integer, is a multiple of 5.

  Minimum state finite automaton for the language

Find the minimum state finite automaton for the language specified by the finite automaton

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