Computability by Probabilistic Turing Machines
نویسندگان
چکیده
منابع مشابه
Classical Computability and Fuzzy Turing Machines
We work with fuzzy Turing machines (ftms) and we study the relationship between this computational model and classical recursion concepts such as computable functions, r.e. sets and universality. ftms are first regarded as acceptors. It has recently been shown in [23] that these machines have more computational power than classical Turing machines. Still, the context in which this formulation i...
متن کاملOn the computability of graph Turing machines
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 computatio...
متن کاملMechanising Turing Machines and Computability Theory in Isabelle/HOL
We formalise results from computability theory in the theorem prover Isabelle/HOL. Following the textbook by Boolos et al, we formalise Turing machines and relate them to abacus machines and recursive functions. We “tie the knot” between these three computational models by formalising a universal function and obtaining from it a universal Turing machine by our verified translation from recursiv...
متن کاملComputability of the entropy of one-tape Turing machines
We prove that the maximum speed and the entropy of a one-tape Turing machine are computable, in the sense that we can approximate them to any given precision . This is counterintuitive, as all dynamical properties are usually undecidable for Turing machines. The result is quite specific to one-tape Turing machines, as it is not true anymore for two-tape Turing machines by the results of Blondel...
متن کاملParallel Feedback Turing Computability
In contrast to most kinds of computability studied in mathematical logic, feedback computability has a non-degenerate notion of parallelism. Here we study parallelism for the most basic kind of feedback, namely that of Turing computability. We investigate several different possible definitions of parallelism in this context, with an eye toward specifying what is so computable. For the determini...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1971
ISSN: 0002-9947
DOI: 10.2307/1996005