Adds coloring visited transitions.
Replaces List with Set in getAllAcceptedWords to avoid duplicated words.
Adds test for non-determined finite automata.