Pushdown Automata

Description
This applet simulates a PDA that is designed to recognise the language
The strings of the language have an equal number of 'a's and 'b's (Eg. aabaabbb). The transition function is defined as follows:
f(q0, a, e) = (q0, a)
f(q0, a, a) = (q0, aa)
f(q0, a, b) = (q0, e)
f(q0, b, e) = (q0, b)
f(q0, b, b) = (q0, bb)
f(q0, b, a) = (q0, e)
f(q0, e, e) = (q1, e)
The PDA accepts a string by moving to the final state q1.

• Input String: Specify an input string in the textfield, and click the 'Start' button to start the simulation.