<?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-05146660</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-15T19:12:37+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Olivier</forename>
                <surname>Carton</surname>
              </persName>
              <email type="md5">123cfbd614d01704c1bcc7cde21d13ed</email>
              <email type="domain">irif.fr</email>
              <ptr type="url" target="https://www.irif.fr/~carton/"/>
              <idno type="idhal" notation="string">olivier-carton</idno>
              <idno type="idhal" notation="numeric">836550</idno>
              <idno type="halauthorid" notation="string">161094-836550</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2728-6534</idno>
              <idno type="ARXIV">https://arxiv.org/a/carton_o_1</idno>
              <affiliation ref="#struct-557826"/>
              <affiliation ref="#struct-1005016"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Michel</forename>
                <surname>Couvreur</surname>
              </persName>
              <idno type="idhal" notation="numeric">1559388</idno>
              <idno type="halauthorid" notation="string">450166-1559388</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1006-7132</idno>
              <affiliation ref="#struct-241078"/>
              <affiliation ref="#struct-1082343"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Martin</forename>
                <surname>Delacourt</surname>
              </persName>
              <email type="md5">1a792cb9e7882eb40befe541223ee83c</email>
              <email type="domain">univ-orleans.fr</email>
              <idno type="idhal" notation="string">martin-delacourt</idno>
              <idno type="idhal" notation="numeric">171509</idno>
              <idno type="halauthorid" notation="string">10037-171509</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5158-4606</idno>
              <idno type="IDREF">https://www.idref.fr/16082916X</idno>
              <affiliation ref="#struct-300297"/>
              <affiliation ref="#struct-241078"/>
              <affiliation ref="#struct-1082342"/>
            </author>
            <author role="crp">
              <persName>
                <forename type="first">Nicolas</forename>
                <surname>Ollinger</surname>
              </persName>
              <email type="md5">36012ba3dcc5d6ba0aaa94441d5a028f</email>
              <email type="domain">univ-orleans.fr</email>
              <idno type="idhal" notation="string">nicolas-ollinger</idno>
              <idno type="idhal" notation="numeric">1208</idno>
              <idno type="halauthorid" notation="string">14213-1208</idno>
              <idno type="IDREF">https://www.idref.fr/078817374</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6826-1034</idno>
              <affiliation ref="#struct-241078"/>
              <affiliation ref="#struct-1082342"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Nicolas</forename>
                <surname>Ollinger</surname>
              </persName>
              <email type="md5">36012ba3dcc5d6ba0aaa94441d5a028f</email>
              <email type="domain">univ-orleans.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-07-06 11:06:07</date>
              <date type="whenModified">2025-12-19 10:22:02</date>
              <date type="whenReleased">2025-07-06 11:06:07</date>
              <date type="whenProduced">2025-06-30</date>
              <ref type="externalLink" target="http://arxiv.org/pdf/2406.09868"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="101796">
                <persName>
                  <forename>Nicolas</forename>
                  <surname>Ollinger</surname>
                </persName>
                <email type="md5">36012ba3dcc5d6ba0aaa94441d5a028f</email>
                <email type="domain">univ-orleans.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-05146660</idno>
            <idno type="halUri">https://hal.science/hal-05146660</idno>
            <idno type="halBibtex">carton:hal-05146660</idno>
            <idno type="halRefHtml">&lt;i&gt;WORDS 2025&lt;/i&gt;, Jun 2025, Nancy, France. pp.70-82, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-031-97548-6_7"&gt;&amp;#x27E8;10.1007/978-3-031-97548-6_7&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">WORDS 2025, Jun 2025, Nancy, France. pp.70-82, &amp;#x27E8;10.1007/978-3-031-97548-6_7&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-ORLEANS">Université d'Orléans</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="INSA-CVL">INSA CENTRE VAL DE LOIRE</idno>
            <idno type="stamp" n="UNIV-PARIS">Université Paris Cité</idno>
            <idno type="stamp" n="UNIVERSITE-PARIS" corresp="UNIV-PARIS">Université Paris Cité</idno>
            <idno type="stamp" n="UP-SCIENCES">Université Paris Cité - Faculté des Sciences</idno>
            <idno type="stamp" n="IRIF">Institut de Recherche en Informatique Fondamentale</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Olivier</forename>
                    <surname>Carton</surname>
                  </persName>
                  <email type="md5">123cfbd614d01704c1bcc7cde21d13ed</email>
                  <email type="domain">irif.fr</email>
                  <ptr type="url" target="https://www.irif.fr/~carton/"/>
                  <idno type="idhal" notation="string">olivier-carton</idno>
                  <idno type="idhal" notation="numeric">836550</idno>
                  <idno type="halauthorid" notation="string">161094-836550</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2728-6534</idno>
                  <idno type="ARXIV">https://arxiv.org/a/carton_o_1</idno>
                  <affiliation ref="#struct-557826"/>
                  <affiliation ref="#struct-1005016"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Michel</forename>
                    <surname>Couvreur</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1559388</idno>
                  <idno type="halauthorid" notation="string">450166-1559388</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1006-7132</idno>
                  <affiliation ref="#struct-241078"/>
                  <affiliation ref="#struct-1082343"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Martin</forename>
                    <surname>Delacourt</surname>
                  </persName>
                  <email type="md5">1a792cb9e7882eb40befe541223ee83c</email>
                  <email type="domain">univ-orleans.fr</email>
                  <idno type="idhal" notation="string">martin-delacourt</idno>
                  <idno type="idhal" notation="numeric">171509</idno>
                  <idno type="halauthorid" notation="string">10037-171509</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5158-4606</idno>
                  <idno type="IDREF">https://www.idref.fr/16082916X</idno>
                  <affiliation ref="#struct-300297"/>
                  <affiliation ref="#struct-241078"/>
                  <affiliation ref="#struct-1082342"/>
                </author>
                <author role="crp">
                  <persName>
                    <forename type="first">Nicolas</forename>
                    <surname>Ollinger</surname>
                  </persName>
                  <email type="md5">36012ba3dcc5d6ba0aaa94441d5a028f</email>
                  <email type="domain">univ-orleans.fr</email>
                  <idno type="idhal" notation="string">nicolas-ollinger</idno>
                  <idno type="idhal" notation="numeric">1208</idno>
                  <idno type="halauthorid" notation="string">14213-1208</idno>
                  <idno type="IDREF">https://www.idref.fr/078817374</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6826-1034</idno>
                  <affiliation ref="#struct-241078"/>
                  <affiliation ref="#struct-1082342"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">LNCS</title>
                <meeting>
                  <title>WORDS 2025</title>
                  <date type="start">2025-06-30</date>
                  <date type="end">2025-07-04</date>
                  <settlement>Nancy</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <publisher>Springer Nature Switzerland</publisher>
                  <pubPlace>Cham</pubPlace>
                  <biblScope unit="serie">Lecture Notes in Computer Science</biblScope>
                  <biblScope unit="volume">15729</biblScope>
                  <biblScope unit="pp">70-82</biblScope>
                  <date type="datePub">2025-06-30</date>
                </imprint>
              </monogr>
              <idno type="arxiv">2406.09868</idno>
              <idno type="doi">10.1007/978-3-031-97548-6_7</idno>
              <ref type="publisher">https://words2025.loria.fr/en/</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-fl">Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]</classCode>
              <classCode scheme="halDomain" n="info.info-dm">Computer Science [cs]/Discrete Mathematics [cs.DM]</classCode>
              <classCode scheme="halDomain" n="math.math-co">Mathematics [math]/Combinatorics [math.CO]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Abstract numeration systems encode natural numbers using radix ordered words of an infinite regular language and linear recurrence sequences play a key role in their valuation. Sequence automata, which are deterministic finite automata with an additional linear recurrence sequence on each transition, are introduced to compute various ℤ-rational non commutative formal series in abstract numeration systems. Under certain Pisot conditions on the recurrence sequences, the support of these series is regular. This property can be leveraged to derive various synchronized relations including a deterministic finite automaton that computes the addition relation of various Dumont-Thomas numeration systems and deterministic finite automata converting between various numeration systems. A practical implementation for Walnut is provided.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-557826" status="VALID">
          <idno type="IdRef">236453505</idno>
          <idno type="ISNI">0000 0004 7885 7602</idno>
          <idno type="ROR">https://ror.org/05f82e368</idno>
          <orgName>Université Paris Cité</orgName>
          <orgName type="acronym">UPCité</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>85 boulevard Saint-Germain75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://u-paris.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-1005016" status="VALID">
          <idno type="IdRef">193993007</idno>
          <idno type="RNSR">201621976X</idno>
          <idno type="ROR">https://ror.org/02krdtz55</idno>
          <idno type="Wikidata">Q51783269</idno>
          <orgName>Institut de Recherche en Informatique Fondamentale</orgName>
          <orgName type="acronym">IRIF (UMR_8243)</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Université Paris CitéBâtiment Sophie Germain, Case courrier 70148 Place Aurélie Nemours75205 Paris Cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irif.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR8243" active="#struct-441569" type="direct"/>
            <relation name="UMR_8243" active="#struct-557826" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-241078" status="VALID">
          <idno type="IdRef">075434695</idno>
          <idno type="RNSR">200615274F</idno>
          <orgName>Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
          <orgName type="acronym">LIFO</orgName>
          <date type="start">2014-01-01</date>
          <desc>
            <address>
              <addrLine>Bâtiment IIIA, Rue Léonard de Vinci, B.P. 6759, F-45067 ORLEANS Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-orleans.fr/lifo/</ref>
          </desc>
          <listRelation>
            <relation name="EA 4022" active="#struct-300297" type="direct"/>
            <relation name="EA 4022" active="#struct-303079" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-1082343" status="VALID">
          <orgName>Langages, Modèles et Vérification</orgName>
          <orgName type="acronym">LMV</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, Bâtiment IIIA, Rue Léonard de Vinci, B.P. 6759, F-45067 ORLEANS Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-orleans.fr/lifo/equipe.php?id=5&amp;lang=fr&amp;sub=sub1</ref>
          </desc>
          <listRelation>
            <relation active="#struct-241078" type="direct"/>
            <relation name="EA 4022" active="#struct-300297" type="indirect"/>
            <relation name="EA 4022" active="#struct-303079" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300297" status="VALID">
          <idno type="IdRef">026402971</idno>
          <idno type="ISNI">0000 0001 2158 1666</idno>
          <idno type="ROR">https://ror.org/014zrew76</idno>
          <orgName>Université d'Orléans</orgName>
          <orgName type="acronym">UO</orgName>
          <desc>
            <address>
              <addrLine>Château de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orléans cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-orleans.fr/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-1082342" status="VALID">
          <orgName>Graphes, Algorithmes et Modèles de Calcul</orgName>
          <orgName type="acronym">GAMoC</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Bâtiment IIIA, Rue Léonard de Vinci, B.P. 6759, F-45067 ORLEANS Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-orleans.fr/lifo/equipe.php?id=3&amp;lang=fr&amp;sub=sub1</ref>
          </desc>
          <listRelation>
            <relation active="#struct-241078" type="direct"/>
            <relation name="EA 4022" active="#struct-300297" type="indirect"/>
            <relation name="EA 4022" active="#struct-303079" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
          </listRelation>
        </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-303079" status="VALID">
          <idno type="IdRef">203592077</idno>
          <orgName>Institut National des Sciences Appliquées - Centre Val de Loire</orgName>
          <orgName type="acronym">INSA CVL</orgName>
          <date type="start">2014-01-01</date>
          <desc>
            <address>
              <addrLine>88 boulevard Lahitolle, CS 60013, 18022 Bourges cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-centrevaldeloire.fr/fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>