<?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-01435034</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-20T05:54:57+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">The Group of Reversible Turing Machines</title>
            <author role="aut">
              <persName>
                <forename type="first">Sebastián</forename>
                <surname>Barbieri</surname>
              </persName>
              <email type="md5">139d860a5644968de0b0018e01f8f769</email>
              <email type="domain">ens-lyon.fr</email>
              <idno type="idhal" notation="numeric">998312</idno>
              <idno type="halauthorid" notation="string">1017587-998312</idno>
              <affiliation ref="#struct-35418"/>
              <affiliation ref="#struct-544673"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jarkko</forename>
                <surname>Kari</surname>
              </persName>
              <email type="md5">dc7f1208db5cea6b5b988fae10f10a6e</email>
              <email type="domain">utu.fi</email>
              <idno type="idhal" notation="string">jarkko-kari</idno>
              <idno type="idhal" notation="numeric">20988</idno>
              <idno type="halauthorid" notation="string">13201-20988</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0670-6138</idno>
              <idno type="IDREF">https://www.idref.fr/164068937</idno>
              <affiliation ref="#struct-300810"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Ville</forename>
                <surname>Salo</surname>
              </persName>
              <email type="md5">b3ea2ad258d94d514185bfb591e88399</email>
              <email type="domain">utu.fi</email>
              <idno type="idhal" notation="numeric">998313</idno>
              <idno type="halauthorid" notation="string">1027872-998313</idno>
              <affiliation ref="#struct-142796"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-01-13 15:24:06</date>
              <date type="whenModified">2025-10-13 09:44:14</date>
              <date type="whenReleased">2017-01-13 15:29:41</date>
              <date type="whenProduced">2016-06-15</date>
              <date type="whenEndEmbargoed">2019-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01435034v1/document">
                <date notBefore="2019-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01435034v1/file/395687_1_En_5_Chapter.pdf" id="file-1435034-1516281">
                <date notBefore="2019-01-01"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/1603.08715"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01435034</idno>
            <idno type="halUri">https://inria.hal.science/hal-01435034</idno>
            <idno type="halBibtex">barbieri:hal-01435034</idno>
            <idno type="halRefHtml">&lt;i&gt;22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA)&lt;/i&gt;, Jun 2016, Zurich, Switzerland. pp.49-62, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-39300-1_5"&gt;&amp;#x27E8;10.1007/978-3-319-39300-1_5&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.49-62, &amp;#x27E8;10.1007/978-3-319-39300-1_5&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1435034-1516281"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-LYON">École Normale Supérieure de Lyon</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-LYON1">Université Claude Bernard - Lyon I</idno>
            <idno type="stamp" n="LIP" corresp="UNIV-LYON1">Laboratoire de l'Informatique du Parallélisme</idno>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="INRIA-CHILE">INRIA Chile</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-TC1" corresp="IFIP-TC">IFIP TC1: Foundations of Computer Science</idno>
            <idno type="stamp" n="IFIP-LNCS-9664" corresp="IFIP-LNCS">Cellular Automata and Discrete Complex Systems</idno>
            <idno type="stamp" n="IFIP-WG1-5">IFIP-WG1-5</idno>
            <idno type="stamp" n="IFIP-AUTOMATA">IFIP-AUTOMATA</idno>
            <idno type="stamp" n="UDL">UDL</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 2: Regular Papers</note>
            <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">The Group of Reversible Turing Machines</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Sebastián</forename>
                    <surname>Barbieri</surname>
                  </persName>
                  <email type="md5">139d860a5644968de0b0018e01f8f769</email>
                  <email type="domain">ens-lyon.fr</email>
                  <idno type="idhal" notation="numeric">998312</idno>
                  <idno type="halauthorid" notation="string">1017587-998312</idno>
                  <affiliation ref="#struct-35418"/>
                  <affiliation ref="#struct-544673"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jarkko</forename>
                    <surname>Kari</surname>
                  </persName>
                  <email type="md5">dc7f1208db5cea6b5b988fae10f10a6e</email>
                  <email type="domain">utu.fi</email>
                  <idno type="idhal" notation="string">jarkko-kari</idno>
                  <idno type="idhal" notation="numeric">20988</idno>
                  <idno type="halauthorid" notation="string">13201-20988</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0670-6138</idno>
                  <idno type="IDREF">https://www.idref.fr/164068937</idno>
                  <affiliation ref="#struct-300810"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Ville</forename>
                    <surname>Salo</surname>
                  </persName>
                  <email type="md5">b3ea2ad258d94d514185bfb591e88399</email>
                  <email type="domain">utu.fi</email>
                  <idno type="idhal" notation="numeric">998313</idno>
                  <idno type="halauthorid" notation="string">1027872-998313</idno>
                  <affiliation ref="#struct-142796"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA)</title>
                  <date type="start">2016-06-15</date>
                  <date type="end">2016-06-17</date>
                  <settlement>Zurich</settlement>
                  <country key="CH">Switzerland</country>
                </meeting>
                <editor>Matthew Cook</editor>
                <editor>Turlough Neary</editor>
                <imprint>
                  <biblScope unit="serie">Cellular Automata and Discrete Complex Systems</biblScope>
                  <biblScope unit="volume">LNCS-9664</biblScope>
                  <biblScope unit="pp">49-62</biblScope>
                  <date type="datePub">2016</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-39300-1_5</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>We consider Turing machines as actions over configurations in &lt;math xmlns="http://www.w3.org/1998/Math/MathML"&gt;  &lt;msup&gt;    &lt;mi&gt;&amp;#x03A3;&lt;!-- Σ --&gt;&lt;/mi&gt;    &lt;mrow class="MJX-TeXAtom-ORD"&gt;      &lt;msup&gt;        &lt;mrow class="MJX-TeXAtom-ORD"&gt;          &lt;mi mathvariant="double-struck"&gt;Z&lt;/mi&gt;        &lt;/mrow&gt;        &lt;mi&gt;d&lt;/mi&gt;      &lt;/msup&gt;    &lt;/mrow&gt;  &lt;/msup&gt;&lt;/math&gt;which only change them locally around a marked position that can move and carry a particular state. In this setting we study the monoid of Turing machines and the group of reversible Turing machines. We also study two natural subgroups, namely the group of finite-state automata, which generalizes the topological full groups studied in the theory of orbit-equivalence, and the group of oblivious Turing machines whose movement is independent of tape contents, which generalizes lamplighter groups and has connections to the study of universal reversible logical gates. Our main results are that the group of Turing machines in one dimension is neither amenable nor residually finite, but is locally embeddable in finite groups, and that the torsion problem is decidable for finite-state automata in dimension one, but not in dimension two.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 1</org>
              <org type="consortium">WG 1.5</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-35418" status="VALID">
          <idno type="IdRef">191041289</idno>
          <idno type="ISNI">0000000104538607</idno>
          <idno type="RNSR">200317503S</idno>
          <idno type="ROR">04msnz457</idno>
          <orgName>Laboratoire de l'Informatique du Parallélisme</orgName>
          <orgName type="acronym">LIP</orgName>
          <date type="start">1990-01-01</date>
          <desc>
            <address>
              <addrLine>46 Allée d'Italie 69364 LYON CEDEX 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-lyon.fr/LIP/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-6818" type="direct"/>
            <relation active="#struct-301088" type="direct"/>
            <relation active="#struct-194495" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR5668 / URA1398" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-544673" status="VALID">
          <orgName>Modèles de calcul, Complexité, Combinatoire</orgName>
          <orgName type="acronym">MC2</orgName>
          <desc>
            <address>
              <addrLine>ENS Lyon 46 allée d'Italie 69364 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-lyon.fr/LIP/MC2/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-35418" type="direct"/>
            <relation active="#struct-6818" type="indirect"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR5668 / URA1398" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300810" status="VALID">
          <orgName>University of Turku</orgName>
          <desc>
            <address>
              <addrLine>20014 Turun yliopisto, Finland</addrLine>
              <country key="FI"/>
            </address>
            <ref type="url">http://www.utu.fi/en/Pages/home.aspx</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-142796" status="VALID">
          <idno type="ROR">https://ror.org/047gc3g35</idno>
          <orgName>Universidad de Chile = University of Chile [Santiago]</orgName>
          <orgName type="acronym">UCHILE</orgName>
          <desc>
            <address>
              <addrLine>Av. Libertador Bernardo O'Higgins 1058, Santiago de Chile</addrLine>
              <country key="CL"/>
            </address>
            <ref type="url">http://www.uchile.cl/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-6818" status="VALID">
          <idno type="IdRef">149154992</idno>
          <idno type="ISNI">0000000123319856</idno>
          <idno type="ROR">https://ror.org/04zmssz18</idno>
          <idno type="Wikidata">Q10159</idno>
          <orgName>École normale supérieure de Lyon</orgName>
          <orgName type="acronym">ENS de Lyon</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>15 parvis René Descartes - BP 7000 - 69342 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens-lyon.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301088" status="VALID">
          <idno type="ROR">https://ror.org/01rk35k63</idno>
          <orgName>Université de Lyon</orgName>
          <desc>
            <address>
              <addrLine>92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-lyon.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-194495" status="VALID">
          <idno type="IdRef">026402823</idno>
          <idno type="ISNI">0000000121686185</idno>
          <idno type="ROR">https://ror.org/029brtt94</idno>
          <orgName>Université Claude Bernard Lyon 1</orgName>
          <orgName type="acronym">UCBL</orgName>
          <desc>
            <address>
              <addrLine>43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/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>
      </listOrg>
    </back>
  </text>
</TEI>