In the DFA module the path function now returns [] on no path
Added code examples of DFA to README.md