Вопрос по построению диаграммы автомата без выхода

[DjSkydreamer]

Дано событие $E={baaba,bab,aaba,aa}$ Если строю диаграмму состояний автомата с первого слова, то получаю "пустую" (не содержащую состояния) стрелку. Без нее построить схему не получается, если начинать с первого слова. Вопрос заключается в следующем: можно ли строить диаграмму, начиная не с первого слова, а с любого другого, или допускается наличие "пустой" стрелки? Пытался искать ответ на вопрос в учебниках, но такой вопрос там почему-то не освещен. С уважением, прошу помочь.