let ndfa = { name = "ndfa" ; alphabet = [ "a" ; "b"] ; initial = [1;3] ; accepting = [4] ; transitions = [ (1,"a",1) ; (2,"a",3) ; (3,"a",4) ; (4,"a",4) ; (1,"a",2) ; (4,"b",4) ; (1,"b",1) ] } ;; let ndfa_x_C_ndfa = product ndfa (complementary ndfa) ;; let aut = normalize ndfa_x_C_ndfa ;; print_words_such_that length_leq 5 aut ;;