implemented dfa -> brics automaton transformation (used to evaluate automatons)
implemented new starter structure