[pypy-dev] Finite automata

[Alexander Sedov]

Hello PyPy community,
Looks like I have a patch that somehow simplifies automatas generated
by pypy.interpreter.pyparser.{pylexer,genpytokenize}. It's rather
obvious patch that enables:
* Comparing labels in right order;
* Checking for loops;
* Checking for mutual links.
It is mathematically correct, although it does NOT produce minimal
automata in some cases. It reduces number of resulting states, though.
I'm having troubles with pytest (no such option: --assertmode) so I
could not test it.
If someone could test it and commit it, I'd be happy.
If unit tests are required, I'll write 'em.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: automata.patch
Type: text/x-patch
Size: 9259 bytes
Desc: not available
URL: <http://mail.python.org/pipermail/pypy-dev/attachments/20120315/f87cd77d/attachment-0001.bin>