Added toString method to Automata and State
Fixed vector allocation in constructors