<?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-00737873</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-20T10:40:41+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Splicing systems and the Chomsky hierarchy</title>
            <author role="aut">
              <persName>
                <forename type="first">Jean</forename>
                <surname>Berstel</surname>
              </persName>
              <email type="md5">07f4a3f437c4d8130675942cb9f2df66</email>
              <email type="domain">univ-mlv.fr</email>
              <idno type="idhal" notation="numeric">836548</idno>
              <idno type="halauthorid" notation="string">177951-836548</idno>
              <affiliation ref="#struct-3210"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Luc</forename>
                <surname>Boasson</surname>
              </persName>
              <idno type="halauthorid">133293-0</idno>
              <affiliation ref="#struct-1033"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Isabelle</forename>
                <surname>Fagnot</surname>
              </persName>
              <email type="md5">65b2854331ba5c615efc01739872be6e</email>
              <email type="domain">univ-mlv.fr</email>
              <idno type="idhal" notation="numeric">930820</idno>
              <idno type="halauthorid" notation="string">208422-930820</idno>
              <affiliation ref="#struct-3210"/>
              <affiliation ref="#struct-300301"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Isabelle</forename>
                <surname>Fagnot</surname>
              </persName>
              <email type="md5">5f31e5b799c513c8a632d7232ee6cf9b</email>
              <email type="domain">irif.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2012-10-02 17:08:53</date>
              <date type="whenModified">2026-04-02 11:58:01</date>
              <date type="whenReleased">2012-10-02 17:08:53</date>
              <date type="whenProduced">2012-06-08</date>
              <ref type="externalLink" target="http://arxiv.org/pdf/1102.0947"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="172056">
                <persName>
                  <forename>Isabelle</forename>
                  <surname>Fagnot</surname>
                </persName>
                <email type="md5">5f31e5b799c513c8a632d7232ee6cf9b</email>
                <email type="domain">irif.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00737873</idno>
            <idno type="halUri">https://hal.science/hal-00737873</idno>
            <idno type="halBibtex">berstel:hal-00737873</idno>
            <idno type="halRefHtml">&lt;i&gt;Theoretical Computer Science&lt;/i&gt;, 2012, 436 (1), pp.2-22. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.tcs.2012.03.008"&gt;&amp;#x27E8;10.1016/j.tcs.2012.03.008&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Theoretical Computer Science, 2012, 436 (1), pp.2-22. &amp;#x27E8;10.1016/j.tcs.2012.03.008&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS7" corresp="UNIV-PARIS">Université Denis Diderot - Paris VII</idno>
            <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="UNIV-MLV">Université de Marne la Vallée</idno>
            <idno type="stamp" n="LIGM_ALGO" corresp="LIGM">Algorithmics</idno>
            <idno type="stamp" n="INSMI">CNRS-INSMI - INstitut des Sciences Mathématiques et de leurs Interactions</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="LIGM" corresp="ENPC">Laboratoire d'informatique Gaspard-Monge</idno>
            <idno type="stamp" n="CV_UNIV-MLV">CV des membres de l'Université de Marne-la-vallée</idno>
            <idno type="stamp" n="CV_LIGM" corresp="CV_UNIV-MLV">CV des membres du LIGM</idno>
            <idno type="stamp" n="LIGM_MOA" corresp="LIGM">Models and Algorithms</idno>
            <idno type="stamp" n="UNIV-PARIS">Université Paris Cité</idno>
            <idno type="stamp" n="UNIV-EIFFEL">Université Gustave Eiffel</idno>
            <idno type="stamp" n="UPEM-UNIVEIFFEL">Université Paris-Est Marne-la-Vallée</idno>
            <idno type="stamp" n="ESIEE-UNIVEIFFEL">ESIEE Paris</idno>
            <idno type="stamp" n="TEST3-HALCNRS">TEST3-HALCNRS</idno>
            <idno type="stamp" n="LIGM_BAAM" corresp="LIGM">Base de données, Automate, Analyse d'agorithmes et Modèles</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">Splicing systems and the Chomsky hierarchy</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean</forename>
                    <surname>Berstel</surname>
                  </persName>
                  <email type="md5">07f4a3f437c4d8130675942cb9f2df66</email>
                  <email type="domain">univ-mlv.fr</email>
                  <idno type="idhal" notation="numeric">836548</idno>
                  <idno type="halauthorid" notation="string">177951-836548</idno>
                  <affiliation ref="#struct-3210"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Luc</forename>
                    <surname>Boasson</surname>
                  </persName>
                  <idno type="halauthorid">133293-0</idno>
                  <affiliation ref="#struct-1033"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Isabelle</forename>
                    <surname>Fagnot</surname>
                  </persName>
                  <email type="md5">65b2854331ba5c615efc01739872be6e</email>
                  <email type="domain">univ-mlv.fr</email>
                  <idno type="idhal" notation="numeric">930820</idno>
                  <idno type="halauthorid" notation="string">208422-930820</idno>
                  <affiliation ref="#struct-3210"/>
                  <affiliation ref="#struct-300301"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">19594</idno>
                <idno type="issn">0304-3975</idno>
                <idno type="eissn">1879-2294</idno>
                <title level="j">Theoretical Computer Science</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">436</biblScope>
                  <biblScope unit="issue">1</biblScope>
                  <biblScope unit="pp">2-22</biblScope>
                  <date type="datePub">2012-06-08</date>
                </imprint>
              </monogr>
              <idno type="arxiv">1102.0947</idno>
              <idno type="doi">10.1016/j.tcs.2012.03.008</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Formal languages</term>
                <term xml:lang="en">Splicing system</term>
                <term xml:lang="en">Chomsky hierarchy</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-fl">Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]</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>In this paper, we prove decidability properties and new results on the position of the family of languages generated by (circular) splicing systems within the Chomsky hierarchy. The two main results of the paper are the following. First, we show that it is decidable, given a circular splicing language and a regular language, whether they are equal. Second, we prove the language generated by an alphabetic splicing system is context-free. Alphabetic splicing systems are a generalization of simple and semi-simple splicing systems already considered in the literature.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-3210" status="OLD">
          <idno type="IdRef">142877891</idno>
          <idno type="ISNI">0000000091039111</idno>
          <idno type="RNSR">200212717U</idno>
          <idno type="ROR">https://ror.org/04t50yk91</idno>
          <orgName>Laboratoire d'Informatique Gaspard-Monge</orgName>
          <orgName type="acronym">LIGM</orgName>
          <date type="start">1992-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Université de Paris-Est Marne-la-Vallée, 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-301243" type="direct"/>
            <relation active="#struct-301545" type="direct"/>
            <relation active="#struct-302035" type="direct"/>
            <relation active="#struct-302085" type="direct"/>
            <relation name="FRA3522 / FR3522" active="#struct-441569" type="direct"/>
            <relation name="UMR8049" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1033" status="OLD">
          <orgName>Laboratoire d'informatique Algorithmique : Fondements et Applications</orgName>
          <orgName type="acronym">LIAFA</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>Université Paris Diderot, Bât. Sophie Germain, case postale 7014, 75205 Paris cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.liafa.jussieu.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300301" type="direct"/>
            <relation name="UMR7089" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300301" status="OLD">
          <idno type="IdRef">027542084</idno>
          <idno type="ISNI">0000000121514068</idno>
          <idno type="ROR">https://ror.org/02n7qrg46</idno>
          <orgName>Université Paris Diderot - Paris 7</orgName>
          <orgName type="acronym">UPD7</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>5 rue Thomas-Mann - 75205 Paris cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris-diderot.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301243" status="OLD">
          <idno type="IdRef">030820499</idno>
          <idno type="ISNI">0000000115124813</idno>
          <idno type="ROR">https://ror.org/02aqt9c37</idno>
          <orgName>Université Paris-Est Marne-la-Vallée</orgName>
          <orgName type="acronym">UPEM</orgName>
          <date type="start">1991-07-22</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>5 boulevard Descartes - Champs-sur-Marne - 77454 Marne-la-Vallée Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-pem.fr/</ref>
          </desc>
        </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="institution" xml:id="struct-302035" status="VALID">
          <idno type="RNSR">199814079S</idno>
          <orgName>ESIEE Paris</orgName>
          <date type="start">2016-11-25</date>
          <desc>
            <address>
              <addrLine>2 boulevard Blaise PascalCité DescartesBP 9993162 Noisy-le-Grand Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.esiee.fr</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-302085" status="VALID">
          <idno type="RNSR">201220485U</idno>
          <orgName>Fédération de Recherche Bézout</orgName>
          <orgName type="acronym">BEZOUT</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>5, bd Descartes, Champs-sur-Marne77455 Marne-la-Vallée Cedex 2 – France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://labex-bezout.fr/bezout-federation/</ref>
          </desc>
          <listRelation>
            <relation name="FRA3522 / FR3522" active="#struct-441569" type="direct"/>
          </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>
      </listOrg>
    </back>
  </text>
</TEI>