automata.FASimulator