<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-04507158</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-17T03:57:50+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Monadic Expressions and Their Derivatives</title>
            <author role="aut">
              <persName>
                <forename type="first">Samira</forename>
                <surname>Attou</surname>
              </persName>
              <idno type="halauthorid">1688974-0</idno>
              <affiliation ref="#struct-1001627"/>
            </author>
            <author role="crp">
              <persName>
                <forename type="first">Ludovic</forename>
                <surname>Mignot</surname>
              </persName>
              <email type="md5">f79914721aa67eb3b20972a6373f5089</email>
              <email type="domain">univ-rouen.fr</email>
              <idno type="idhal" notation="string">ludovic-mignot</idno>
              <idno type="idhal" notation="numeric">937401</idno>
              <idno type="halauthorid" notation="string">636249-937401</idno>
              <idno type="ARXIV">https://arxiv.org/a/mignot_l_1</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8262-9707</idno>
              <affiliation ref="#struct-1089482"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Clément</forename>
                <surname>Miklarz</surname>
              </persName>
              <idno type="halauthorid">1557725-0</idno>
              <affiliation ref="#struct-1089482"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Florent</forename>
                <surname>Nicart</surname>
              </persName>
              <idno type="halauthorid">404028-0</idno>
              <affiliation ref="#struct-1089482"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>EDP</forename>
                <surname>Sciences</surname>
              </persName>
              <email type="md5">a8edc67f6f599e9bc00bdb3da3a82e3c</email>
              <email type="domain">edpsciences.org</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2024-03-15 23:28:14</date>
              <date type="whenModified">2025-10-18 03:29:20</date>
              <date type="whenReleased">2024-03-18 11:44:07</date>
              <date type="whenProduced">2024</date>
              <date type="whenEndEmbargoed">2024-03-15</date>
              <ref type="file" target="https://hal.science/hal-04507158v1/document">
                <date notBefore="2024-03-15"/>
              </ref>
              <ref type="file" subtype="publisherPaid" n="1" target="https://hal.science/hal-04507158v1/file/ita230006.pdf" id="file-4507158-3906610">
                <date notBefore="2024-03-15"/>
              </ref>
              <ref type="externalLink" target="https://www.rairo-ita.org/articles/ita/pdf/2024/01/ita230006.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="301560">
                <persName>
                  <forename>EDP</forename>
                  <surname>Sciences</surname>
                </persName>
                <email type="md5">a8edc67f6f599e9bc00bdb3da3a82e3c</email>
                <email type="domain">edpsciences.org</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04507158</idno>
            <idno type="halUri">https://hal.science/hal-04507158</idno>
            <idno type="halBibtex">attou:hal-04507158</idno>
            <idno type="halRefHtml">&lt;i&gt;RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)&lt;/i&gt;, 2024, 58, pp.6. &lt;a target="_blank" href="https://dx.doi.org/10.1051/ita/2023014"&gt;&amp;#x27E8;10.1051/ita/2023014&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2024, 58, pp.6. &amp;#x27E8;10.1051/ita/2023014&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4507158-3906610"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENPC" corresp="PARISTECH">École nationale des ponts et chaussées </idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="PARISTECH">ParisTech</idno>
            <idno type="stamp" n="ENPC-LIGM" corresp="ENPC">Laboratoire d'informatique Gaspard-Monge</idno>
            <idno type="stamp" n="COMUE-NORMANDIE">Normandie Université</idno>
            <idno type="stamp" n="UNIROUEN">Université de Rouen Normandie</idno>
            <idno type="stamp" n="UNIV-EIFFEL">Université Gustave Eiffel</idno>
            <idno type="stamp" n="U-EIFFEL">Université Gustave Eiffel</idno>
            <idno type="stamp" n="GR2IF">Groupe de recherche rouennais en informatique fondamentale </idno>
            <idno type="stamp" n="IP-PARIS-INFORMATIQUE-DONNEES-ET-IA">IP Paris Département d'Informatique, de Données et d'IA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Monadic Expressions and Their Derivatives</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Samira</forename>
                    <surname>Attou</surname>
                  </persName>
                  <idno type="halauthorid">1688974-0</idno>
                  <affiliation ref="#struct-1001627"/>
                </author>
                <author role="crp">
                  <persName>
                    <forename type="first">Ludovic</forename>
                    <surname>Mignot</surname>
                  </persName>
                  <email type="md5">f79914721aa67eb3b20972a6373f5089</email>
                  <email type="domain">univ-rouen.fr</email>
                  <idno type="idhal" notation="string">ludovic-mignot</idno>
                  <idno type="idhal" notation="numeric">937401</idno>
                  <idno type="halauthorid" notation="string">636249-937401</idno>
                  <idno type="ARXIV">https://arxiv.org/a/mignot_l_1</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8262-9707</idno>
                  <affiliation ref="#struct-1089482"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Clément</forename>
                    <surname>Miklarz</surname>
                  </persName>
                  <idno type="halauthorid">1557725-0</idno>
                  <affiliation ref="#struct-1089482"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Florent</forename>
                    <surname>Nicart</surname>
                  </persName>
                  <idno type="halauthorid">404028-0</idno>
                  <affiliation ref="#struct-1089482"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">14938</idno>
                <idno type="issn">0988-3754</idno>
                <idno type="eissn">1290-385X</idno>
                <title level="j">RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)</title>
                <imprint>
                  <publisher>EDP Sciences</publisher>
                  <biblScope unit="volume">58</biblScope>
                  <biblScope unit="pp">6</biblScope>
                  <date type="datePub">2024</date>
                  <date type="dateEpub">2024-03-15</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1051/ita/2023014</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">derivatives of (weighted) regular expressions</term>
                <term xml:lang="en">monads</term>
                <term xml:lang="en">automata constructions</term>
                <term xml:lang="en">haskell implementation</term>
              </keywords>
              <classCode scheme="halDomain" n="math">Mathematics [math]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>There are several well-known ways to compute derivatives of regular expressions due to Brzozowski, Antimirov or Lombardy and Sakarovitch. We propose another one which abstracts the underlying data structures (e.g. sets or linear combinations) using the notion of monad. As an example of this generalization advantage, we first introduce a new derivation technique based on the graded module monad and then show an application of this technique to generalize the parsing of expressions with capture groups and back references. We also extend operators defining expressions to any n-ary functions over value sets, such as classical operations (like negation or intersection for Boolean weights) or more exotic ones (like algebraic mean for rational weights). Moreover, we present how to compute a (non-necessarily finite) automaton from such an extended expression, using the Colcombet and Petrisan categorical definition of automata. These category theory concepts allow us to perform this construction in a unified way, whatever the underlying monad. Finally, to illustrate our work, we present a Haskell implementation of these notions using advanced techniques of functional programming, and we provide a web interface to manipulate concrete examples.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1001627" status="OLD">
          <idno type="IdRef">142877891</idno>
          <idno type="RNSR">200212717U</idno>
          <orgName>Laboratoire d'Informatique Gaspard-Monge</orgName>
          <orgName type="acronym">LIGM</orgName>
          <date type="start">2020-01-01</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>Université Gustave Eiffel, Cité Descartes, Bâtiment Copernic, 5 bd Descartes, 77454 Marne-la-Vallée Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://ligm.u-pem.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301545" type="direct"/>
            <relation name="UMR8049" active="#struct-441569" type="direct"/>
            <relation active="#struct-580722" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1089482" status="VALID">
          <idno type="IdRef">253200113</idno>
          <idno type="ROR">https://ror.org/029qa8t82</idno>
          <orgName>Groupe de recherche rouennais en informatique fondamentale</orgName>
          <orgName type="acronym">GR2IF</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-300318" type="direct"/>
            <relation active="#struct-455934" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-301545" status="OLD">
          <idno type="ROR">https://ror.org/02nwvxz07</idno>
          <orgName>École nationale des ponts et chaussées</orgName>
          <orgName type="acronym">ENPC</orgName>
          <date type="start">1747-02-14</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>École nationale des ponts et chaussées, 6-8 avenue Blaise-Pascal, Cité Descartes, Champs-sur-Marne, 77455 Marne-la-Vallée cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://ecoledesponts.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-580722" status="VALID">
          <idno type="ROR">https://ror.org/03x42jk29</idno>
          <orgName>Université Gustave Eiffel</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Cité Descartes, 5 Boulevard Descartes • Champs-sur-Marne, 77454 Marne-la-Vallée Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-gustave-eiffel.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300318" status="VALID">
          <idno type="IdRef">026403919</idno>
          <idno type="ISNI">0000000121083034</idno>
          <idno type="ROR">https://ror.org/03nhjew95</idno>
          <orgName>Université de Rouen Normandie</orgName>
          <orgName type="acronym">UNIROUEN</orgName>
          <date type="start">1966-01-01</date>
          <desc>
            <address>
              <addrLine>1, rue Thomas Becket 76821 Mont-Saint-Aignan Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-rouen.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-455934" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-455934" status="VALID">
          <idno type="IdRef">190906332</idno>
          <idno type="ISNI">0000000417859671 </idno>
          <idno type="ROR">https://ror.org/01k40cz91</idno>
          <orgName>Normandie Université</orgName>
          <orgName type="acronym">NU</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.normandie-univ.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>