Intervals - Automaton