Idea: To create (a*ba)* we need a self loop of the form “a*ba” which can be created using the following NFA.
I have tried somewhat like this using €-NFA. Is it correct ?