(* test NFA accept *)
#use "nfa.ml"

let m = Nfa.make_nfa 0 [1] [(0, Some 'a', 1)];;
print_endline (string_of_bool (Nfa.accept m "") );;
print_endline (string_of_bool (Nfa.accept m "a") );;
print_endline (string_of_bool (Nfa.accept m "b") );;
print_endline (string_of_bool (Nfa.accept m "ba") );;

let m = Nfa.make_nfa 0 [2] [(0, Some 'a', 1); (0, Some 'b', 2)];;
print_endline (string_of_bool (Nfa.accept m "") );;
print_endline (string_of_bool (Nfa.accept m "a") );;
print_endline (string_of_bool (Nfa.accept m "b") );;
print_endline (string_of_bool (Nfa.accept m "ba") );;