• [^] # Re: Corrections

    Posté par . En réponse à la dépêche Google libère la bibliothèque d'expressions rationnelles RE2. Évalué à 1.

    Attention, je vais peut-être raconter des conneries ou tout du moins être dangereusement imprécis.

    Le "rationnel" vient des fractions rationnelles.

    En gros, si tu prends une fraction rationnelle que tu développes, tu obtiens un mot infini qui se reconnait très facilement avec un automate fini. Par exemple, 123/13=9.(461538)*.

    Pour les fractions d'entier, ça reste quand même très simple mais si on considère des trucs plus évolué à base de fraction polynomiales, on obtient des mots qui correspondent bien aux automates finis.