Design a PDA to check for well-formed parentheses

5.0kviews

written 9.4 years ago by

teamques10 ★ 70k

• modified 9.4 years ago

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

Create a free account to keep reading this post.

and 3 others joined a min ago.

ADD COMMENT EDIT

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

8.6 years ago by teamques10 ★ 70k