Design a PDA to check for well-formed parentheses

25kviews

written 7.7 years ago by

teamques10 ★ 64k

• modified 3.4 years ago

theory of computation

ADD COMMENT EDIT

1 Answer

4.5kviews

written 7.7 years ago by

teamques10 ★ 64k

• modified 7.7 years ago

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

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

6.9 years ago by teamques10 ★ 64k

Please log in to add an answer.