1) HashAutomaton added
2) ExplicitAutomaton added
3) ArrayAutomaton made subclass of ExplicitAutomaton
4) IO load methods added
IO save method added.