States and transitions can now be added and deleted. Start state and accept states can be edited. It is now possible to define the EPSILON character, though it defaults to '_'. Running the PDA has not yet been implemented.
main.html was only changed to import the script for easy testing. It's functionality has not been changed.