Logging in automaton