v5.0-alpha

Specification

• Animated visual simulator for pushdown automata.
• Written in Java.
• Saving/loading of a PDA automaton in XML format.