(* test parsing string to RE, then to NFA *)
#use "nfa.ml"

let r = Nfa.string_to_regexp "ab";;
let m = Nfa.regexp_to_nfa r;;
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 "ab") );;
print_endline (string_of_bool (Nfa.accept m "bb") );;