/Herramientas para probar autómatas, expresiones regulares

Para los interesados en teoría de lenguajes, dejo unos links relacionados donde hay aplicaciones para hacer experimentos: crear autómatas a partir de expresiones regulares, editarlos, etc.
Hay para todos los gustos, y es interesante probar algunos (sobre todo los no deterministas, que no se cómo los resuelve!!!).

Este es el mejorcito, para Windows desarrollado por la universidad de Santiago del Estero, un proyecto del sepa : chalchalero
Incluye editor de autómatas, conversiones, minimización, y varias herramientas para el aprendizaje de compiladores.

Otras (aplicaciones web):
http://osteele.com/tools/reanimator/

http://ironphoenix.org/tril/tm/

http://www.cs.duke.edu/~rodger/tools/jflaptmp/