Weeeeell, this ain't quite right. State #1 should go on an input
of "a" to state #4 in addition to or instead of state #2.

Anyone with an idea how to salvage his code or new code would be quite
a savior. This is for a technical report to be given to the world before
summer. It is a teaching tool implementing Hopcraft and Ullmans RE ->
NFA-w-epsilons -> NFA -> DFA "circle of equivalence" transforms with a
graphical interface in SUIT under X. Everything works except Sedgewick's
code, and I dread rewriting it, figuring that if Sedgewick got it wrong,
it must be HARD! (I haven't even found his bug yet.) I already tried
writing it once (iteratively, even). Figures that the only code I steal
doesn't work. :)

I've already had the following ideas tossed at me:

1) Use Henry Spencer's regexp [not exactly what I need -
just union, concatenation and closure is fine]