regex - usos - simplificar expresiones regulares online
Simplificar la expresión regular en Mathematica (1)
En http://www.maplesoft.com/msw/program/MSW04FinalProgram.pdf , indica:
Uno de los resultados básicos de la teoría de los autómatas finitos es el famoso teorema de Kleene, que establece que un lenguaje es aceptable por un autómata finito si y solo si puede representarse mediante una expresión regular.
y
La principal dificultad del tratamiento algorítmico de las expresiones regulares es, sin embargo, su simplificación. Aunque se conocen varias identidades con respecto a las expresiones regulares, por ejemplo, las reglas del álgebra de Kleene, no existe un algoritmo efectivo para resolver el problema de simplificación de las expresiones regulares.
y
Bajo estas circunstancias, la única manera de salir es desarrollar algoritmos heurísticos para simplificar expresiones regulares. Para el paquete
aut, este documento describe los procedimientos de Maple Rsimplify, Rabsorb y Rexpand.
Me pregunto si existen implementaciones de código abierto de algoritmos de álgebra de Kleene.
Recientemente descubrí el álgebra de Kleene para manipular y simplificar expresiones regulares.
Me pregunto si esto se ha incorporado en algún programa de software computacional como Mathematica? Sería genial tener una herramienta computacional para hacer uniones y concatenaciones de expresiones grandes y hacer que la computadora las simplifique.
Si no tiene conocimiento de ningún programa con este álgebra incorporado, ¿conoce algún programa que permita extender sus motores con nuevas álgebras?