How do I simplify this $((ba \cup ab)^∗ \cup b)^\*$? I can draw the NFA for the '$ba$', '$ab$' and '$b$' term but when it comes to linking the '$ba \cup ab$' to the '$)^∗ \cup b)^\*$' i am unsure how to draw the asterisk. Is it just an epsilon transition back to the starting state?