Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs

Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings