Rate of tape growth: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
No edit summary
(Added Category:Functions)
 
(One intermediate revision by one other user not shown)
Line 5: Line 5:
The fastest possible order of a Turing Machine is exactly the identity function <math>G_T(n)=n</math>. It has been conjectured that the fastest possible sublinear order is <math>O\bigg(\frac n{\log n}\bigg)</math>.
The fastest possible order of a Turing Machine is exactly the identity function <math>G_T(n)=n</math>. It has been conjectured that the fastest possible sublinear order is <math>O\bigg(\frac n{\log n}\bigg)</math>.


Another tape growth function, the '''rate of strict tape growth''' <math>\gamma</math>, is defined as the distance between the leftmost non-0 symbol and the rightmost non-0 symbol after <math>n</math> transitions. This function is used infrequently. <math>\gamma(n)</math> is always bound from above by <math>G_T(n)</math>.
Another tape growth function, the '''rate of strict tape growth''' <math>\gamma</math>, is defined as the distance between the leftmost non-0 symbol and the rightmost non-0 symbol after <math>n</math> transitions. This function is used infrequently. <math>\gamma(n)</math> is always bounded from above by <math>G_T(n)</math>.
[[Category:Functions]]

Latest revision as of 17:26, 13 August 2025

The rate of tape growth of a given Turing machine (also called the order of the Turing machine), written , is a function which inputs a positive integer and outputs the number of cells which have been read by the head at least once up to the first transitions.

Rates of tape growths are usually denoted using big O notation, as finding closed form generating functions for can be difficult and is not always of interest.

The fastest possible order of a Turing Machine is exactly the identity function . It has been conjectured that the fastest possible sublinear order is .

Another tape growth function, the rate of strict tape growth , is defined as the distance between the leftmost non-0 symbol and the rightmost non-0 symbol after transitions. This function is used infrequently. is always bounded from above by .