for (t_check = s_check->transitions_head; NULL != t_check;
t_check = t_check->next)
{
- if (s_check != s2 && s2 == t_check->state)
+ if (s_check != s1 && s2 == t_check->state)
t_check->state = s1;
}
}
dfa->start = dfa_state_create (&ctx, nfa_set);
automaton_add_state (dfa, dfa->start);
GNUNET_array_append (dfa_stack->states, dfa_stack->len, dfa->start);
+
+ // Create dfa states by combining nfa states
while (dfa_stack->len > 0)
{
dfa_state = dfa_stack->states[dfa_stack->len - 1];
GNUNET_free (dfa_stack);
GNUNET_REGEX_automaton_destroy (nfa);
- /*dfa_minimize (&ctx, dfa);*/
+ dfa_minimize (&ctx, dfa);
return dfa;
}
srand (time (NULL));
for (i = 0; i < 100; i++)
- check_rand += test_random (100, 150, 10);
+ check_rand += test_random (200, 250, 20);
return check_nfa + check_dfa + check_rand;
}