Muestra la distribución de disciplinas para esta publicación.
Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.
| Indexado |
|
||||
| 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
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.
| 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
|
| 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 |
| 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. |