A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata

Yo Sub Han, Hwee Kim, Yusei Masuda, Shinnosuke Seki

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

In this paper, we propose an architecture of oritatami systems with which one can simulate an arbitrary nondeterministic finite automaton (NFA) in a unified manner. The oritatami system is known to be Turing-universal but the simulation available so far requires 542 bead types and O(t4 log2 t) steps in order to simulate t steps of a Turing machine. The architecture we propose employs only 329 bead types and requires just O(t|Q|4|Σ|2) steps to simulate an NFA with a state set Q working on a word of length t over an alphabet Σ.

Original languageEnglish
Title of host publicationImplementation and Application of Automata - 24th International Conference, CIAA 2019, Proceedings
EditorsMichal Hospodár, Galina Jirásková
PublisherSpringer Verlag
Pages146-157
Number of pages12
ISBN (Print)9783030236786
DOIs
Publication statusPublished - 2019
Event24th International Conference on Implementation and Application of Automata, CIAA 2019 - Košice, Slovakia
Duration: 2019 Jul 222019 Jul 25

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11601 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference24th International Conference on Implementation and Application of Automata, CIAA 2019
Country/TerritorySlovakia
CityKošice
Period19/7/2219/7/25

Bibliographical note

Funding Information:
This work is supported primarily by JSPS-NRF Bilateral Program No. YB29004 to Han and Seki, the Basic Science Research Program (NRF-2018R1D1A1A09084107) to Han, JSPS KAKENHI Grant-in-Aids for Young Scientists (A) No. 16H05854 and for Challenging Research (Exploratory) No. 18K19779 to Seki, and JST Program to Disseminate Tenure Tracking System, MEXT, Japan No. 6F36 to Seki. Kim is also supported by NIH R01GM109459, NSF’s CCF01526485, DMS-1800443, the Southeast Center for Mathematics and Biology, and the NSF-Simons Research Center for Mathematics of Complex Biological Systems (DMS-1764406, 594594).

Publisher Copyright:
© 2019, Springer Nature Switzerland AG.

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata'. Together they form a unique fingerprint.

Cite this