A general architecture of oritatami systems for simulating arbitrary finite automata

04/23/2019
by   Yo-Sub Han, et al.
0

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(t^4 ^2 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 over an input alphabet Σ with a state set Q working on a word of length t.

READ FULL TEXT

page 17

page 25

research
08/30/2017

An algorithm to simulate alternating Turing machine in signal machine

Geometrical Computation as a new model of computation is the counterpart...
research
02/11/2019

A Turing machine simulation by P systems without charges

It is well known that the kind of P systems involved in the definition o...
research
08/30/2019

How Relevant is the Turing Test in the Age of Sophisbots?

Popular culture has contemplated societies of thinking machines for gene...
research
10/19/2022

Transformers Learn Shortcuts to Automata

Algorithmic reasoning requires capabilities which are most naturally und...
research
06/15/2020

EMU: Efficient Muscle Simulation In Deformation Space

EMU is an efficient and scalable model to simulate bulk musculoskeletal ...
research
09/05/2013

A Small Universal Petri Net

A universal deterministic inhibitor Petri net with 14 places, 29 transit...
research
05/09/2022

On Turedo Hierarchies and Intrinsic Universality

This paper is about turedos, which are Turing machine whose head can mov...

Please sign up or login with your details

Forgot password? Click here to reset