let new_nfa_states (s : state)
(f : state) : nfa =
let d = Hashtbl.create def_machine_size in
let e = Hashtbl.create def_machine_size in
let q = create def_machine_size in
add q s;
add q f;
{ s = s;
f = f;
delta = d;
epsilon = e;
q = q;
next_q = max (s + 1) (f + 1)
}