original automata works again
added vata to this repo