### Abstract

Some basic techniques necessary for establishing analogs of well-known theorems on space and time complexity are developed. The main results are that for reversal-constructible functions s(n) greater than equivalent to log n, DSPACE(s(n)) 25 DREVERSAL(s(n)) and the first tape-reduction theorem. As applications of the tape reduction theorem, a hierarchy theorem is proved and the existence of complete languages for reversal complexity is shown.

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

Title of host publication | Unknown Host Publication Title |

Publisher | IEEE |

Pages | 14-19 |

Number of pages | 6 |

ISBN (Print) | 0818607947 |

State | Published - 1987 |

### Fingerprint

### ASJC Scopus subject areas

- Engineering(all)

### Cite this

*Unknown Host Publication Title*(pp. 14-19). IEEE.

**REVERSAL COMPLEXITY.** / Chen, Jian er; Yap, Chee.

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

}

TY - GEN

T1 - REVERSAL COMPLEXITY.

AU - Chen, Jian er

AU - Yap, Chee

PY - 1987

Y1 - 1987

N2 - Some basic techniques necessary for establishing analogs of well-known theorems on space and time complexity are developed. The main results are that for reversal-constructible functions s(n) greater than equivalent to log n, DSPACE(s(n)) 25 DREVERSAL(s(n)) and the first tape-reduction theorem. As applications of the tape reduction theorem, a hierarchy theorem is proved and the existence of complete languages for reversal complexity is shown.

AB - Some basic techniques necessary for establishing analogs of well-known theorems on space and time complexity are developed. The main results are that for reversal-constructible functions s(n) greater than equivalent to log n, DSPACE(s(n)) 25 DREVERSAL(s(n)) and the first tape-reduction theorem. As applications of the tape reduction theorem, a hierarchy theorem is proved and the existence of complete languages for reversal complexity is shown.

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

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

M3 - Conference contribution

AN - SCOPUS:0023171209

SN - 0818607947

SP - 14

EP - 19

BT - Unknown Host Publication Title

PB - IEEE

ER -