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 ?
64.3k questions
77.9k answers
244k comments
80.0k users