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 language | English |
|---|---|
| Title of host publication | Implementation and Application of Automata - 24th International Conference, CIAA 2019, Proceedings |
| Editors | Michal Hospodár, Galina Jirásková |
| Publisher | Springer Verlag |
| Pages | 146-157 |
| Number of pages | 12 |
| ISBN (Print) | 9783030236786 |
| DOIs | |
| Publication status | Published - 2019 Jan 1 |
| Event | 24th International Conference on Implementation and Application of Automata, CIAA 2019 - Košice, Slovakia Duration: 2019 Jul 22 → 2019 Jul 25 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 11601 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 24th International Conference on Implementation and Application of Automata, CIAA 2019 |
|---|---|
| Country | Slovakia |
| City | Košice |
| Period | 19/7/22 → 19/7/25 |
Fingerprint
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Computer Science(all)
Cite this
}
A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata. / Han, Yo Sub; Kim, Hwee; Masuda, Yusei; Seki, Shinnosuke.
Implementation and Application of Automata - 24th International Conference, CIAA 2019, Proceedings. ed. / Michal Hospodár; Galina Jirásková. Springer Verlag, 2019. p. 146-157 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11601 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
TY - GEN
T1 - A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata
AU - Han, Yo Sub
AU - Kim, Hwee
AU - Masuda, Yusei
AU - Seki, Shinnosuke
PY - 2019/1/1
Y1 - 2019/1/1
N2 - 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 Σ.
AB - 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 Σ.
UR - http://www.scopus.com/inward/record.url?scp=85069539793&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85069539793&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-23679-3_12
DO - 10.1007/978-3-030-23679-3_12
M3 - Conference contribution
AN - SCOPUS:85069539793
SN - 9783030236786
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 146
EP - 157
BT - Implementation and Application of Automata - 24th International Conference, CIAA 2019, Proceedings
A2 - Hospodár, Michal
A2 - Jirásková, Galina
PB - Springer Verlag
ER -