Logical depth for reversible Turing machines with an application to the rate of decrease in logical depth for general Turing machines

08/28/2019
by   Paul MB Vitanyi, et al.
0

The logical depth of a reversible Turing machine equals the shortest running time of a shortest program for it. This is applied to show that the result in L.F. Antunes, A. Souto, and P.M.B. Vitányi, On the Rate of Decrease in Logical Depth, Theor. Comput. Sci., 702(2017), 60–64 is valid notwithstanding the error noted in Corrigendum P.M.B. Vitányi, Corrigendum to "On the rate of decrease in logical depth" by L.F. Antunes, A. Souto, and P.M.B. Vitányi [Theoret. Comput. Sci. 702 (2017) 60–64], Theoret. Comput. Sci., https://doi.org/10.1016/j.tcs.2018.07.009 . /

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/30/2023

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

We study an abstract group of reversible Turing machines. In our model, ...
research
08/13/2015

Logical N-AND Gate on a Molecular Turing Machine

In Boolean algebra, it is known that the logical function that correspon...
research
08/06/2018

Revisiting the simulation of quantum Turing machines by quantum circuits

Yao (1993) proved that quantum Turing machines and uniformly generated q...
research
02/14/2022

Arithmetic logical Irreversibility and the Turing's Halt Problem

The Turing machine halting problem can be explained by several factors, ...
research
02/16/2020

Relativity of Depth and Sophistication

Logical depth and sophistication are two quantitative measures of the no...
research
04/26/2019

A certifying extraction with time bounds from Coq to call-by-value λ-calculus

We provide a plugin extracting Coq functions of simple polymorphic types...
research
09/16/2016

Organized Complexity: is Big History a Big Computation?

The concept of "logical depth" introduced by Charles H. Bennett (1988) s...

Please sign up or login with your details

Forgot password? Click here to reset