Set Turing Machines

Garvin Melles

DOI: https://doi.org/10.48550/arXiv.2103.14013

2021-03-26

Abstract:We define a generalization of the Turing machine that computes on general sets. Our main theorem states that the class of generalized Turing machine computable functions and the class of Set Recursive functions coincide.

Logic,Logic in Computer Science

What problem does this paper attempt to address?

The group of reversible Turing machines: subgroups, generators and computability

Sebastián Barbieri,Jarkko Kari,Ville Salo

2023-03-30

Abstract:We study an abstract group of reversible Turing machines. In our model, each machine is interpreted as a homeomorphism over a space which represents a tape filled with symbols and a head carrying a state. These homeomorphisms can only modify the tape at a bounded distance around the head, change the state and move the head in a bounded way. We study three natural subgroups arising in this model: the group of finite-state automata, which generalizes the topological full groups studied in topological dynamics and the theory of orbit-equivalence; the group of oblivious Turing machines whose movement is independent of tape contents, which generalizes lamplighter groups and has connections to the study of universal reversible logical gates; and the group of elementary Turing machines, which are the machines which are obtained by composing finite-state automata and oblivious Turing machines. We show that both the group of oblivious Turing machines and that of elementary Turing machines are finitely generated, while the group of finite-state automata and the group of reversible Turing machines are not. We show that the group of elementary Turing machines has undecidable torsion problem. From this, we also obtain that the group of cellular automata (more generally, the automorphism group of any uncountable one-dimensional sofic subshift) contains a finitely-generated subgroup with undecidable torsion problem. We also show that the torsion problem is undecidable for the topological full group of a full $\mathbb{Z}^d$-shift on a non-trivial alphabet if and only if $d \geq 2$.

Group Theory,Discrete Mathematics,Dynamical Systems
On the computability of graph Turing machines

Nathanael Ackerman,Cameron Freer

DOI: https://doi.org/10.48550/arXiv.1703.09406

2017-03-28

Abstract:We consider graph Turing machines, a model of parallel computation on a graph, in which each vertex is only capable of performing one of a finite number of operations. This model of computation is a natural generalization of several well-studied notions of computation, including ordinary Turing machines, cellular automata, and parallel graph dynamical systems. We analyze the power of computations that can take place in this model, both in terms of the degrees of computability of the functions that can be computed, and the time and space resources needed to carry out these computations. We further show that properties of the underlying graph have significant consequences for the power of computation thereby obtained. In particular, we show that every arithmetically definable set can be computed by a graph Turing machine in constant time, and that every computably enumerable Turing degree can be computed in constant time and linear space by a graph Turing machine whose underlying graph has finite degree.

Logic,Logic in Computer Science
Fuzzy Turing Machines: Variants and Universality

Yongming Li

DOI: https://doi.org/10.1109/TFUZZ.2008.2004990

IF: 12.253

2008-01-01

IEEE Transactions on Fuzzy Systems

Abstract:In this paper, we study some variants of fuzzy Turing machines (FTMs) and universal FTM. First, we give several formulations of FTMs, including, in particular, deterministic FTMs (DFTMs) and nondeterministic FTMs (NFTMs). We then show that DFTMs and NFTMs are not equivalent as far as the power of recognizing fuzzy languages is concerned. This contrasts sharply with classical TMs. Second, we show that there is no universal FTM that can exactly simulate any FTM on it. But if the membership degrees of fuzzy sets are restricted to a fixed finite subset A of [0,1], such a universal machine exists. We also show that a universal FTM exists in some approximate sense. This means, for any prescribed accuracy, that we can construct a universal machine that simulates any FTM with the given accuracy. Finally, we introduce the notions of fuzzy polynomial time-bounded computation and nondeterministic fuzzy polynomial time-bounded computation, and investigate their connections with polynomial time-bounded computation and nondeterministic polynomial time-bounded computation.
Turing Machines and Understanding Computational Complexity

P. M. B. Vitanyi

DOI: https://doi.org/10.48550/arXiv.1201.1223

2012-01-06

Abstract:We describe the Turing Machine, list some of its many influences on the theory of computation and complexity of computations, and illustrate its importance.

Computational Complexity
Turing Automata and Graph Machines

Miklós Bartha

DOI: https://doi.org/10.4204/EPTCS.26.3

2010-06-08

Abstract: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 generalizing the classical Turing machine concept, so that the collection of such machines becomes an indexed monoidal algebra. On the analogy of the von Neumann data-flow computer architecture, Turing graph machines are proposed as potentially reversible low-level universal computational devices, and a truly reversible molecular size hardware model is presented as an example.

Formal Languages and Automata Theory,Discrete Mathematics
Internal Turing Machines

Ken Loo

DOI: https://doi.org/10.48550/arXiv.math-ph/0407056

2004-07-29

Abstract:Using nonstandard analysis, we will extend the classical Turing machines into the internal Turing machines. The internal Turing machines have the capability to work with infinite ($*$-finite) number of bits while keeping the finite combinatoric structures of the classical Turing machines. We will show the following. The internal deterministic Turing machines can do in $*$-polynomial time what a classical deterministic Turing machine can do in an arbitrary finite amount of time. Given an element of $<M;x>\in HALT$ (more precisely, the $*$-embedding of $HALT$), there is an internal deterministic Turing machine which will take $<M;x>$ as input and halt in the $"yes"$ state. The language ${}^*Halt$ can not be decided by the internal deterministic Turing machines. The internal deterministic Turing machines can be viewed as the asymptotic behavior of finite precision approximation to real number computations. It is possible to use the internal probabilistic Turing machines to simulate finite state quantum mechanics with infinite precision. This simulation suggests that no information can be transmitted instantaneously and at the same time, the Turing machine model can simulate instantaneous collapse of the wave function. The internal deterministic Turing machines are powerful, but if $P \neq NP$, then there are internal problems which the internal deterministic Turing machines can solve but not in $*$-polynomial time.

Mathematical Physics,Computational Complexity,Logic,Quantum Physics
The "paradox" of computability and a recursive relative version of the Busy Beaver function

Felipe S. Abrahão

DOI: https://doi.org/10.48550/arXiv.1612.07400

2016-12-22

Abstract:In this article, we will show that uncomputability is a relative property not only of oracle Turing machines, but also of subrecursive classes. We will define the concept of a Turing submachine, and a recursive relative version for the Busy Beaver function which we will call Busy Beaver Plus function. Therefore, we will prove that the computable Busy Beaver Plus function defined on any Turing submachine is not computable by any program running on this submachine. We will thereby demonstrate the existence of a "paradox" of computability a la Skolem: a function is computable when "seen from the outside" the subsystem, but uncomputable when "seen from within" the same subsystem. Finally, we will raise the possibility of defining universal submachines, and a hierarchy of negative Turing degrees.

Logic in Computer Science,Logic
A Busy Beaver Problem for Infinite-Time Turing Machines

James T. Long,Lee J. Stanley

DOI: https://doi.org/10.48550/arXiv.1401.2187

2014-01-09

Logic

Abstract:This note introduces a generalization to the setting of infinite-time computation of the busy beaver problem from classical computability theory, and proves some results concerning the growth rate of an associated function. In our view, these results indicate that the generalization is both natural and promising.
A Thermodynamically Universal Turing Machine

Jihai Zhu

2023-07-07

Abstract:Expanding upon the widely recognized notion of mathematical universality in Turing machines, a concept of thermodynamic universality in Turing machines is introduced. Under the physical Church-Turing thesis, the existence of a thermodynamically universal Turing machine (TUTM) is demonstrated. A TUTM not only has the capability to simulate the input-output behavior of any given Turing machine but also replicate the heat production of that machine up to an additive constant. The finding shows that the hypothesis that the physical world is simulated by Turing machines may not be completely absurd.

Computational Complexity,Statistical Mechanics
Cardinal-Recognizing Infinite Time Turing Machines

Miha E. Habič

DOI: https://doi.org/10.1007/978-3-642-39053-1_27

2013-10-21

Abstract:We introduce a model of infinitary computation which enhances the infinite time Turing machine model slightly but in a natural way by giving the machines the capability of detecting cardinal stages of computation. The computational strength with respect to ITTMs is determined to be precisely that of the strong halting problem and the nature of the new characteristic ordinals (clockable, writable, etc.) is explored.

Logic,Formal Languages and Automata Theory,Logic in Computer Science
Formalizing computability theory via partial recursive functions

Mario Carneiro

DOI: https://doi.org/10.48550/arXiv.1810.08380

2018-10-19

Logic in Computer Science

Abstract:We present an extension to the $\mathtt{mathlib}$ library of the Lean theorem prover formalizing the foundations of computability theory. We use primitive recursive functions and partial recursive functions as the main objects of study, and we use a constructive encoding of partial functions such that they are executable when the programs in question provably halt. Main theorems include the construction of a universal partial recursive function and a proof of the undecidability of the halting problem. Type class inference provides a transparent way to supply G\"{o}del numberings where needed and encapsulate the encoding details.
Beyond Turing Machines

Kurt Ammon

DOI: https://doi.org/10.48550/arXiv.0907.4100

2009-07-23

Abstract:This paper discusses "computational" systems capable of "computing" functions not computable by predefined Turing machines if the systems are not isolated from their environment. Roughly speaking, these systems can change their finite descriptions by interacting with their environment.

Artificial Intelligence
Lattice-Valued Fuzzy Turing Machines And Their Computing Power

Yongming Li

DOI: https://doi.org/10.1109/FUZZY.2009.5277362

2009-01-01

Abstract:In this paper, fuzzy Turing machines with membership degrees in distributive lattices, which are called lattice-valued fuzzy Turing machines, are studied. First several formulations of lattice-valued fuzzy Turing machines, including in particular deterministic and nondeterministic lattice-valued fuzzy Turing machines (l-DTMcs and l-NTMs), are given. It is shown that l-DTMcs and l-NTMs are not equivalent as the acceptors of fuzzy languages. This contrasts sharply with classical Turing machines. Second, it is shown that lattice-valued fuzzy Turing machines can recognize n-r.e. sets in the sense of Bedregal and Figueira, the super-computing power of fuzzy Turing machines is established in the lattice-setting. Third, it is demonstrated that the truth-valued lattice being finite is a necessary and sufficient condition for the existence of a universal lattice-valued fuzzy Turing machine. For an infinite distributive lattice with a compact metric, it is declared that a universal fuzzy Turing machine exists in an approximate sense. This means, for any prescribed accuracy, there is a universal machine that can simulate any lattice-valued fuzzy Turing machine on it with the given accuracy.
Turing Machines Can Be Efficiently Simulated by the General Purpose Analog Computer

Olivier Bournez,Daniel S. Graça,Amaury Pouly

DOI: https://doi.org/10.1007/978-3-642-38236-9_16

2013-01-01

Abstract:The Church-Turing thesis states that any sufficiently powerful computational model which captures the notion of algorithm is computationally equivalent to the Turing machine. This equivalence usually holds both at a computability level and at a computational complexity level modulo polynomial reductions. However, the situation is less clear in what concerns models of computation using real numbers, and no analog of the Church-Turing thesis exists for this case. Recently it was shown that some models of computation with real numbers were equivalent from a computability perspective. In particular it was shown that Shannon’s General Purpose Analog Computer (GPAC) is equivalent to Computable Analysis. However, little is known about what happens at a computational complexity level. In this paper we shed some light on the connections between this two models, from a computational complexity level, by showing that, modulo polynomial reductions, computations of Turing machines can be simulated by GPACs, without the need of using more (space) resources than those used in the original Turing computation, as long as we are talking about bounded computations. In other words, computations done by the GPAC are as space-efficient as computations done in the context of Computable Analysis.
Lattice-valued fuzzy Turing machines: Computing power, universality and efficiency

Yongming Li

DOI: https://doi.org/10.1016/j.fss.2009.08.003

IF: 4.462

2009-01-01

Fuzzy Sets and Systems

Abstract:In this paper we study fuzzy Turing machines with membership degrees in distributive lattices, which we called them lattice-valued fuzzy Turing machines. First we give several formulations of lattice-valued fuzzy Turing machines, including in particular deterministic and non-deterministic lattice-valued fuzzy Turing machines (l-DTMcs and l-NTMs). We then show that l-DTMcs and l-NTMs are not equivalent as the acceptors of fuzzy languages. This contrasts sharply with classical Turing machines. Second, we show that lattice-valued fuzzy Turing machines can recognize n-r.e. sets in the sense of Bedregal and Figueira, the super-computing power of fuzzy Turing machines is established in the lattice-setting. Third, we show that the truth-valued lattice being finite is a necessary and sufficient condition for the existence of a universal lattice-valued fuzzy Turing machine. For an infinite distributive lattice with a compact metric, we also show that a universal fuzzy Turing machine exists in an approximate sense. This means, for any prescribed accuracy, there is a universal machine that can simulate any lattice-valued fuzzy Turing machine on it with the given accuracy. Finally, we introduce the notions of lattice-valued fuzzy polynomial time-bounded computation (lP) and lattice-valued non-deterministic fuzzy polynomial time-bounded computation (lNP), and investigate their connections with P and NP. We claim that lattice-valued fuzzy Turing machines are more efficient than classical Turing machines.
Characterisations of Variant Transfinite Computational Models: Infinite Time Turing, Ordinal Time Turing, and Blum-Shub-Smale machines

Philip Welch

DOI: https://doi.org/10.48550/arXiv.2012.08001

2020-12-15

Abstract:We consider how changes in transfinite machine architecture can sometimes alter substantially their capabilities. We approach the subject by answering three open problems touching on: firstly differing halting time considerations for machines with multiple as opposed to single heads, secondly space requirements, and lastly limit rules. We: 1) use admissibility theory, $\Sigma_{2}$-codes and $\Pi_{3}$-reflection properties in the constructible hierarchy to classify the halting times of ITTMs with multiple independent heads; the same for Ordinal Turing Machines which have $\tmop{On}$ length tapes; 2) determine which admissible lengths of tapes for transfinite time machines with long tapes allow the machine to address each of their cells - a question raised by B. Rin; 3) characterise exactly the strength and behaviour of transfinitely acting Blum-Shub-Smale machines using a $\tmop{Liminf}$ rule on their registers - thereby establishing there is a universal such machine. This is in contradistinction to the machine using a `continuity' rule which fails to be universal.

Logic
Recursion Theory - Computational Aspects of Definability.

Chi Tat Chong,Liang Yu

2015-01-01

Abstract:This monograph presents recursion theory from a generalized and largely global point of view. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using ideas and techniques beyond those of classical recursion theory. These include structure theory, hyperarithmetic determinacy and rigidity, basis theorems, independence results on Turing degrees, as well as applications to higher randomness.
A generalization of Markov's approach to the continuity problem for Type 1 computable functions

Emmanuel Rauzy

2024-12-11

Abstract:We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable functions are (effectively) continuous". We introduce different notions of effective closure. These notions of effective closure lead to different notions of effective discontinuity at a point. We give conditions that prevent computable functions from having effective discontinuities. We finally show that results that forbid effective discontinuities can be turned into (abstract) continuity results on spaces where the closure and effective closure of semi-decidable sets naturally coincide. This happens for instance on spaces which admit a dense and computable sequence.

Logic
Universal Length Generalization with Turing Programs

Kaiying Hou,David Brandfonbrener,Sham Kakade,Samy Jelassi,Eran Malach

2024-07-04

Abstract: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 achieve length generalization, these proposals typically apply to a limited set of tasks. Building on prior scratchpad and Chain-of-Thought (CoT) techniques, we propose Turing Programs, a novel CoT strategy that decomposes an algorithmic task into steps mimicking the computation of a Turing Machine. This framework is both universal, as it can accommodate any algorithmic task, and simple, requiring only copying text from the context with small modifications. We show that by using Turing Programs, we obtain robust length generalization on a range of algorithmic tasks: addition, multiplication and in-context SGD. We then demonstrate that transformers achieve length generalization on random Turing Programs, suggesting that length generalization is possible for any algorithmic task. Finally, we theoretically prove that transformers can implement Turing Programs, constructing a simple RASP (Weiss et al.) program that simulates an arbitrary Turing machine.

Machine Learning

Set Turing Machines

The group of reversible Turing machines: subgroups, generators and computability

On the computability of graph Turing machines

Fuzzy Turing Machines: Variants and Universality

Turing Machines and Understanding Computational Complexity

Turing Automata and Graph Machines

Internal Turing Machines

The "paradox" of computability and a recursive relative version of the Busy Beaver function

A Busy Beaver Problem for Infinite-Time Turing Machines

A Thermodynamically Universal Turing Machine

Cardinal-Recognizing Infinite Time Turing Machines

Formalizing computability theory via partial recursive functions

Beyond Turing Machines

Lattice-Valued Fuzzy Turing Machines And Their Computing Power

Turing Machines Can Be Efficiently Simulated by the General Purpose Analog Computer

Lattice-valued fuzzy Turing machines: Computing power, universality and efficiency

Characterisations of Variant Transfinite Computational Models: Infinite Time Turing, Ordinal Time Turing, and Blum-Shub-Smale machines

Recursion Theory - Computational Aspects of Definability.

A generalization of Markov's approach to the continuity problem for Type 1 computable functions

Universal Length Generalization with Turing Programs