Comment faire correspondre a^n b^n c^n à l'aide d'expressions régulières (PCRE) ?

Match a^n b^n c^n à l'aide d'expressions régulières (PCRE)

Les moteurs d'expressions régulières ont progressé au-delà de la théorie originale des grammaires régulières , leur permettant de gérer des modèles qui étaient auparavant considérés comme impossibles. L'un de ces modèles est la grammaire contextuelle {a^n b^n c^n ; n>0}, qui correspond aux chaînes contenant un nombre égal de a, de b et de c.

Ce modèle complexe peut être mis en correspondance à l'aide de l'expression PCRE suivante :

~^
    (?=(a(?-1)?b)c)
     a+(b(?-1)?c)
$~x

Explication :

• Les ancres ^ et $ garantissent que le modèle correspond à la chaîne entière.
• L'assertion d'anticipation positive (?=(a(?-1)?b) c) vérifie si, pour chaque occurrence de "ab", il y a un nombre égal de c.
• Le groupe a (b(?-1)?c) capture un nombre arbitraire de a, suivi d'un nombre égal de b et de c.

Points clés :

• Le PCRE moderne permet de faire correspondre des modèles non réguliers.
• Ce modèle illustre la puissance des assertions anticipées et des négations récursives.
• La capacité des regex à analyser les grammaires contextuelles remet en question l'idée selon laquelle elles sont limitées aux grammaires régulières.

Exemples de correspondance :

• aaabbbccc correspond à (1)
• aaabbbcc ne correspond pas à (0)
• aaaccc ne correspond pas à (0)
• aabcc ne correspond pas à (0)
• abbcc ne correspond pas à (0)

Cette expression régulière démontre que les capacités de PCRE s'étendent au-delà des langages classiques, lui permettant de traiter davantage modèles complexes.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!