### Abstract

Let k be a. constant ≥ 2, and let us consider only deterministic k-tape Turing machines. We assume t_{2}(n) > n and t_{2} is computable in time t_{2}. Then there is a language which is accepted in time t_{2}, but not accepted in any time t_{1} with t_{1}(n) = o(t_{2}(n)). Furthermore, we obtain a strong hierarchy (isomorphic to the rationals Q) for languages accepted in fixed space and variable time.

Original language | English (US) |
---|---|

Title of host publication | Proceedings of the 14th Annual ACM Symposium on Theory of Computing, STOC 1982 |

Publisher | Association for Computing Machinery |

Pages | 8-16 |

Number of pages | 9 |

ISBN (Print) | 0897910702 |

DOIs | |

State | Published - May 5 1982 |

Event | 14th Annual ACM Symposium on Theory of Computing, STOC 1982 - San Francisco, United States Duration: May 5 1982 → May 7 1982 |

### Publication series

Name | Proceedings of the Annual ACM Symposium on Theory of Computing |
---|---|

ISSN (Print) | 0737-8017 |

### Other

Other | 14th Annual ACM Symposium on Theory of Computing, STOC 1982 |
---|---|

Country | United States |

City | San Francisco |

Period | 5/5/82 → 5/7/82 |

### Fingerprint

### All Science Journal Classification (ASJC) codes

- Software

### Cite this

*Proceedings of the 14th Annual ACM Symposium on Theory of Computing, STOC 1982*(pp. 8-16). (Proceedings of the Annual ACM Symposium on Theory of Computing). Association for Computing Machinery. https://doi.org/10.1145/800070.802172

}

*Proceedings of the 14th Annual ACM Symposium on Theory of Computing, STOC 1982.*Proceedings of the Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, pp. 8-16, 14th Annual ACM Symposium on Theory of Computing, STOC 1982, San Francisco, United States, 5/5/82. https://doi.org/10.1145/800070.802172

**The tight deterministic time hierarchy.** / Fürer, Martin.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - The tight deterministic time hierarchy

AU - Fürer, Martin

PY - 1982/5/5

Y1 - 1982/5/5

N2 - Let k be a. constant ≥ 2, and let us consider only deterministic k-tape Turing machines. We assume t2(n) > n and t2 is computable in time t2. Then there is a language which is accepted in time t2, but not accepted in any time t1 with t1(n) = o(t2(n)). Furthermore, we obtain a strong hierarchy (isomorphic to the rationals Q) for languages accepted in fixed space and variable time.

AB - Let k be a. constant ≥ 2, and let us consider only deterministic k-tape Turing machines. We assume t2(n) > n and t2 is computable in time t2. Then there is a language which is accepted in time t2, but not accepted in any time t1 with t1(n) = o(t2(n)). Furthermore, we obtain a strong hierarchy (isomorphic to the rationals Q) for languages accepted in fixed space and variable time.

UR - http://www.scopus.com/inward/record.url?scp=0002601160&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0002601160&partnerID=8YFLogxK

U2 - 10.1145/800070.802172

DO - 10.1145/800070.802172

M3 - Conference contribution

AN - SCOPUS:0002601160

SN - 0897910702

T3 - Proceedings of the Annual ACM Symposium on Theory of Computing

SP - 8

EP - 16

BT - Proceedings of the 14th Annual ACM Symposium on Theory of Computing, STOC 1982

PB - Association for Computing Machinery

ER -