Java Applets Centre
Deterministic PDA


Description
This applet simulates a Deterministic PDA that is designed to recognise the language
The transition function is defined as follows:
f(q0, a, e) = (q1, e)
f(q0, a, b) = (q0, e)
f(q0, b, e) = (q0, b)
f(q0, b, b) = (q0, bb)
f(q1, a, e) = (q1, a)
f(q1, a, a) = (q1, aa)
f(q1, b, a) = (q1, e)
f(q1, b, e) = (q0, e)
The DPDA accepts a string by moving to the final state q1.


Automata Theory
Java Applets Centre


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