Added instance of show for NFAe
Simplified DFA path/path' by remove Maybe usage