paper

VeriFIT · Nov 25, 2024 · 35ba825 · 35ba825
1 parent 6f591e6
commit 35ba825
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/include/mata/nfa/builder.hh b/include/mata/nfa/builder.hh
@@ -47,6 +47,7 @@ Nfa create_sigma_star_nfa(Alphabet* alphabet = new OnTheFlyAlphabet{});
 
 /**
  * Creates Tabakov-Vardi random NFA.
+ * The implementation is based on the paper "Experimental Evaluation of Classical Automata Constructions" by Tabakov and Vardi.
  *
  * @param num_of_states Number of states in the automaton.
  * @param alphabet_size Size of the alphabet.