matrix from Automaton removed, only states knows transitions
AutomatonBuilder builds an automaton from postfix expression - Optional Shoesrb GUI added