Abstract
Connections are shown between two properties of a machine model: linear speed-up and polynomial vicinity. In the context of the author's Block Move (BM) model, these relate to: `How long does it take to simulate a finite transducer S on a given input z?' This question is related to the century-old problem of finding economical representations for finite groups. Under some cost measures for computing S(z), the BM enjoys the linear speed-up property, but under more-realistic measures, and subject to a reasonable but unproved hypothesis, it has the antithetical property of a constant-factor time hierarchy.
| Original language | English |
|---|---|
| Pages (from-to) | 609-614 |
| Number of pages | 6 |
| Journal | Unknown Journal |
| Issue number | A-51 |
| State | Published - 1994 |
| Event | Proceedings of the IFIP 13th World Computer Congress. Part 3 (of 3) - Hamburg, Ger Duration: Aug 28 1994 → Sep 2 1994 |
Fingerprint
Dive into the research topics of 'Linear speed-up, information vicinity, and finite-state machines'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver