Design a PDA to check for well-formed parentheses

Mumbai university > Comp > SEM 4 > TCS

Marks: 10M

Year: Dec 2014


$$δ(q_0,(,z_0) = (q_0,(z_0)$$ $$δ(q_0,(,() = (q_0,(()$$ $$δ(q_1,),( ) =(q_1, ε)$$ $$δ(q_0, ε,z_0)=(q_f, ε)$$

enter image description here


What if closing bracket comes when opening bracket is on the top of the stack. That's on q0 state. You directly jumped over q1. Your diagram is correct but in equations you have no where given the q0 to q1 transition

Please log in to add an answer.

Next up

Read More Questions

If you are looking for answer to specific questions, you can search them here. We'll find the best answer for you.


Study Full Subject

If you are looking for good study material, you can checkout our subjects. Hundreds of important topics are covered in them.

Know More