NFA corresponding to the regular expression α = (a*b | ϵ) (b*(a | ϵ))
I think the inner pair of parentheses is out of place - without this pair of parentheses, we get the regular expression
$$\alpha=(a^*b|\epsilon)(b^*a|\epsilon),$$
which seems to satisfy $L(\alpha)=T(M)$... can anyone confirm this? (Sorry, I'm a beginner.)