def concatenation(): A = NFA.of_set({"abc", "ABC"}).renum().visu() B = NFA.of_set({"012", "789"}).renum().visu() C = A + B C = C.visu() # .renum().visu() D = NFA.concatenate(A, B, C).visu().renum().named("D").visu() \ .rm_eps().visu().dfa().visu().mini().visu() # words of fixed length L = NFA.of_length(0, "abc").visu() L = NFA.of_length(2, "abc").visu() L = NFA.of_length(4, "01").visu() L = NFA.of_length(4, "01").setworder(tuple).visu()