add automata in the report. arrows are to be added