Colección SciELO Chile

Departamento Gestión de Conocimiento, Monitoreo y Prospección
Consultas o comentarios: productividad@anid.cl
Búsqueda Publicación
Búsqueda por Tema Título, Abstract y Keywords



Nontrivial Turmites are Turing-universal
Indexado
WoS WOS:000449762900001
Scopus SCOPUS_ID:85049364035
DOI
Año 2018
Tipo artículo de investigación

Citas Totales

Autores Afiliación Chile

Instituciones Chile

% Participación
Internacional

Autores
Afiliación Extranjera

Instituciones
Extranjeras


Abstract



We prove that any Turmite, except for those who behave the same on every symbol, can simulate arbitrary computation in specific periodic configurations which are periodic, except for a finite input area. We also prove the P-completeness of predicting their future behavior by providing an explicit log-space reduction from the Topological Circuit Value Problem. A similar result was already established for Langton's ant: here we use a similar technique but prove a stronger notion of simulation, and for a more general family. These results are obtained by using gadgets similar to single-use logic gates; each gate performs its computation as the Turmite travels through it, therefore simulating arbitrary computation.

Disciplinas de Investigación



WOS
Computer Science, Theory & Methods
Mathematics, Interdisciplinary Applications
Scopus
Control And Systems Engineering
Computer Science (All)
SciELO
Sin Disciplinas

Muestra la distribución de disciplinas para esta publicación.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Colaboración Institucional



Muestra la distribución de colaboración, tanto nacional como extranjera, generada en esta publicación.


Autores - Afiliación



Ord. Autor Género Institución - País
1 Maldonado, Diego Hombre Univ Orleans - Francia
Universite d'Orleans - Francia
2 GAJARDO-SCHULZ, ANAHI Mujer Universidad de Concepción - Chile
3 Hellouin de Menibus, B. Hombre Universidad de Chile - Chile
Universidad Nacional Andrés Bello - Chile
Univ Paris Sud - Francia
Universite Paris-Saclay - Francia
3 De Menibus, Benjamin Hellouin Hombre Universidad de Chile - Chile
Universidad Nacional Andrés Bello - Chile
Laboratoire de Recherche en Informatique - Francia
Univ Paris Sud - Francia
Universite Paris-Saclay - Francia
4 Moreira, A. Hombre Universidad Técnica Federico Santa María - Chile

Muestra la afiliación y género (detectado) para los co-autores de la publicación.

Financiamiento



Fuente
Universidad de Chile
Conicyt-Fondecyt
Fondo Nacional de Desarrollo Científico y Tecnológico
Comisión Nacional de Investigación Científica y Tecnológica
CONICYT-Basal
CONICYT-ECOS-Sud collaboration project
CONICYT-BASAL project of the Universidad de Chile

Muestra la fuente de financiamiento declarada en la publicación.

Agradecimientos



Agradecimiento
Benjamin Hellouin de Menibus and Anahi Gajardo were partially supported by the CONICYT-BASAL project #PFB-03 of the Universidad de Chile. Anahi Gajardo, Andres Moreira and Diego Maldonado thank the CONICYT-FONDECYT project #1140833 and the CONICYT-ECOS-Sud collaboration project #C12E05.
Benjamin Hellouin de Menibus and AnahíGajardo were partially supported by the CONICYT-BASAL project #PFB-03 of the Universidad de Chile. AnahíGajardo, Andrés Moreira and Diego Maldonado thank the CONICYT-FONDECYT project #1140833 and the CONICYT-ECOS-Sud collaboration project #C12E05.

Muestra la fuente de financiamiento declarada en la publicación.