[1] Produce a graph representation that can be consumed by 'dot' (graphviz). [2] Fix bug that caused an empty string to not match against an RE that can accept an empty string.