Обобщенный конечный автомат. Ошибка в условии задачи?

[Bach]

Вот условие задачи из учебника "Дискретная математика" (МГТУ им. Баумана, задача 7.20 б)

Построить конечные автоматы, эквивалентные следующим обобщенным конечным автоматам: \newline б) вход $q_0$; выход $q_3$; дуги $(q_0, q_2, (ab)^*), (q_2, q_2, (ca)^*b), (q_0, q_1, \varnothing), (q_1, q_3, c^+), \newline(q_2, q_3, ((b+a)^+c^*)).$

Меня смущает вот эта вот дуга: $(q_0, q_1, \varnothing).$ То есть ни по какому-либо символу алфавита, ни по пустой цепочке невозможен переход из состояния $q_0}$ в состояние $q_1}$. Но это ведь равносильно отсутствию дуги. Тогда зачем писать ее в условии?

Может быть я где-то что-то недопонял в теории? Намекните, пожалуйста.