Added start of method that generates a list of states reachable from the
current state on an empty string. Has a problem with cycles and results
in an infinite loop. Working on a fix. Intended for use in DFA creation.