3
Un automate fini non déterministe (NDFA) peut-il être converti efficacement en automate fini déterministe (DFA) dans un espace / temps sous-exponentiel?
Il y a vingt ans, j'ai construit un package d'expressions régulières qui comprenait des conversions d'expressions régulières vers une machine à états finis (DFA) et pris en charge une multitude d'opérations d'expressions régulières fermées (Kleene star, concatenation, reverse, set operations, etc.). Je n'étais pas sûr des performances les plus défavorables …