Add Tabakov-Vardi random automata generator

LearnLib / automatalib

A free, open-source Java library for modeling automata, graphs, and transition systems

http://automatalib.net

Apache License 2.0

92 stars 34 forks source link

Closed jn1z closed 8 months ago

jn1z commented 8 months ago

Add Tabakov-Vardi random automata generator. This method has been used in several papers as an attempt to generate representative NFAs.

Also fix some minor Javadoc typos.