I'm working on a NFA to DFA conversion tool that is different from the Subset Construction and I need to test this tool.
In order to be sure that the immplementation has no bug I'd like to generate a random NFA with these properties:
- The NFA should be connected
- The NFA should have one initial state and one or more final states
- The NFA should have ε-moves
Is there a known algorithm or a paper that explains how to generate this NFA automaton as random as possible?