English

A general architecture of oritatami systems for simulating arbitrary finite automata

Discrete Mathematics 2019-04-24 v1 Formal Languages and Automata Theory

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(t4log2t)O(t^4 \log^2 t) steps in order to simulate tt steps of a Turing machine. The architecture we propose employs only 329 bead types and requires just O(tQ4Σ2)O(t |Q|^4 |\Sigma|^2) steps to simulate an NFA over an input alphabet Σ\Sigma with a state set QQ working on a word of length tt.

Keywords

Cite

@article{arxiv.1904.10174,
  title  = {A general architecture of oritatami systems for simulating arbitrary finite automata},
  author = {Yo-Sub Han and Hwee Kim and Yusei Masuda and Shinnosuke Seki},
  journal= {arXiv preprint arXiv:1904.10174},
  year   = {2019}
}