Java Applets Centre
Pushdown Automata (Balanced Parentheses)


Description
This applet simulates a PDA that is designed to recognise strings containing a set of balanced parentheses. The transition function is defined as follows:
f(q0, (, e) = (q0, X)
f(q0, (, X) = (q0, XX)
f(q0, ), X) = (q0, e)
The PDA accepts a string by empty stack.


Automata Theory
Java Applets Centre


R. Mukundan
Department of Computer Science
University of Canterbury
Private Bag 4800, Christchurch
New Zealand.