Allow log-based automata