This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Reduction rule for Kleene's Closure in replacement of Thompson's algorithm
- From: Erik Poupaert <erik dot poupaert at gmail dot com>
- To: gcc at gcc dot gnu dot org
- Date: Sun, 22 May 2005 07:09:18 +0200
- Subject: Reduction rule for Kleene's Closure in replacement of Thompson's algorithm
- Reply-to: Erik Poupaert <erik dot poupaert at gmail dot com>
Hi
I guess there must be people watching this list, interested in this.
I hope I now finally found the way I was looking for, to formulate a
reduction rule for Kleene's Closure which can be used in replacement
of Thompson's algorithm, or so I hope. I could be wrong about it,
however.
http://erik-poupaert.com/12001.html
If anybody feels like veryfying the reduction rule and the resulting
algorithm used to derive a regex DFA directly, feel free to let me
know what your results are.
The reduction rule is:
T{a(xy)*b} = T{ab} + T {axyb} + T{axyxyb}
With T{e} the collection of transitions derived from any regex e.
By applying the rule recursively, one obtains all DFA transitions for
any regex, or so I hope it is true. In such case, if proven to be
true, it is truly a replacement for Thompson's algorithm.
Greetings
Erik Poupaert