Saving tapes in the simulation of multihead turing machines.

Victor L. Bennison

Published in: SIGACT News (1974)

Keyphrases

turing machine
simulation models
simulation environment
simulation model
mathematical model
user interface
discrete event simulation
mathematical models
multiresolution
artificial intelligence
trade off
relational databases
lower bound
preprocessing
multi agent systems
high level
metadata