{a^nb^n} union {a } является детерминированным или нет

Question

Я запутался, по моему мнению, это не должно быть детерминированным, поскольку будут состояния для (a,zo/azo) перехода в q1 и (a,z0/eplison) перехода в конечное состояние. Это правда или нет