An `Automaton` can have more than one initial state. Now, by using the method `getInitialState` only one initial state is returned.