Simplifier L'Expression régulière dans Mathematica
j'ai récemment découvert sur Kleene algèbre pour la manipulation et la simplification des expressions régulières.
je me demande si cela a été intégré dans un logiciel de calcul comme Mathematica? Ce serait génial d'avoir un outil de calcul pour faire des syndicats et concaténations de grandes expressions et avoir l'ordinateur les simplifier.
si vous n'êtes pas au courant de programmes avec cette algèbre intégrée, connaissez-vous des programmes qui permettent étendre leurs moteurs avec de nouvelles algèbres?
1 réponses
http://www.maplesoft.com/msw/program/MSW04FinalProgram.pdf, il indique:
l'Un des résultats principaux de la théorie des automates finis est l' célèbre théorème de Kleene, qui stipule qu'une langue est acceptable par un automate fini si et seulement si il peut être représenté par un expression.
et
la principale difficulté du traitement algorithmique des les expressions est, cependant, leur simplification. Bien que plusieurs les identités sont connues concernant les expressions régulières, par exemple, les règles de l'algèbre de Kleene, il n'existe pas d'algorithme efficace pour résoudre le problème de simplification des expressions régulières.
et
dans les circonstances, le seul moyen est de développer des heuristiques algorithmes pour simplifier les expressions régulières. Pour l'
autpackage, cet article décrit les procédures de Maple Rsimplify, Rabsorb et Rexpand.
je me demande s'il existe des implémentations open-source d'algorithmes D'algèbre Kleene.