Question: In class we defined PDAs as only being able to push a single symbol on the stack at a time. That is , we defined

In class we defined PDAs as only being able to push a single symbol on the stack at
a time. That is, we defined the transitions function \delta as taking a state, an input, and a stack
element and outputting a new state and (at most) ONE stack element.
A generalized PDA allows popping more than one symbol and pushing more than one symbol
onto the stack in a single transition. That is, we define a transition function as \delta : Q \times \Sigma \times
\Gamma
-> P(Q \times \Gamma
). For example, a transition (0,00->111) would indicate that on input 0 if
we pop 20s from the stack we would push 31s onto the stack.
Prove that generalized PDAs recognize the same set of languages as the PDAs described in
class

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!