Deterministic Simulation of Non-Deterministic Turing Machines (Detailed Abstract)

Walter J. Savitch

Published in: STOC (1969)

Keyphrases

turing machine
data sets
real world
data mining
multimedia
high level
cooperative
medical images
search engine
knowledge base
optimal solution
lower bound
trade off
simulation environment