English
Related papers

Related papers: Towards a Self-Replicating Turing Machine

200 papers

The architecture of neural Turing machines is differentiable end to end and is trainable with gradient descent methods. Due to their large unfolded depth Neural Turing Machines are hard to train and because of their linear access of…

Neural and Evolutionary Computing · Computer Science 2016-12-08 Janez Aleš

In this paper we explore the power of tile self-assembly models that extend the well-studied abstract Tile Assembly Model (aTAM) by permitting tiles of shapes beyond unit squares. Our main result shows the surprising fact that any aTAM…

Data Structures and Algorithms · Computer Science 2012-12-20 Erik D. Demaine , Martin L. Demaine , Sándor P. Fekete , Matthew J. Patitz , Robert T. Schweller , Andrew Winslow , Damien Woods

We analyze to what extent it is possible to copy arbitrary states of a two-level quantum system. We show that there exists a "universal quantum copying machine", which approximately copies quantum mechanical states in such a way that the…

Quantum Physics · Physics 2009-10-30 Vladimir Buzek , Mark Hillery

Turing machines and spin models share a notion of universality according to which some simulate all others. Is there a theory of universality that captures this notion? We set up a categorical framework for universality which includes as…

Computational Complexity · Computer Science 2024-09-04 Tomáš Gonda , Tobias Reinhart , Sebastian Stengele , Gemma De les Coves

We present a unified universal quantum cloning machine, which combines several different existing universal cloning machines together including the asymmetric case. In this unified framework, the identical pure states are projected equally…

Quantum Physics · Physics 2013-05-29 Yi-Nan Wang , Han-Duo Shi , Zhao-Xi Xiong , Li Jing , Xi-Jun Ren , Liang-Zhu Mu , Heng Fan

In this work, we develop universal quantum computing models that form a family of quantum von Neumann architecture, with modular units of memory, control, CPU, internet, besides input and output. This family contains three generations…

Quantum Physics · Physics 2024-09-17 D. -S. Wang

We define two extensions of the typed linear lambda-calculus that yield minimal Turing-complete systems. The extensions are based on unbounded recursion in one case, and bounded recursion with minimisation in the other. We show that both…

Logic in Computer Science · Computer Science 2016-11-28 Sandra Alves , Maribel Fernández , Mário Florido , Ian Mackie

The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several points of view that emphasize the importance and the…

Computational Complexity · Computer Science 2012-03-16 Yaroslav D. Sergeyev , Alfredo Garro

A variant of Turing machines is introduced where the tape is replaced by a single tree which can be manipulated in a style akin to purely functional programming. This yields two benefits: first, the extra structure on the tape can be…

Logic in Computer Science · Computer Science 2015-07-17 Arnaud Spiwack

Neural Turing Machines (NTM) contain memory component that simulates "working memory" in the brain to store and retrieve information to ease simple algorithms learning. So far, only linearly organized memory is proposed, and during…

Artificial Intelligence · Computer Science 2015-10-27 Wei Zhang , Yang Yu , Bowen Zhou

Indexed monoidal algebras are introduced as an equivalent structure for self-dual compact closed categories, and a coherence theorem is proved for the category of such algebras. Turing automata and Turing graph machines are defined by…

Formal Languages and Automata Theory · Computer Science 2010-06-09 Miklós Bartha

We review our recent work on the universal (i.e. input state independent) optimal quantum copying (cloning) of qubits. We present unitary transformations which describe the optimal cloning of a qubit and we present the corresponding quantum…

Quantum Physics · Physics 2007-05-23 Vladimir Buzek , Mark Hillery

Universality in cellular automata theory is a central problem studied and developed from their origins by John von Neumann. In this paper, we present an algorithm where any Turing machine can be converted to one-dimensional cellular…

Cellular Automata and Lattice Gases · Physics 2019-07-10 Sergio J. Martinez , Ivan M. Mendoza , Genaro J. Martinez , Shigeru Ninagawa

A new model for mechanical computing is demonstrated that requires only two basic parts: links and rotary joints. These basic parts are combined into two main higher level structures: locks and balances, which suffice to create all…

Emerging Technologies · Computer Science 2019-03-27 Ralph C. Merkle , Robert A. Freitas , Tad Hogg , Thomas E. Moore , Matthew S. Moses , James Ryley

A computational abstract machine based on two operations: referencing and bit copying is presented. These operations are sufficient for carrying out any computation. They can be used as the primitives for a Turing-complete programming…

Programming Languages · Computer Science 2011-06-07 Oleg Mazonka

Length generalization refers to the ability to extrapolate from short training sequences to long test sequences and is a challenge for current large language models. While prior work has proposed some architecture or data format changes to…

Machine Learning · Computer Science 2024-07-04 Kaiying Hou , David Brandfonbrener , Sham Kakade , Samy Jelassi , Eran Malach

The Boltzmann model for the random generation of "decomposable" combinatorial structures is a set of techniques that allows for efficient random sampling algorithms for a large class of families of discrete objects. The usual requirement of…

Data Structures and Algorithms · Computer Science 2011-12-23 Philippe Duchon

A generalized universal quantum cloning machine is proposed which allows the input to be arbitrary states in symmetric subspace. And it reduces to the universal quantum cloning machine (UQCM) if the input are identical pure states. The…

Quantum Physics · Physics 2007-05-23 Heng Fan , Keiji Matsumoto , Xiang-Bin Wang , Hiroshi Imai , Miki Wadati

It is shown that the toy Turing Tumble, suitably extended with an infinitely long game board and unlimited supply of pieces, is Turing-Complete. This is achieved via direct simulation of a Turing machine. Unlike previously informally…

Formal Languages and Automata Theory · Computer Science 2021-10-19 Lenny Pitt

Recent works have independently suggested that Quantum Mechanics might permit for procedures that transcend the power of Turing Machines as well as of `standard' Quantum Computers. These approaches rely on and indicate that Quantum…

Quantum Physics · Physics 2010-05-10 Martin Ziegler