DeepAI AI Chat
Log In Sign Up

A Turing machine simulation by P systems without charges

02/11/2019
by   Alberto Leporati, et al.
Università degli Studi di Milano-Bicocca
lis-lab.fr
0

It is well known that the kind of P systems involved in the definition of the P conjecture is able to solve problems in the complexity class P by leveraging the uniformity condition. Here we show that these systems are indeed able to simulate deterministic Turing machines working in polynomial time with a weaker uniformity condition and using only one level of membrane nesting. This allows us to embed this construction into more complex membrane structures, possibly showing that constructions similar to the one performed in [1] for P systems with charges can be carried out also in this case.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/12/2021

Diagonalization of Polynomial-Time Turing Machines Via Nondeterministic Turing Machine

The diagonalization technique was invented by Georg Cantor to show that ...
02/07/2018

A Schematic Definition of Quantum Polynomial Time Computability

In the past four decades, the notion of quantum polynomial-time computab...
04/23/2019

A general architecture of oritatami systems for simulating arbitrary finite automata

In this paper, we propose an architecture of oritatami systems with whic...
08/06/2018

Revisiting the simulation of quantum Turing machines by quantum circuits

Yao (1993) proved that quantum Turing machines and uniformly generated q...
10/11/2021

Notes on kAExp(pol) problems for deterministic machines

The complexity of several logics, such as Presburger arithmetic, depende...
01/27/2021

Computational irreducibility and compatibilism: towards a formalization

If our actions are determined by the laws of nature, can we meaningfully...