Это зависит от ваших определений. Тем не менее, трудно представить какое-либо разумное определение DFA, в котором имеется более одного начального состояния. Почему? Ну, вам нужен способ указать, в каком состоянии начинать. Как правило, только входная строка доступна для DFA, и это может быть пустым. Проще представить, что NFA определяется так, что несколько начальных состояний в порядке. Это было бы в основном эквивалентно тому, чтобы иметь отдельное начальное состояние с эпсилон-переходами во множественные начальные состояния, а затем просто просто не показывать «истинное» начальное состояние. Это было бы аналогично тому, как NFA не должны показывать мертвые состояния и могут просто падать.