De regex à DFA

Convertit un regex en DFA par construction par sous-ensembles — table de transitions complète et nombre d'états minimisé (algorithme de Moore), le tout dans votre navigateur.

Entrée

Essayer un exemple:

Sortie

Local only

Historique récent

Aucun historique

Utilisation

Saisissez ou collez votre entrée dans le champ de saisie.
Ajustez les paramètres si nécessaire.
Copiez ou téléchargez le résultat.

Questions fréquentes

Mes données sont-elles téléversées quelque part ?: Non. Tout le traitement s'effectue localement dans votre navigateur, sans aller-retour serveur.
Cet outil fonctionne-t-il hors ligne ?: Oui. Une fois la page chargée, l'outil s'exécute entièrement côté client et n'a pas besoin de connexion réseau.

Outils associés

Complément de regex

Calcule le vrai complément du langage d'un regex — toute chaîne qu'il ne matche pas entièrement — sous forme de motif ^...$ prêt à l'emploi, par inversion de DFA avec minimisation, dans votre navigateur.

Inclusion de regex

Regex Contains — outil 100% côté client. Confidentialité d'abord, sans aller-retour serveur.

Différence de regex

Construit une regex pour « chaînes correspondant au motif A mais pas au motif B » à partir de deux motifs, un par ligne. La sémantique est asymétrique : A doit correspondre dès le début de la chaîne, tandis que B est rejeté s’il apparaît n’importe où. Forme de sortie : (?=A)(?!.*B).*

Équivalence de regex

Vérifie si deux regex correspondent exactement au même ensemble de chaînes — équivalence sémantique par analyse de DFA produit, avec le contre-exemple le plus court en cas de différence. Un motif par ligne.

Échappement pour regex

Regex Escape String — outil 100% côté client. Confidentialité d'abord, sans aller-retour serveur.

Minimisation de regex

Minimise un regex en toute sécurité — ne supprime que les constructions prouvées sans perte (groupes non capturants redondants, groupes vides) ; les groupes capturants ne sont jamais modifiés et les cas douteux gardent l'original.

De regex à NFA

Convertit un regex en un NFA de Thompson avec transitions ε par construction formelle — états, arêtes symbole et ε, état initial et acceptant, le tout calculé dans votre navigateur.