(* test RE to NFA *)
#use "nfa.ml"

let r = Nfa.Char('a');;
let m = Nfa.regexp_to_nfa r;;
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 r = Nfa.Union(Nfa.Char('a'),Nfa.Char('b'));;
let m = Nfa.regexp_to_nfa r;;
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"));;