Chapter 0: Q47P (page 1)
Let . Let B be the collection of strings that contain at least one 1 in their second half. In other words,
a. Give a PDA that recognizes B
b. Give a CFG that generates B .
Short Answer
a
b
/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}
Learning Materials
Features
Discover
Chapter 0: Q47P (page 1)
Let . Let B be the collection of strings that contain at least one 1 in their second half. In other words,
a. Give a PDA that recognizes B
b. Give a CFG that generates B .
a
b
All the tools & learning materials you need for study success - in one app.
Get started for free
Show that if and , then .
Let where is defined in Problem 2.55. Show that A is not a DCFL. (Hint: Assume that A is a DCFL and consider its DPDA P . Modify P so that its input alphabet is . When it first enters an accept state, it pretends that c's are b's in the input from that point on. What language would the modified P accept?)
Recall the Post Correspondence Problem that we defined in Section 5.2 and its associated language PCP. Show that PCP is decidable relative to ATM.
Show how to compute the descriptive complexity of strings K(x) with an oracle for ATM.
Show that the function K(x) is not a computable function.
What do you think about this solution?
We value your feedback to improve our textbook solutions.