I implemented an RE engine with the capability to display its internal state as it does string matching.
Here is the output of the RE "a*b" matching the string "ab"
The first image is RE engine representation. In the subsequent images the red lines show the possible paths that can be taken after looking at the current character in the string being matched. All the photos are links, you can finder better sizes by browsing the links, if you so desire