Login / Signup

About the deterministic simulation of nondeterministic (log n)-tape bounded Turing machines.

Burkhard Monien
Published in: Automata Theory and Formal Languages (1975)
Keyphrases
  • turing machine
  • lower bound
  • simulation models
  • high speed
  • neural network
  • information retrieval
  • simulation model
  • real time
  • real world
  • finite state
  • disk drives