To make, run 'create'. The Makefile will not work. To create automata, go into the extra directory, edit, and
run create.sh
