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

let string_of_int_list l =
    let rec string_of_int_elements l = match l with
          [] -> ""
        | (h::[]) -> string_of_int h
        | (h::t) -> string_of_int h ^ ";" ^ string_of_int_elements t
    in "[" ^ string_of_int_elements l ^ "]"
;;

let prt_int_list l = print_endline (string_of_int_list l)
;;

let m = Nfa.make_nfa 0 [1] [(0, Some 'a', 1)];;
prt_int_list (Nfa.step m [0] 'a') ;;
prt_int_list (Nfa.step m [0] 'b') ;;

let m = Nfa.make_nfa 0 [2] [(0, Some 'a', 1); (0, Some 'b', 2)];;
prt_int_list (Nfa.step m [0] 'a') ;;
prt_int_list (Nfa.step m [0] 'b') ;;