<?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-05333637</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-15T12:12:43+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Regular Grammars for Sets of Graphs of Tree-Width 2</title>
            <author role="aut">
              <persName>
                <forename type="first">Marius</forename>
                <surname>Bozga</surname>
              </persName>
              <email type="md5">8378fbd7f81f33d3aed6a012646ce1cd</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
              <idno type="idhal" notation="string">marius-bozga</idno>
              <idno type="idhal" notation="numeric">1084328</idno>
              <idno type="halauthorid" notation="string">207081-1084328</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4412-5684</idno>
              <affiliation ref="#struct-1043148"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Radu</forename>
                <surname>Iosif</surname>
              </persName>
              <email type="md5">2951d370051adea4194b005ed07b7071</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
              <idno type="idhal" notation="string">radu-iosif</idno>
              <idno type="idhal" notation="numeric">1084329</idno>
              <idno type="halauthorid" notation="string">207082-1084329</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3204-3294</idno>
              <affiliation ref="#struct-1043148"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Florian</forename>
                <surname>Zuleger</surname>
              </persName>
              <idno type="halauthorid">1459523-0</idno>
              <affiliation ref="#struct-19098"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Radu</forename>
                <surname>Iosif</surname>
              </persName>
              <email type="md5">2951d370051adea4194b005ed07b7071</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
            </editor>
            <funder ref="#projanr-55783"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-11-03 09:03:26</date>
              <date type="whenWritten">2024</date>
              <date type="whenModified">2026-01-09 13:32:03</date>
              <date type="whenReleased">2025-11-03 09:09:14</date>
              <date type="whenProduced">2025-06-23</date>
              <date type="whenEndEmbargoed">2025-11-03</date>
              <ref type="file" target="https://hal.science/hal-05333637v1/document">
                <date notBefore="2025-11-03"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-05333637v1/file/main.pdf" id="file-5342974-4573164">
                <date notBefore="2025-11-03"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/2408.01226"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="476673">
                <persName>
                  <forename>Radu</forename>
                  <surname>Iosif</surname>
                </persName>
                <email type="md5">2951d370051adea4194b005ed07b7071</email>
                <email type="domain">univ-grenoble-alpes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-05333637</idno>
            <idno type="halUri">https://hal.science/hal-05333637</idno>
            <idno type="halBibtex">bozga:hal-05333637</idno>
            <idno type="halRefHtml">&lt;i&gt;40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025)&lt;/i&gt;, Jun 2025, Singapour, Singapore. pp.704-717, &lt;a target="_blank" href="https://dx.doi.org/10.1109/LICS65433.2025.00059"&gt;&amp;#x27E8;10.1109/LICS65433.2025.00059&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025), Jun 2025, Singapour, Singapore. pp.704-717, &amp;#x27E8;10.1109/LICS65433.2025.00059&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-5342974-4573164"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="IMAG">IMAG</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="VERIMAG">VERIMAG</idno>
            <idno type="stamp" n="UGA-EPE">Université Grenoble Alpes [2020-*]</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</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">Regular Grammars for Sets of Graphs of Tree-Width 2</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Marius</forename>
                    <surname>Bozga</surname>
                  </persName>
                  <email type="md5">8378fbd7f81f33d3aed6a012646ce1cd</email>
                  <email type="domain">univ-grenoble-alpes.fr</email>
                  <idno type="idhal" notation="string">marius-bozga</idno>
                  <idno type="idhal" notation="numeric">1084328</idno>
                  <idno type="halauthorid" notation="string">207081-1084328</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4412-5684</idno>
                  <affiliation ref="#struct-1043148"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Radu</forename>
                    <surname>Iosif</surname>
                  </persName>
                  <email type="md5">2951d370051adea4194b005ed07b7071</email>
                  <email type="domain">univ-grenoble-alpes.fr</email>
                  <idno type="idhal" notation="string">radu-iosif</idno>
                  <idno type="idhal" notation="numeric">1084329</idno>
                  <idno type="halauthorid" notation="string">207082-1084329</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3204-3294</idno>
                  <affiliation ref="#struct-1043148"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Florian</forename>
                    <surname>Zuleger</surname>
                  </persName>
                  <idno type="halauthorid">1459523-0</idno>
                  <affiliation ref="#struct-19098"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025)</title>
                  <date type="start">2025-06-23</date>
                  <date type="end">2025-06-26</date>
                  <settlement>Singapour</settlement>
                  <country key="SG">Singapore</country>
                </meeting>
                <imprint>
                  <publisher>IEEE</publisher>
                  <biblScope unit="serie">2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)</biblScope>
                  <biblScope unit="pp">704-717</biblScope>
                </imprint>
              </monogr>
              <idno type="arxiv">2408.01226</idno>
              <idno type="doi">10.1109/LICS65433.2025.00059</idno>
              <ref type="publisher">https://lics.siglog.org/lics25/</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="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>Regular word grammars are restricted context-free grammars that define all the recognizable languages of words. This paper generalizes regular grammars from words to certain classes of graphs, by defining regular grammars for unordered unranked trees and graphs of tree-width 2 at most. The qualifier "regular" is justified because these grammars define precisely the recognizable (equivalently, CMSO-definable) sets of the respective graph classes. The proof of equivalence between regular and recognizable sets of graphs relies on the effective construction of a recognizer algebra of size doubly-exponential in the size of the grammar. This sets a 2EXPTIME upper bound on the (EXPTIME-hard) problem of inclusion of a context-free language in a regular language, for graphs of tree-width 2 at most. A further syntactic restriction of regular grammars suffices to capture precisely the MSO-definable sets of graphs of tree-width 2 at most, i.e., the sets defined by CMSO formulæ without cardinality constraints. Moreover, we show that MSO-definability coincides with recognizability by algebras having an aperiodic parallel composition semigroup, for each class of graphs defined by a bound on the tree-width.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1043148" status="VALID">
          <idno type="IdRef">184945623</idno>
          <idno type="ISNI">0000 0004 0382 7652</idno>
          <idno type="RNSR">199511789R</idno>
          <idno type="ROR">https://ror.org/05afmzm11</idno>
          <orgName>VERIMAG</orgName>
          <orgName type="acronym">VERIMAG - IMAG</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>VerimagBâtiment IMAGUniversité Grenoble Alpes700, avenue centrale38401 Saint Martin d’Hères</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www-verimag.imag.fr/?lang=fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR5104" active="#struct-441569" type="direct"/>
            <relation active="#struct-1042703" type="direct"/>
            <relation active="#struct-1043329" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-19098" status="VALID">
          <idno type="IdRef">030036496</idno>
          <idno type="ROR">https://ror.org/04d836q62</idno>
          <orgName>Vienna University of Technology = Technischen Universität Wien</orgName>
          <orgName type="acronym">TU Wien</orgName>
          <desc>
            <address>
              <addrLine>Karlsplatz 13, 1040 Vienna</addrLine>
              <country key="AT"/>
            </address>
            <ref type="url">https://www.tuwien.at/en/</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="regroupinstitution" xml:id="struct-1042703" status="VALID">
          <idno type="IdRef">240648315</idno>
          <idno type="ROR">https://ror.org/02rx3b187</idno>
          <orgName>Université Grenoble Alpes</orgName>
          <orgName type="acronym">UGA</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Adresse CS 40700 - 38058 Grenoble cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-grenoble-alpes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1043329" status="VALID">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1042703" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-55783" status="VALID">
          <idno type="anr">ANR-21-CE48-0011</idno>
          <orgName>NARCO</orgName>
          <desc>Compositions Non-agrégatives de Resources</desc>
          <date type="start">2021</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>