0

26kviews

Design a PDA to check for well-formed parentheses

written 8.5 years ago by teamques10 ★ 69k

•   modified 4.1 years ago

theory of computation

ADD COMMENT FOLLOW SHARE EDIT

1 Answer

2

4.9kviews

written 8.5 years ago by teamques10 ★ 69k

•   modified 8.5 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 SHARE 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

7.6 years ago by teamques10 ★ 69k

---