0
6.3kviews
Design a PDA that accepts all the strings containing equal number of a and b
1 Answer
written 8.5 years ago by |
The branch has been created keeping in mind that the string can start either with a or b.
Transitions for input abab:
$δ(S,a) = (A)$
$δ(A,a,z_0) = (A,az_0)$
$δ(A,b) = (B)$
$δ(B,b,a) = (B, ε)$
$δ(B,a,z_0) = (A)$
$δ(A,a,z_0) = (A, az_0)$
$δ(A,b) = (B)$
$δ(B,b,a) = (B, ε)$
$δ(B, ε,z_0) = (F, ε)$