Uses of Interface
dk.brics.automaton.AutomatonProvider