Chapter 0: Q16E (page 1)
Show that the class of context-free languages is closed under the regular operations, union, concatenation, and star.
Short Answer
The context free languages are closed under union, concatenation, and star operation.
/*! 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: Q16E (page 1)
Show that the class of context-free languages is closed under the regular operations, union, concatenation, and star.
The context free languages are closed under union, concatenation, and star operation.
All the tools & learning materials you need for study success - in one app.
Get started for free
Consider the language B=L(G), where Gis the grammar given in
Exercise 2.13. The pumping lemma for context-free languages, Theorem 2.34,
states the existence of a pumping length p for B . What is the minimum value
of p that works in the pumping lemma? Justify your answer.
A queue automaton is like a push-down automaton except that the stack is replaced by a queue. A queue is a tape allowing symbols to be written only on the left-hand end and read only at the right-hand end. Each write operation (we’ll call it a push) adds a symbol to the left-hand end of the queue and each read operation (we’ll call it a pull) reads and removes a symbol at the right-hand end. As with a PDA, the input is placed on a separate read-only input tape, and the head on the input tape can move only from left to right. The input tape contains a cell with a blank symbol following the input, so that the end of the input can be detected. A queue automaton accepts its input by entering a special accept state at any time. Show that a language can be recognized by a deterministic queue automaton iff the language is Turing-recognizable.
Let is a satisfiable cnf-formula where each variable appears in at most k places}.
a. Show that .
b. Show that-complete.
Let . For each , let be the language consisting of all strings that contain an a exactly K places from the right-hand end.
Thus . Describe an NFA with states that recognizes in terms of both a state diagram and a formal description.
Examine the following formal descriptions of sets so that you understand which members they contain. Write a short informal English description of each set.
What do you think about this solution?
We value your feedback to improve our textbook solutions.